Archivo de congresos anteriores
De WikiGLC
- 05-Dic-10 27-Mar-10 ARSPA-WITS'10: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security. Paphos,Chipre.
- 08-Ene-10 13-Abr-10 NFM 2010: Second NASA Formal Methods Symposium. Washington, EEUU.
- 11-Ene-10 15-Jul-10 CAV 2010 - 22nd International Conference on Computer Aided Verification. Edimburgo, Escocia.
- 14-Ene-10 25-Jul-10 ISSAC 2010: 35 International Symposium on Symbolic and Algebraic Computation. Munich, Alemania.
- 15-Ene-10 11-Jul-10 RTA 2010: Rewriting Techniques and Applications 21st International Conference . Edimburgo, Escocia.
- 15-Ene-10 16-Jul-10 IJCAR 2010: International Joint Conference on all aspects of Automated Reasoning. Edimburgo, Escocia.
- 15-Ene-10 11-Jul-10 ITP 2010: Interactive Theorem Proving . Edimburgo, Escocia.
- 15-Ene-10 19-Abr-10 FLOPS 2010: Tenth International Symposium on Functional and Logic Programming. Sendai, Japan.
- 20-Ene-10 03-May-10 AST 2010: 5th International Workshop on Automation of Software Test. Cape Town, South Africa.
- 29-Ene-10 01-Jul-10 TAP 2010: 4th International Conference on Tests & Proofs. Málaga, España.
- 01-Feb-10 11-Jul-10 SAT 2010: Thirteenth International Conference on Theory and Applications of Satisfiability Testing. Edimburgo, Escocia.
