Web Directory

» CADE-20 Workshop on Empirically Successful Classical Automated Reasoning
   Tallinn, Estonia; 22--26 July 2005.
   http://www.cs.miami.edu/~geoff/Conferences/ESCAR/

» CEMVRC 2005
   Central European Multimedia and Virtual Reality Conference. Prague, Czech Republic; June 8-10, 2005
   http://vision.vein.hu/CEMVRC05/

» CIAA 2005
   Tenth International Conference on Implementation and Application of Automata. Sophia Antipolis, France; 27--29 June 2005.
   http://www.i3s.unice.fr/ciaa05/

» CRYPTO 2005
   25th Annual International Cryptology Conference. Santa Barbara, California, USA; 14–18 August 2005.
   http://www.iacr.org/conferences/crypto2005/

» DCFS 2005
   7th Workshop on Descriptional Complexity of Formal Systems. Como, Italy; 30 June – 2 July 2005.
   http://dcfs05.dico.unimi.it

» Eurocrypt 2005
   24th Annual International Conference on the Theory and Applications of Cryptographic Techniques. Aarhus, Denmark; 22–26 May 2005.
   http://www.iacr.org/conferences/eurocrypt2005/

» IAT'05
   2005 IEEE/WIC/ACM International Joint Conference on Intelligent Agent Technology. Compiegne University of Technology, France; 19--22 September 2005.
   http://www.comp.hkbu.edu.hk/IAT05/

» ICALP 2005
   32nd International Colloquium on Automata, Languages and Programming. Lisboa, Portugal; 11–15 July 2005.
   http://icalp05.di.fct.unl.pt

» ICEIS 2005
   7th International Conference on Enterprise Information Systems . Miami, USA; 24-28 May 2005.
   http://www.iceis.org/iceis2005/

» PLDI 2005
   ACM SIGPLAN Conference on Programming Language Design and Implementation. Chicago, Illinois, USA; 11–15 June 2005.
   http://research.ihost.com/pldi2005/

» POPL 2005
   The 32nd Annual ACM SIGPLAN – SIGACT Symposium on Principles of Programming Languages. Long Beach, California, USA; 12–14 January 2005.
   http://www.cs.princeton.edu/~dpw/popl/05/

» PerEL 2005
   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.
   http://wwwra.informatik.uni-rostock.de/perel2005/

» SETIT 2005
   The 3rd International conference on Sciences of Electronic, Technologies of Information and Telecommunications. Sousse, Tunisia; 27--31 March 2005.
   http://www.universites.tn/setit/

» SOFSEM 2005
   31st Annual Conference on Current Trends in Theory and Practice of Informatics. Liptovsky Jan, Slovak Republic; 22–28 January 2005.
   http://www.sofsem.sk/sofsem05/

» STACS 2005
   22th Symposium on Theoretical Aspects of Computer Science. Stuttgart, Germany; 24–26 February 2005.
   http://stacs05.fmi.uni-stuttgart.de