https://www.glc.us.es/web/index.php?action=history&feed=atom&title=Archivo_de_congresos_anteriores 2026-07-20T00:14:54Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.0 https://www.glc.us.es/web/index.php?title=Archivo_de_congresos_anteriores&diff=836&oldid=prev 2010-03-23T21:58:58Z

<p>New page: * {{congreso|05-Dic-10|27-Mar-10|[http://www.avantssar.eu/arspa-wits10 ARSPA-WITS&#039;10: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Secur...</p> <p><b>Página nueva</b></p><div>* {{congreso|05-Dic-10|27-Mar-10|[http://www.avantssar.eu/arspa-wits10 ARSPA-WITS&#039;10: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security]|Paphos,Chipre}}<br /> * {{congreso|08-Ene-10|13-Abr-10|[http://shemesh.larc.nasa.gov/NFM2010/ NFM 2010: Second NASA Formal Methods Symposium]|Washington, EEUU}}<br /> * {{congreso|11-Ene-10|15-Jul-10|[http://www.floc-conference.org/CAV-cfp.html CAV 2010 - 22nd International Conference on Computer Aided Verification]|Edimburgo, Escocia}}<br /> * {{congreso|14-Ene-10|25-Jul-10|[http://www.issac-conference.org/2010/ ISSAC 2010: 35 International Symposium on Symbolic and Algebraic Computation]|Munich, Alemania}}<br /> * {{congreso|15-Ene-10|11-Jul-10|[http://web2.clarkson.edu/projects/carl/rta-2010/ RTA 2010: Rewriting Techniques and Applications 21st International Conference ]|Edimburgo, Escocia}}<br /> * {{congreso|15-Ene-10|16-Jul-10|[http://www.floc-conference.org/IJCAR-home.html IJCAR 2010: International Joint Conference on all aspects of Automated Reasoning]|Edimburgo, Escocia}}<br /> * {{congreso|15-Ene-10|11-Jul-10|[http://www.floc-conference.org/ITP.html ITP 2010: Interactive Theorem Proving ]|Edimburgo, Escocia}}<br /> * {{congreso|15-Ene-10|19-Abr-10|[http://www.kb.ecei.tohoku.ac.jp/flops2010/ FLOPS 2010: Tenth International Symposium on Functional and Logic Programming]|Sendai, Japan}}<br /> * {{congreso|20-Ene-10|03-May-10|[http://www.cs.allegheny.edu/ast2010 AST 2010: 5th International Workshop on Automation of Software Test]|Cape Town, South Africa}}<br /> * {{congreso|29-Ene-10|01-Jul-10|[http://www.st.cs.uni-saarland.de/tap2010 TAP 2010: 4th International Conference on Tests &amp; Proofs]|Málaga, España}}<br /> * {{congreso|01-Feb-10|11-Jul-10|[http://ie.technion.ac.il/SAT10 SAT 2010: Thirteenth International Conference on Theory and Applications of Satisfiability Testing]|Edimburgo, Escocia}}</div>

Jalonso