Computer
Computer Science
1622 sites listed · page 28 of 33
DCFS 2007
DCFS 2007- 9th International Workshop on Descriptional Complexity of Formal Systems. High Tatras, Slovakia; 20–22 July 2007.
CIAA 2007
CIAA 2007- 12th International Conference on Implementation and Application of Automata. Prague, Czech Republic; 16–18 July 2007.
POPL 2007
POPL 2007- The 34th Annual ACM SIGPLAN – SIGACT Symposium on Principles of Programming Languages. Nice, France; 17–19 January 2007.
Eurocrypt 2007
Eurocrypt 2007- Annual International Conference on the Theory and Applications of Cryptographic Techniques. Barcelona, Spain; 20–24 May 2007.
MFCS 2007
MFCS 2007- 32nd International Symposium on Mathematical Foundations of Computer Science. Český Krumlov, Czech Republic; 26–31 August 2007.
FOCS 2007
FOCS 2007- 48th Annual IEEE Symposium on Foundations of Computer Science. Providence, Rhode Island; 20–23 October 2007.
ICALP 2007
ICALP 2007- 34th International Colloquium on Automata, Languages and Programming. Wrocław, Poland. 9–13 July 2007.
SOFSEM 2006
SOFSEM 2006- 32nd International Conference on Current Trends in Theory and Practice of Computer Science. Merin, Czech Republic; 21--27 January 2006.
CiE 2006
CiE 2006- Computability in Europe: Logical Approaches to Computational Barriers. Swansea, Wales, UK; 30 June – 5 July 2006.
ICALP 2006
ICALP 2006- 33rd International Colloquium on Automata, Languages and Programming. Venice, Italy; 9–16 July 2006.
Eurocrypt 2006
Eurocrypt 2006- 25th Annual International Conference on the Theory and Applications of Cryptographic Techniques. Saint Petersburg, Russia; 28 May – 1 June 2006.
CSR 2006
CSR 2006- International Computer Science Symposium in Russia. Saint Petersburg, Russia; 8–12 June 2006.
STACS 2006
STACS 2006- 23rd International Symposium on Theoretical Aspects of Computer Science. Marseille, France; 23–25 February 2006.
FMOODS 2006
FMOODS 2006- The 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems: part of the federated conferences DisCoTec (Distributed Computing T…
PerEL 2006
PerEL 2006- The 2nd IEEE International Workshop on PervasivE Learning, in conjunction with IEEE PerCom 2006. Pisa, Italy; 17 March 2006.
Transgressive Computing 2006
Transgressive Computing 2006- University of Granada, Spain; 24--26 April 2006.
Eurocrypt 2005
Eurocrypt 2005- 24th Annual International Conference on the Theory and Applications of Cryptographic Techniques. Aarhus, Denmark; 22–26 May 2005.
DCFS 2005
DCFS 2005- 7th Workshop on Descriptional Complexity of Formal Systems. Como, Italy; 30 June – 2 July 2005.
POPL 2005
POPL 2005- The 32nd Annual ACM SIGPLAN – SIGACT Symposium on Principles of Programming Languages. Long Beach, California, USA; 12–14 January 2005.
CRYPTO 2005
CRYPTO 2005- 25th Annual International Cryptology Conference. Santa Barbara, California, USA; 14–18 August 2005.
CADE-20 Workshop on Empirically Successful Classical Automated Reasoning
CADE-20 Workshop on Empirically Successful Classical Automated Reasoning- Tallinn, Estonia; 22--26 July 2005.
IAT'05
IAT'05- 2005 IEEE/WIC/ACM International Joint Conference on Intelligent Agent Technology. Compiegne University of Technology, France; 19--22 September 2005.
CEMVRC 2005
CEMVRC 2005- Central European Multimedia and Virtual Reality Conference. Prague, Czech Republic; June 8-10, 2005
CIAA 2005
CIAA 2005- Tenth International Conference on Implementation and Application of Automata. Sophia Antipolis, France; 27--29 June 2005.
PerEL 2005
PerEL 2005- Workshop on Pervasive eLearning addressing technical issues of pervasive computing in combination with new types and possibilities of learning, teaching and working. K…
ICEIS 2005
ICEIS 2005- 7th International Conference on Enterprise Information Systems . Miami, USA; 24-28 May 2005.
SOFSEM 2004
SOFSEM 2004- 30th Conference on Current Trends in Theory and Practice of Computer Science. Czech Republic; 24–30 January 2004.
DSN 2004
DSN 2004- International Conference on Dependable Systems and Networks. Palazzo dei Congressi, Florence, Italy; 28 June -- 1 July 2004.
MCU 2004
MCU 2004- 4th International Conference on Machines, Computations and Universality. Saint-Petersburg, Russia; 21–26 September 2004.
POPL 2004
POPL 2004- The 31st Annual ACM SIGPLAN – SIGACT Symposium on Principles of Programming Languages. Venice, Italy; 14–16 January 2004.
P2P 2004
P2P 2004- The 4th IEEE International Conference on Peer-to-Peer Computing. Zurich, Switzerland; 25–27 August 2004.
CCSC:Southeastern Conference
CCSC:Southeastern Conference- Eighteenth Annual Consortium for Computing Sciences in Colleges: Southeastern. Wofford College, Spartanburg, SC, USA; 5--6 November2004.
CCSC-NW 2004
CCSC-NW 2004- Sixth Annual Northwestern Regional Conference of the Consortium for Computing Sciences in Colleges. Willamette University, Salem, Oregon, USA; 8--9 October 2004.
CLIMA V
CLIMA V- Fifth workshop on computational logic in multi-agent systems. Lisbon, Portugal; 29--30 September 2004.
ATMCS2
ATMCS2- Algebraic Topological Methods in Computer Science II. University of Western Ontario, Canada; 16--20 July 2004.
SAC 2004
SAC 2004- ACM SIG Symposium On Applied Computing. Nicosia, Cyprus; 14--17 March 2004.
ICALP 2003
ICALP 2003- 30th International Colloquium on Automata, Languages and Programming. Eindhoven, The Netherlands; 30 June – 4 July 4 2003.
Eurocrypt 2003
Eurocrypt 2003- 22nd Annual International Conference on the Theory and Applications of Cryptographic Techniques. Warsaw, Poland; 4–8 May 2003.
ASIACRYPT 2003
ASIACRYPT 2003- Annual International Conference on the Theory and Application of Cryptology and Information Security. Taipei, Taiwan; 30 November – 4 December 2003.
MFCS 2003
MFCS 2003- 28th International Symposium on Mathematical Foundations of Computer Science. Bratislava, Slovak Republic; 25–29 August 2003.
P2P2003
P2P2003- The Third IEEE International Conference on Peer-to-Peer Computing. Linköping, Sweden; 1--3 September 2003.
Applications of Lattices and Ordered Sets to Computer Science
Applications of Lattices and Ordered Sets to Computer Science- DIMACS Workshop, Rutgers University, NJ, USA; 8--10 July 2003.
Ada-Europe 2003
Ada-Europe 2003- 8th International Conference on Reliable Software Technologies. Toulouse, France; 16--20 June 2003.
CATS 2003
CATS 2003- Computing: The Australasian Theory Symposium. Part of Australasian Computer Science Week (ACSW). Adelaide, South Australia; 4--7 February 2003.
RAW 2003
RAW 2003- The 10th Reconfigurable Architectures Workshop, in association with the 17th Annual International Parallel and Distributed Processing Symposium (IPDPS 2003). Nice Acropo…
STOC '03
STOC '03- Thirty-Fifth Annual ACM Symposium on Theory of Computing. Part of the 2003 Federated Computing Research Conference (7--14 June). San Diego, California, USA; 9--11 June 2…
PLI 2002
PLI 2002- Principles, Logics, and Implementations of high-level programming languages. Pittsburgh, PA, USA; 3–8 October 2002.
CADE-18
CADE-18- Conference on Automated Deduction. Part of the Federated Logic Conference (FLoC'02). Copenhagen, Denmark; 27–30 July 2002.
Eurocrypt 2002
Eurocrypt 2002- 21st Annual International Conference on the Theory and Applications of Cryptographic Techniques. Amsterdam, The Netherlands; 28 April – 2 May 2002.
WWWC-5
WWWC-5- 5th Annual IEEE Workshop on Workload Characterization. This one-day workshop will focus on characterizing and understanding modern computer applications, commercial and sc…