  |
ICALP 2005 - http://icalp05.di.fct.unl.pt
32nd International Colloquium on Automata, Languages and Programming. Lisboa, Portugal; 11–15 July 2005. |
| |
STACS 2005 - http://stacs05.fmi.uni-stuttgart.de
22th Symposium on Theoretical Aspects of Computer Science. Stuttgart, Germany; 24–26 February 2005. |
| |
17th IMACS World Congress - http://imacs2005.ec-lille.fr
Scientific Computation, Applied Mathematics and Simulation. Paris, France; 11--15 July 2005. |
| |
POPL 2005 - http://www.cs.princeton.edu/~dpw/popl/05/
The 32nd Annual ACM SIGPLAN – SIGACT Symposium on Principles of Programming Languages. Long Beach, California, USA; 12–14 January 2005. |
| |
ASIACRYPT 2005 - http://www.cs.iitm.ernet.in/~ac05/
Annual International Conference on the Theory and Application of Cryptology and Information Security. Chennai, India; 4–8 December 2005. |
| |
CRYPTO 2005 - http://www.iacr.org/conferences/crypto2005/
25th Annual International Cryptology Conference. Santa Barbara, California, USA; 14–18 August 2005. |
| |
DLT 2005 - http://www.math.unipa.it/~dlt05/
9th International Conference on Developments in Language Theory. Palermo, Italy; 4–8 July 2005. |
| |
Eurocrypt 2005 - http://www.iacr.org/conferences/eurocrypt2005/
24th Annual International Conference on the Theory and Applications of Cryptographic Techniques. Aarhus, Denmark; 22–26 May 2005. |
| |
CADE-20 Workshop on Empirically Successful Classical Automated Reasoning - http://www.cs.miami.edu/~geoff/Conferences/ESCAR/
Tallinn, Estonia; 22--26 July 2005. |
| |
http://www.comp.hkbu.edu.hk/IAT05/ - http://www.comp.hkbu.edu.hk/IAT05/
2005 IEEE/WIC/ACM International Joint Conference on Intelligent Agent Technology. Compiegne University of Technology, France; 19--22 September 2005. |
| |
PLDI 2005 - http://research.ihost.com/pldi2005/
ACM SIGPLAN Conference on Programming Language Design and Implementation. Chicago, Illinois, USA; 11–15 June 2005. |
| |
CIAA 2005 - http://www.i3s.unice.fr/ciaa05/
Tenth International Conference on Implementation and Application of Automata. Sophia Antipolis, France; 27--29 June 2005. |
| |
DCFS 2005 - http://dcfs05.dico.unimi.it
7th Workshop on Descriptional Complexity of Formal Systems. Como, Italy; 30 June – 2 July 2005. |
| |
SOFSEM 2005 - http://www.sofsem.sk/sofsem05/
31st Annual Conference on Current Trends in Theory and Practice of Informatics. Liptovsky Jan, Slovak Republic; 22–28 January 2005. |
| |
PerEL 2005 - http://wwwra.informatik.uni-rostock.de/perel2005/
Workshop on Pervasive eLearning addressing technical issues of pervasive computing in combination with new types and possibilities of learning, teaching and working. Kauai Island, Hawaii, USA; 8--12 March 2005. |