DOI: 10.4204/EPTCS
ISSN: 2075-2180

Electronic Proceedings in Theoretical Computer Science

Published Volumes


EPTCS Contents
245 Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2017)
244 Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS 2017)
243 Proceedings Ninth Workshop on Methods for Modalities (M4M9 2017)
242 Proceedings Eighth Workshop on Intersection Types and Related Systems (ITRS 2016)
241 Proceedings ML Family / OCaml Users and Developers workshops (ML/OCaml 2015)
240 Proceedings Third Workshop on Formal Integrated Development Environment (F-IDE 2016)
239 Proceedings 12th Workshop on User Interfaces for Theorem Provers (UITP 2016)
238 Proceedings Fourth International Workshop on Linearity (LINEARITY 2016)
237 Proceedings XVI Jornadas sobre Programación y Lenguajes (PROLE 2016)
236 Proceedings 13th International Conference on Quantum Physics and Logic (QPL 2016)
235 Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2016)
234 Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming (WLP'15/'16/WFLP'16)
233 Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2016)
232 Proceedings The First Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS-16)
231 Proceedings Second Graphs as Models Workshop (GaM 2016)
230 Proceedings 4th and 5th International Workshop on Trends in Functional Programming in Education (TFPIE 2015/6)
229 Proceedings Fifth Workshop on Synthesis (SYNT 2016)
228 Proceedings First International Workshop on Formal Methods for and on the Cloud (iFMCloud 2016)
227 Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems (QAPL'16)
226 Proceedings Seventh International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2016)
225 Proceedings 9th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2016)
224 Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2016)
223 Proceedings 9th Interaction and Concurrency Experience (ICE 2016)
222 Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics (EXPRESS/SOS 2016)
221 Proceedings 2016 Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science (SLPCS 2016)
220 Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters (Cassting'16/SynCoP'16)
219 Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis (HCVS2016)
218 Proceedings 4th International Workshop on Strategic Reasoning (SR 2016)
217 Proceedings Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems (FORECAST 2016)
216 Proceedings Fourth International Workshop on Verification and Program Transformation (VPT 2016)
215 Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2015)
214 Proceedings 7th International Workshop on Physics and Computation (PC 2016)
213 Proceedings Sixth International Workshop on Classical Logic and Computation (CL&C 2016)
212 Proceedings Workshop on Continuations (WoC 2015)
211 Proceedings Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2016)
210 Proceedings First International Workshop on Hammers for Type Theories (HaTT 2016)
209 Proceedings 17th International Workshop on Refinement (Refine'15)
208 Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques (PrePost 2016)
207 Proceedings 6th Workshop on Mathematically Structured Functional Programming (MSFP 2016)
206 Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2016)
205 Proceedings 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures (FESCA 2016)
204 Proceedings Eleventh International Workshop on Developments in Computational Models (DCM 2015)
203 Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2015)
202 Proceedings Fourth Workshop on Synthesis (SYNT 2015)
201 Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2015)
200 Proceedings XV Jornadas sobre Programación y Lenguajes (PROLE 2015)
199 Proceedings Third International Workshop on Verification and Program Transformation (VPT 2015)
198 Proceedings ML Family/OCaml Users and Developers workshops (ML/OCaml 2014)
197 Proceedings First International Workshop on Focusing (WoF'15)
196 Proceedings Workshop on Models for Formal Analysis of Real Systems (MARS 2015)
195 Proceedings 12th International Workshop on Quantum Physics and Logic (QPL 2015)
194 Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015)
193 Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015)
192 Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2015)
191 Proceedings Tenth International Workshop on Fixed Points in Computer Science (FICS 2015)
190 Proceedings Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics (EXPRESS/SOS 2015)
189 Proceedings 8th Interaction and Concurrency Experience (ICE 2015)
188 Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems (WWV 2015)
187 Proceedings Second International Workshop on Formal Integrated Development Environment (F-IDE 2015)
186 Proceedings Fourth Workshop on Proof eXchange for Theorem Proving (PxTP 2015)
185 Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice (LFMTP 2015)
184 Proceedings 4th International Workshop on Engineering Safety and Security Systems (ESSS 2015)
183 Proceedings 8th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2014)
182 Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering (FMSPLE 2015)
181 Proceedings Graphs as Models (GaM 2015)
180 Proceedings Tenth Workshop on Model Based Testing (MBT 2015)
179 Proceedings Tenth International Workshop on Developments in Computational Models (DCM 2014)
178 Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2015)
177 Proceedings Seventh Workshop on Intersection Types and Related Systems (ITRS 2014)
176 Proceedings Third International Workshop on Linearity (LINEARITY 2014)
175 Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2014)
174 Proceedings 4th Workshop on Hybrid Autonomous Systems (HAS 2014)
173 Proceedings XIV Jornadas sobre Programación y Lenguajes (PROLE 2014)
172 Proceedings 11th workshop on Quantum Physics and Logic (QPL 2014)
171 Proceedings 10th International Workshop on Quantum Physics and Logic (QPL 2013)
170 Proceedings 3rd International Workshop on Trends in Functional Programming in Education (TFPIE 2014)
169 Proceedings First Workshop on Horn Clauses for Verification and Synthesis (HCVS 2014)
168 Proceedings First Workshop on Logics and Model-checking for Self-* Systems (MOD* 2014)
167 Proceedings Eleventh Workshop on User Interfaces for Theorem Provers (UITP 2014)
166 Proceedings 7th Interaction and Concurrency Experience (ICE 2014)
165 Proceedings 2014 International Workshop on Advanced Intrusion Detection and Prevention (AIDP 2014)
164 Proceedings Fifth International Workshop on Classical Logic and Computation (CL&C 2014)
163 Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems (WWV 2014)
162 Proceedings Third Workshop on Behavioural Types (BEAT 2014)
161 Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2014)
160 Proceedings Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics (EXPRESS/SOS 2014)
159 Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014)
158 Proceedings 9th Workshop on Quantum Physics and Logic (QPL 2012)
157 Proceedings 3rd Workshop on Synthesis (SYNT 2014)
156 Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications (FSFMA 2014)
155 Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014)
154 Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2014)
153 Proceedings 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014)
152 Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2014)
151 Proceedings 14th International Conference on Automata and Formal Languages (AFL 2014)
150 Proceedings Third International Workshop on Engineering Safety and Security Systems (ESSS 2014)
149 Proceedings 1st Workshop on Formal Integrated Development Environment (F-IDE 2014)
148 Proceedings First International Workshop on Graphical Models for Security (GraMSec 2014)
147 Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2014)
146 Proceedings 2nd International Workshop on Strategic Reasoning (SR 2014)
145 Proceedings 1st International Workshop on Synthesis of Continuous Parameters (SynCoP 2014)
144 Proceedings 9th International Workshop on Developments in Computational Models (DCM 2013)
143 Proceedings 8th International Workshop on Developments in Computational Models (DCM 2012)
142 Proceedings Second Workshop on Synthesis (SYNT 2013)
141 Proceedings Ninth Workshop on Model-Based Testing (MBT 2014)
140 Proceedings 15th International Workshop on Verification of Infinite-State Systems (INFINITY 2013)
139 Proceedings First Latin American Workshop on Formal Methods (LAFM 2013)
138 Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2013)
137 Proceedings 5th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2013)
136 Proceedings Second Workshop on Trends in Functional Programming In Education (TFPIE 2013)
135 Proceedings Sixth Transformation Tool Contest (TTC 2013)
134 Proceedings Second International Workshop on Trends in Tree Automata and Tree Transducers (TTATT 2013)
133 Proceedings 1st Workshop on Advances in Systems of Systems (AiSoS 2013)
132 Proceedings Ninth International Workshop on Foundations of Mobile Computing (FOMC 2013)
131 Proceedings 6th Interaction and Concurrency Experience (ICE 2013)
130 Proceedings Wivace 2013 - Italian Workshop on Artificial Life and Evolutionary Computation (Wivace 2013)
129 Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday (Festschrift for Dave Schmidt)
128 Proceedings Machines, Computations and Universality 2013 (MCU 2013)
127 Proceedings First Workshop on Control Operators and their Semantics (COS 2013)
126 Proceedings Workshop on Fixed Points in Computer Science (FICS 2013)
125 Proceedings Second International Workshop on Hybrid Systems and Biology (HSB 2013)
124 Proceedings Third International Workshop on Hybrid Autonomous Systems (HAS 2013)
123 Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems (WWV 2013)
122 Proceedings Fourth International Symposium on Symbolic Computation in Software Science (SCSS 2012)
121 Proceedings Sixth Workshop on Intersection Types and Related Systems (ITRS 2012)
120 Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics (EXPRESS/SOS 2013)
119 Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2013)
118 Proceedings 10th International Workshop On User Interfaces for Theorem Provers (UITP 2012)
117 Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013)
116 Proceedings Fourth International Workshop on Computational Models for Cell Processes (CompMod 2013)
115 Proceedings 16th International Refinement Workshop (Refine 2013)
114 Proceedings International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2013)
113 Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2012)
112 Proceedings 1st International Workshop on Strategic Reasoning (SR 2013)
111 Proceedings Eighth Workshop on Model-Based Testing (MBT 2013)
110 Proceedings 7th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2013)
109 Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2012)
108 Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures (FESCA 2013)
107 Proceedings 14th International Workshop on Verification of Infinite-State Systems (Infinity 2012)
106 Proceedings First International Workshop on Trends in Functional Programming in Education (TFPIE 2012)
105 Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2012)
104 Proceedings Fifth Interaction and Concurrency Experience (ICE 2012)
103 Proceedings Quantities in Formal Methods (QFM 2012)
102 Proceedings Seventh Conference on Systems Software Verification (SSV 2012)
101 Proceedings 2nd International Workshop on Linearity (LINEARITY 2012)
100 Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2012)
99 Proceedings First Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2012)
98 Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems (WWV 2012)
97 Proceedings Fourth Workshop on Classical Logic and Computation (CL&C 2012)
96 Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2012)
95 Proceedings 8th International Workshop on Quantum Physics and Logic (QPL 2011)
94 Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2012)
93 Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory (ACCAT 2012)
92 Proceedings First International Workshop on Hybrid Systems and Biology (HSB 2012)
91 Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation (FOCLASA 2012)
90 Proceedings 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires (AUTOMATA&JAC 2012)
89 Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics (EXPRESS/SOS 2012)
88 Proceedings 7th International Workshop on Developments of Computational Methods (DCM 2011)
87 Proceedings Fourth Workshop on Foundations of Interface Technologies (FIT 2012)
86 Proceedings 2nd Workshop on Formal Methods in the Development of Software (WS-FMDS 2012)
85 Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2012)
84 Proceedings First Workshop on Synthesis (SYNT 2012)
83 Proceedings Third Workshop on Formal Aspects of Virtual Organisations (FAVO 2011)
82 Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2011)
81 Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2011)
80 Proceedings 7th Workshop on Model-Based Testing (MBT 2012)
79 Proceedings First Workshop on CTP Components for Educational Software (THedu'11)
78 Proceedings Second International Workshop on Interactions, Games and Protocols (IWIGP 2012)
77 Proceedings 8th Workshop on Fixed Points in Computer Science (FICS 2012)
76 Proceedings Fourth Workshop on Mathematically Structured Functional Programming (MSFP 2012)
75 Proceedings Second Workshop on Developments in Implicit Computational Complexity (DICE 2011)
74 Proceedings Fifth Transformation Tool Contest (TTC 2011)
73 Proceedings 13th International Workshop on Verification of Infinite-State Systems (INFINITY 2011)
72 Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2011)
71 Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP 2011)
70 Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2011)
69 Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software (PLACES 2010)
68 Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2011)
67 Proceedings Third International Workshop on Computational Models for Cell Processes (CompMod 2011)
66 Proceedings IFIP Working Conference on Domain-Specific Languages (DSL 2011)
65 Proceedings Second Workshop on Logics for Component Configuration (LoCoCo 2011)
64 Proceedings 18th International Workshop on Expressiveness in Concurrency (EXPRESS 2011)
63 Proceedings 8th International Conference Words 2011 (WORDS 2011)
62 Proceedings Eight Workshop on Structural Operational Semantics 2011 (SOS 2011)
61 Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems (WWV 2011)
60 Proceedings First International Workshop on Process Algebra and Coordination (PACO 2011)
59 Proceedings Fourth Interaction and Concurrency Experience (ICE 2011)
58 Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011)
57 Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011)
56 Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering (AMMSE 2011)
55 Proceedings 15th International Refinement Workshop (Refine 2011)
54 Proceedings Second International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2011)
53 Proceedings Types for Proofs and Programs, Revised Selected Papers (TYPES 2009)
52 Proceedings CSR 2010 Workshop on High Productivity Computations (HPC 2010)
51 Proceedings 8th International Workshop on Security Issues in Concurrency (SecCo 2010)
50 Proceedings International Workshop on Interactions, Games and Protocols (iWIGP 2011)
49 Proceedings 5th International Workshop on Higher-Order Rewriting (HOR 2010)
48 Proceedings 6th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2011)
47 Proceedings Third International Workshop on Classical Logic and Computation (CL&C 2010)
46 Proceedings Foundations for Interface Technologies (FIT 2010)
45 Proceedings Fifth Workshop on Intersection Types and Related Systems (ITRS 2010)
44 Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming (IWS 2010)
43 Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers (PAR 2010)
42 Proceedings 24th International Workshop on Unification (UNIF 2010)
41 Proceedings 17th International Workshop on Expressiveness in Concurrency (EXPRESS'10)
40 Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010 (MeCBIC 2010)
39 Proceedings 12th International Workshop on Verification of Infinite-State Systems (INFINITY 2010)
38 Proceedings Third Interaction and Concurrency Experience Guaranteed Interaction (ICE 2010)
37 Proceedings International Workshop on Component and Service Interoperability (WCSI 2010)
36 Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems (RTRTS 2010)
35 Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software (TAV-WEB 2010)
34 Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP 2010)
33 Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology (AMCA-POP 2010)
32 Proceedings Seventh Workshop on Structural Operational Semantics (SOS 2010)
31 Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems (DCFS 2010)
30 Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2010)
29 Proceedings First International Workshop on Logics for Component Configuration (LoCoCo 2010)
28 Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010)
27 Proceedings First International Workshop on Decentralized Coordination of Distributed Processes (DCDP 2010)
26 Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics (DCM 2010)
25 Proceedings First Symposium on Games, Automata, Logic, and Formal Verification (GANDALF 2010)
24 Proceedings Seventh International Conference on Computability and Complexity in Analysis (CCA 2010)
23 Proceedings International Workshop on Developments in Implicit Computational complExity (DICE 2010)
22 Proceedings First International Workshop on Linearity (LINEARITY 2009)
21 Proceedings Tenth International Workshop on Rule-Based Programming (RULE 2009)
20 Proceedings FM-09 Workshop on Formal Methods for Aerospace (FMA 2009)
19 Proceedings Third Workshop From Biology To Concurrency and back (FBTC 2010)
18 Proceedings Sixth Workshop on Structural Operational Semantics (SOS 2009)
17 Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2009)
16 Proceedings Second Workshop on Formal Aspects of Virtual Organisations (FAVO 2009)
15 Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2009)
14 Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2009)
13 Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications (QFM 2009)
12 Proceedings 2nd Interaction and Concurrency Experience Structured Interactions (ICE 2009)
11 Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi 2009 (MeCBIC 2009)
10 Proceedings International Workshop on Verification of Infinite-State Systems (INFINITY 2009)
9 Proceedings Fifth Workshop on Developments in Computational Models — Computational Models From Nature (DCM 2009)
8 Proceedings 16th International Workshop on Expressiveness in Concurrency (EXPRESS 2009)
7 Proceedings 7th International Workshop on Security Issues in Concurrency (SECCO 2009)
6 Proceedings Second International Workshop on Computational Models for Cell Processes (COMPMOD 2009)
5 Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS 2009)
4 Proceedings Fourth Athens Colloquium on Algorithms and Complexity (ACAC 2009)
3 Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems (DCFS 2009)
2 Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2009)
1 Proceedings International Workshop on The Complexity of Simple Programs (CSP 2008)

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org