Sponsored EventsEATCS sponsors or co-sponsors various events. Recent and forthcoming events co-sponsored by EATCS include:  | |  | | | 2012
- CIAA 2012 - 17th International Conference on Implementation and Application of Automata
- CiE 2012 - 8th conference of Computer Science Models of Computation in Context
- CSR 2012 - 7th International Computer Science Symposium in Russia
- DLT 2012 - 16th International Conference on Developments in Language Theory
- FoIKS 2012 - 7th International Symposium on Foundations of Information and Knowledge Systems
- WoLLIC 2012 - 19th Workshop on Logic, Language, Information and Computation
| |  | |  |
| | | | | 2011 - ALGOSENSORS 2011 - 7th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities
- ATMOS 2011 - 11th Workshop on Algorithmic Approaches for Transportation Modelling Optimization and Systems
- BCTCS 2011 - 27th British Colloquium for Theoretical Computer Science
- CIAA/FSMNLP 2011 - International Conference on Implementation and Application of Automata and International Workshop on Finite State Methods and Natural Language Processing
- CiE 2011 - 7th conference of Computer Science Models of Computation in Context
- DISC 2011 - 25th International Symposium on Distributed Computing
- DLT 2011 - 15th Conference on Developments in LAnguage Theory
- ETAPS 2011 - 14th The European Joint Conferences on Theory and Practice of Software
- GT-VMT 2011 - 10th International Workshop on Graph-Transformations and Visual Modeling Techniques
- LICS 2011 - 26th Annual IEEE Symposium on Logic In Computer Science
- SAGT 2011 - 4th International Symposium on Algorithmic Game Theory
- WADS 2011 - Algorithms and Data Structures Symposium, Polytechnic Institute of New York University
- WoLLIC 2011 - 18th Workshop on Logic, Language, Information and Computation
| | | | |
| | | | | 2010 - BCTCS 2010 - 26th British Colloquium for Theoretical Computer Science
- CIAC 2010 - 7th International Conference on Algorithms and Complexity
- CiE 2010 - 6th conference of Computer Science, Mathematics and Logic
- DISC 2010 - 24th International Symposium on Distributed Computing
- DLT 2010 - 14th International Conference on Developments in Language Theory
- ETAPS 2010 - 13th European Joint Conferences on Theory and Practice of Software
- GT-VMT 2010 - 9th International Workshop on Graph Transformation and Visual Modeling Techniques
- ICGT 2010 - 5th International Conference on Graph Transformation
- ICTCS 2010 - 12th Italian Conference on Theoretical Computer Science
- LICS 2010 - 25th Annual IEEE Symposium on Logic In Computer Science
- SAGT 2010 - 3rd International Symposium on Algorithmic Game Theory
- WoLLIC 2010 - 17th Workshop on Logic, Language, Information and Computation
| | | | |
| | | | | 2008 - 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
- ETAPS 2008 - 11th European Joint Conferences on Theory and Practice of Software
- 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
- 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
- SPAA 2003 - Symposium on Parallel Algorithms and Architectures
- 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
| | | | |
|
