Sponsored Events
EATCS sponsors or co-sponsors various events. Recent and forthcoming events co-sponsored by EATCS include:
 |
|
 |
|
2023
- ESSLLI2023 - 34th European Summer School in Logic, Language and Information
- ETAPS 2023- 26nd The European Joint Conferences on Theory and Practice of Software
|
|
 |
|
 |
|
|
|
|
2021
- ETAPS 2021- 24nd The European Joint Conferences on Theory and Practice of Software
- RP 2021 - 15th International Conference on Reachability Problems
|
|
|
|
|
|
|
|
|
2020
- CiE 2020 - 16th conference of Computer Science Models of Computation in Context
- ETAPS 2020- 23nd The European Joint Conferences on Theory and Practice of Software
- RP 2020 - 14th International Conference on Reachability Problems
|
|
|
|
|
|
|
|
|
2019
- CiE 2019 - 15th conference of Computer Science Models of Computation in Context
- ETAPS 2019 - 22nd The European Joint Conferences on Theory and Practice of Software
- RP 2019 - 13th International Conference on Reachability Problems
|
|
|
|
|
|
|
|
|
2018
- CiE 2018 - 14th conference of Computer Science Models of Computation in Context
- ETAPS 2018 - 21st The European Joint Conferences on Theory and Practice of Software
- RP 2018 - 12th International Conference on Reachability Problems
|
|
|
|
|
|
|
|
|
2017
- CIAC 2017 - 10th International Conference on Algorithms and Complexity
- CiE 2017 - 13th conference of Computer Science Models of Computation in Context
- ETAPS 2017- 20th The European Joint Conferences on Theory and Practice of Software
- RP 2017 - 11th International Workshop on Reachability Problems
|
|
|
|
|
|
|
|
|
2016
- CiE 2016 - Pursuit of the Universal
- ETAPS 2016 - 19th The European Joint Conferences on Theory and Practice of Software
|
|
|
|
|
|
|
|
|
2015
- ALGOSENSORS 2015 - 11th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities
- ATMOS 2015 - 15th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems
- CIAC 2015 - 9th International Conference on Algorithms and Complexity
- CiE 2015 - 11th conference of Computer Science Models of Computation in Contex
- ETAPS 2015 - 18th The European Joint Conferences on Theory and Practice of Software
- iPEC 2015 - 10th International Symposium on Parameterized and Exact Computation
- TTCS 2015 - 1st IFIP International Conference on Topics in Theoretical Computer Science
- WABI 2015 - 14th Workshop on Algorithms in Bioinformatics
|
|
|
|
|
|
|
|
|
2014
- CiE 2014 - 10th conference of Computer Science Models of Computation in Context
- DLT 2014 - 18th International Conference on Developments in Language Theory
- ETAPS 2014 - 17th The European Joint Conferences on Theory and Practice of Software
- iPEC 2014 - 9th International Symposium on Parameterized and Exact Computation
- TCS 2014 - 8th IFIP International Conference on Theoretical Computer Science
- WABI 2014 - 14th Workshop on Algorithms in Bioinformatics
- WoLLIC 2014 - 21th Workshop on Logic, Language, Information and Computation
|
|
|
|
|
|
|
|
|
2013
- ALGOSENSORS 2013 - 9th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities
- ATMOS 2013 - 13th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems
- CIAC 2013 - 8th conference of Algorithms and Complexity
- CiE 2013 - 9th conference of Computer Science Models of Computation in Context
- DLT 2013 - 17th International Conference on Developments in Language Theory
- ETAPS 2013 - 16th The European Joint Conferences on Theory and Practice of Software
- WABI 2013 - 13th Workshop on Algorithms in Bioinformatics
- WADS 2013 - Algorithms and Data Structures Symposium
- WoLLIC 2013 - 20th Workshop on Logic, Language, Information and Computation
- WORDS 2013 - 9th International Conference on Words
|
|
|
|
|
|
|
|
|
2012
- ALGOSENSORS 2012 - 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities
- ATMOS 2012 - 12th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems
- BCTCS 2012 - 28th British Colloquium for Theoretical Computer Science
- 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
- ETAPS 2012 - 15th The European Joint Conferences on Theory and Practice of Software
- FoIKS 2012 - 7th International Symposium on Foundations of Information and Knowledge Systems
- ICGT 2012 - 6th International Conference on Graph Transformation
- ICTCS 2012 - 13th Italian Conference on Theoretical Computer Science
- IPEC 2012 - 7th International Symposium on Parameterized and Exact Computation
- LICS 2012 - 27th Annual IEEE Symposium on Logic In Computer Science
- MASSIVE 2012 - 4th Workshop on Massive Data Algorithmics
- SAGT 2012 - 5th Symposium on Algorithmic Game Theory
- WABI 2012 - 12th Workshop on Algorithms in Bioinformatics
- WADS 2012 - Algorithms and Data Structures Symposium
- WAOA 2012 - 10th Workshop on Approximation and Online Algorithms
- 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
- WABI 2011 - 11th Workshop on Algorithms in Bioinformatics
- WADS 2011 - Algorithms and Data Structures Symposium
- 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
|
|
|
|
|
 |
