ICALP Satellite Workshops

To collocate with ICALP, satellite workshops are an opportunity to explore special topics. Usually, simultaneous submissions to the workshops and to other conferences with published proceedings are not allowed except to ICALP with the understanding that if the paper is accepted to ICALP then the paper will have to be withdrawn from the appropriate workshop.

A brief history of the ICALP workshops follows below.

2017

  • ASSG: Algorithms and Structure for Sparse Graphs
  • AVeRTS: Algorithmic Verification of Real-Time Systems
  • LIPA Summer School
  • SP: Separability Problems

2015

  • LCC 2015 - Workshop on Logic and Computational Complexity
  • NLCS 3 - Workshop on Natural Language and Computer Science 3
  • QCC - Workshop on Quantum Computational Complexity
  • WRAWN - 6th Workshop on Realistic Models for Algorithms in Wireless Networks
  • LOLA 2015 - Workshop on Syntax and Semantics for Low-Level Languages
  • HOPA - 4th Workshop on the Verification of Higher-Order Programs
  • YR-ICALP 2015 - Young Researchers Forum on Automata, Languages and Programming

2014

  • TOLA - Trends in Online Algorithms
  • YR-ICALP - Young Researcher Workshop on Automata, Languages and Programming

2013

2012

  • APAC 2012 - Workshop on Applications of Parameterized Algorithms and Complexity (July 8)
  • CL&C - 4th International Workshop on Classical Logic and Computation (July 8)
  • WRAWN - 3rd Workshop on Realistic models for Algorithms in Wireless Networks (July 8)

2011

2010

  • AlgoGT - Workshop on Algorithmic Game Theory: Dynamics and Convergence in Distributed Systems (July 5)
  • DYNAS 2010 - 2nd International Workshop on DYnamic Networks: Algorithms and Security (July 5)
  • ALGOSENSORS 2010 - 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities (July 5)
  • SDKB 2010 - 4th International Workshop on Semantics in Data and Knowledge Bases (July 5)
  • TERA-NET - Towards Evolutive Routing Algorithms for scale-free/internet-like NETworks (July 5)

2009

  • ALGOSENSORS 2009 - 5th International Workshop on Algorithmic Aspects of Wireless Sensor Networks (July 11)
  • DCM 2009 - 5th International Workshop on Developments in Computational Models (July 12)
  • FOCLASA 2009 - 8th International Workshop on Foundations of Coordination Languages and Software Architectures (July 11)
  • QUANTLOG 2009 - Workshop on Quantitative Logics 2009 (July 11)

2008

2005

  • COSMICAH 2005 - 1st International Workshop on Verification of COncurrent Systems with dynaMIC Allocated Heaps (July 10)
  • DCM 2005 - 1st International Workshop on New Developments in Computational Models (July 10)
  • PDMC 2005 - 4th International Workshop on Parallel and Distributed Methods in VerifiCation (July 10)
  • SOS 2005 - 2nd Workshop on Structural Operational Semantics (July 10)
  • ARSPA 2005 - 2nd Workshop on Automated Reasoning for Security Protocol Analysis (July 16)
  • SD 2005 - Structures and Deduction---The Quest for the Essence of Proofs (July 16-17)
  • PCC 2005 - 4th International Workshop on Proof Theory, Computation, Complexity (July 16-17)
  • WSA 2005 - Workshop on Semigroups and Automata (July 16)

2004

  • DMCS 2004 - Workshop on Discrete Models for Complex Systems (July 10)
  • FL 2004 - Formal Languages: Colloquium in Honor of Arto Salomaa (July 11)
  • LCC 2004 - 6th International Workshop on Logic and Computational Complexity (July 12-13)
  • FCS/WOLFASI 2004 - Workshop on Foundations of Computer Security and Workshop on Logical Foundations of an Adaptive Security Infrastructure (July 12-13)
  • LRPP 2004 - Workshop on Logics for Resources, Processes, and Programs (July 13)
  • ALGOSENSORS 2004 - 1st International Workshop on Algorithmic Aspects of Wireless Sensor Networks (July 16)
  • WSA 2004 - Workshop on Synchronizing Automata (July 16)
  • WACAM 2004 - Workshop on Word Avoidability, Complexity and Morphisms (July 17)

2003

  • FGC 2003 - Workshop on Foundations of Global Computing (June 28-29)
  • SecCo 2003 - Workshop on Security Issues in Coordination Models, Languages and Systems (June 28-29)
  • SPN 2003 - Workshop on Stochastic Petri Nets and Related Formalisms (June 28-29)
  • LCMAS 2003 - Workshop on Logic and Communication in Multi-Agent Systems (June 29)
  • Workshop on Quantum Computing (June 29)
  • Workshop on Algorithms for Massive Data Sets (June 29)
  • Workshop on Fundamentals of Evolutionary Algorithms (July 4)
  • Workshop on Mathematics, Logic and Computation (July 4-5)
  • FUNN 2003 - 1st Workshop on Future of Neural Networks (July 5)

2002

2001

  • GT-VMT 2001 - Workshop on Graph Transformation and Visual Modelling Techniques (July 12-13)
  • ATMOS 2001 - Workshop on Algorithmic Methods and Models for Optimization of Railways (July 13)
  • BOTH 2001 - Workshop on Bohm's Theorem : Application to Computer Science (July 13)
  • VEPAS 2001 - Workshop on Verification of Parameterized Systems (July 13)

2000

  • WITS 2000 - Workshop on Issues in the Theory of Security (July 7-8)
  • Workshop on Boolean Functions and Applications (July 14)
  • RANDOM 2000 - Workshop on Randomization and Approximation Techniques in Computer Science (July 14)
  • GT-VMT 2000 - Workshop on Graph Transformation and Visual Modelling Techniques (July 14-15)
  • ARACNE 2000 - Workshop on Approximation and Randomized Algorithms in Communication Networks (July 15)
  • ITRS 2000 - Workshop on Intersection Types and Related Systems (July 15)
  • PAPM 2000 - Workshop on Process Algebra and Performance Modelling (July 15)

1998

  • STTT 1998 - Software Tools for Technology Transfer (July 12)
  • INFINITY 1998 (July 18)
  • SOAP 1998 - Semantics of Objects as Processes (July 18)
  • APPROX 1998 (July 18-19)

1997

  • Workshop on New Trends in Semantic (July 4-5)
  • 2nd International ERCIM Workshop on Formal Methods in Industrial Critical Systems (July 4-5)
  • AIN 1997 - 2nd International Workshop on Advanced Intelligent Networks (July 4-5)
  • RANDOM 1997 - Workshop on Approximation and Randomized Techniques in Computer Science (July 11-12)
  • Workshop on Recent Developments in Formal Languages (July 11-12)
  • Workshop on Algorithmic Aspects of Communication (July 11-12)
  • INFINITY 1997 - 2nd International Workshop on Verification of Infinite State Systems (July 11-12)
e-max.it: your social media marketing partner
 
European Association for Theoretical Computer Science - Maintained and hosted by RU1 / CTI.