Sponsored EventsExcept ICALP, EATCS also sponsors or co-sponsors various other events. Recent and forthcoming events co-sponsored by EATCS include  | |  | | | 2010 - ETAPS 2010 - 13th European Joint Conferences on Theory and Practice of Software
- CIAC 2010 - 7th International Conference on Algorithms and Complexity
- GT-VMT 2010 - 9th International Workshop on Graph Transformation and Visual Modeling Techniques
- CiE 2010 - 6th conference of Computer Science, Mathematics and Logic
- ICALP 2010 - 37th International Colloquium on Automata, Languages and Programming
- WoLLIC 2010 - 17th Workshop on Logic, Language, Information and Computation
- DLT 2010 - 14th International Conference on Developments in Language Theory
- DISC 2010 - 24th International Symposium on Distributed Computing
- ICTCS 2010 - 12th Italian Conference on Theoretical Computer Science
- ESA 2010 - 18th Annual European Symposium on Algorithms
| |  | |  |
| | | | | 2008 - ETAPS 2008 - 11th European Joint Conferences on Theory and Practice of Software
- CiE 2008 - 4th conference on Computability in Europe: Logic and Theory of Algorithms
- DLT 2008 - 12th International Conference on Developments in Language Theory
- ESSLLI 2008 - European Summer School in Logic, Language and Information
- FoIKS 2008 - 5th International Symposium on Foundations of Information and Knowledge Systems
- TCS 2008 - 5th IFIP International Conference on Theoretical Computer Science (part of WCC 2008)
- WoLLIC 2008 - 15th Workshop on Logic, Language, Information and Computation
| | | | |
| | | | | 2007 - CiE 2007 - Computability in Europe: Computation and Logic in the Real World
- DLT 2007 - 11th International Conference on Developments in Language Theory
- ETAPS 2007 - 10th European Joint Conferences on Theory and Practice of Software
- FCT 2007 - 16th International Symposium on Fundamentals of Computation Theory
- MFCS 2007 - 32nd International Symposium on Mathematical Foundations of Computer Science
- SFM-07:PE 2007 - 7th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation
- WABI 2007 - 7th Workshop on Algorithms in Bioinformatics
| | | | |
| | | | | 2006 - CCC 2006 - 21st IEEE Conference on Computational Complexity
- CiE 2006 - 2nd conference on Computability in Europe: Logical Approaches to Computational Barriers
- DLT 2006 - 10th International Conference on Developments in Language Theory
- ETAPS 2006 - European Joint Conferences on Theory and Practice of Software
- EWCG 2006 - 22nd European Workshop on Computational Geometry
- FoIKS 2006 - 4th International Symposium on Foundations of Information and Knowledge Systems
- WABI 2006 - 6th Workshop on Algorithms in Bioinformatics
- WINE 2006 - 2nd international Workshop on Internet and Network Economics
- WoLLIC 2006 - 13th Workshop on Logic, Language, Information and Computation
| | | | |
| | | | | 2005- AFL 2005 - 11th International Conference On Automata and Formal Languages
- CCC 2005 -20th IEEE Conference on Computational Complexity
- CIAA 2005 - 10th International Conference on Implementation and Application of Automata
- CiE 2005 - 1st Conference of Computability in Europe: New Computational Paradigms
- DCFS 2005 - Descriptional Complexity of Formal Systems 2005
- DCOSS 2005 - International Conference on Distributed Computing in Sensor Systems
- DLT 2005 - 9th International Conference on Developments in Language Theory
- ETAPS 2005 - European Joint Conferences on Theory and Practice of Software
- FroCoS 2005 - 5th International Workshop on Frontiers of Combining Systems
- HiPC 2005 - 12th Annual International Conference on High Performance Computing
- ICATPN 2005 - 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency
- ICTCS 2005 - 9th Italian Conference on Theoretical Computer Science
- SFM-05:MOBY 2005 - 5th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Mobile Computing
- SPAA 2005 - 17th ACM Symposium on Parallelism in Algorithms and Architectures
- TAPSOFT 2005 - Distinguished Lectures
- UC 2005 - Unconventional Computation
- WoLLIC 2005 - 12th Workshop on Logic, Language, Information and Computation
| | | | |
| | | | | 2003- ETAPS 2003 - European Joint Conferences on Theory and Practice of Software
- MFCS 2003 - Mathematical Foundations of Computer Science
- SPAA 2003 - Symposium on Parallel Algorithms and Architectures
- ESA 2003 - European Symposium on Algorithms
- HiPC 2003 - International Conference on High Performance Computing
- ICGT 2003 - International Conference on Graph Transformation
- SFM-03:SA 2003 - International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture
- FGC 2003 -2nd EATCS Workshop on Foundations of Global Computing
- RDP 2003 - Federated Conference on Rewriting, Deduction and Programming
- DNA9 2003 - 9th International Meeting on DNA Based Computers
- DLT 2003 - 7th International Conference on Developments in Language Theory
- Complexity 2003 - 18th IEEE Conference on Computational Complexity
- WoLLIC 2003 - 10th Workshop on Logic, Language, Information and Computation
- ESA 2003 - 11th Annual European Symposium on Algorithms
- SFM-03:SA 2003 - 3rd International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture
- ICTCS 2003 -8th Italian Conference on Theoretical Computer Science
- DISC 2003 - 17th International Symposium on Distributed Computing
- HiPC 2003 - 10th International Conference on High Performance Computing
| | | | |
|
