Sponsored Events

EATCS sponsors or co-sponsors various events. Recent and forthcoming events co-sponsored by EATCS include:



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




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, London UK




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




2009





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




2004





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


e-max.it: your social media marketing partner
 
European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.