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.

	2018 Modern Online Algorithms (MOLI) Game Solving: Theory and Practice Parameterized Approximation Algorithms Workshop (PAAW) Infinity Algorithmic Aspects of Temporal Graphs Constrained Recognition Problems Summer School on Algorithms and Lower Bounds 2018

	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 ALFA'13 - Workshop on Automata, Logic, Formal languages, and Algebra APEX 2013 - International Workshop on Approximation, Parameterized and EXact algorithms Quantitative Models: Expressiveness and Analysis FONES - Foundations of Network Science Learning Theory and Complexity MeCBIC 2013 - 7th Workshop on Membrane Computing and Biologically Inspired Process Calculi Workshop on Quantum and Classical Complexity

	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 ICALP2011GT - Algorithms and Data Structures for selection, identification and encoding. Group testing, compressed sensing, multi access communication and more (July 3) DCM 2011 - Developments of Computational Models - 7th International Workshop on Developments of Computational Models (July 3) SDKB 2011 - Semantics in Data and Knowledge Bases - 5th International Workshop on Semantics in Data and Knowledge Bases (July 3) TERA-NET - Towards Evolutive Routing Algorithms for scale-free/internet-like NETworks (July 5)

	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 ALGOSENSORS 2008 - 4th International Workshop on Algorithmic Aspects of Wireless Sensor Networks (July 12) CL&C 2008 - 2nd International Workshop on Classical Logic and Computation (July 13) FOCLASA 2008 - 7th International Workshop on the Foundations of Coordination Languages and Software Architectures (July 13) Foundations of Information Management in Networks (July 6) FBTC 2008 - From Biology to Concurrency and back (July 12) ICE 2008 - 1st Interaction and Concurrency Experience (July 6) MATCH-UP 2008 - Matching Under Preferences - Algorithms and Complexity (July 6) Mathematically Structured Functional Programming (July 6) PAuL 2008 - 3rd International Workshop on Probabilistic Automata and Probabilistic Logics (July 6) Joint 5th QPL and 4th DCM Workshops - Quantum Physics and Logic, Development of Computational Models (July 12-13) IMAGINE 2008 - 2nd International workshop on Mobility, Algorithms and Graph theory In dynamic NEtworks (July 12) DYNAMO 2008 - 2nd Training School on Algorithmic Aspects of Dynamic Networks (July 4-6) Structural Operational Semantics (July 6)

	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 CCA 2002 - Computability and Complexity in Analysis ((July 12-13) FMICS 2002 - 7th International Workshop on Formal Methods for Industrial Critical Systems (July 12-13) Foundations of Wide Area Network Computing (July 12-13) Formal Methods and Component Interaction (July 12-13) Unification in Non-Classical Logics (July 12-13) ATMOS 2002 - Algorithmic Methods and Models for Optimization of Railways (July 13)

	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)