DOI: 10.4204/EPTCS
ISSN: 2075-2180

Electronic Proceedings in Theoretical Computer Science

Published Volumes


EPTCS Contents
399 Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems (MARS 2024)
398 Proceedings 14th International Conference on Automated Deduction in Geometry (ADG 2023)
397 Proceedings Sixth International Conference on Applied Category Theory 2023 (ACT 2023)
396 Proceedings 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2023)
395 Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems (FMAS 2023)
394 Proceedings 19th International Conference on Quantum Physics and Logic (QPL 2022)
393 Proceedings 18th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2-2023)
392 Proceedings First Workshop on Trends in Configurable Systems Analysis (TiCSA 2023)
391 Proceedings Third Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2023)
390 Proceedings Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2023)
389 Proceedings 7th Symposium on Working Formal Methods (FROM 2023)
388 Proceedings 13th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2023)
387 Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics (EXPRESS/SOS2023)
386 Proceedings 16th International Conference on Automata and Formal Languages (AFL 2023)
385 Proceedings 39th International Conference on Logic Programming (ICLP 2023)
384 Proceedings Twentieth International Conference on Quantum Physics and Logic (QPL 2023)
383 Proceedings 16th Interaction and Concurrency Experience (ICE 2023)
382 Proceedings Twelfth International Workshop on Trends in Functional Programming in Education (TFPIE 2023)
381 Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation (AMSLO 2023)
380 Proceedings Fifth International Conference on Applied Category Theory (ACT 2022)
379 Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge (TARK 2023)
378 Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2023)
377 Proceedings Twelfth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2022)
376 Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications (LSFA 2022)
375 Proceedings 11th International Workshop on Theorem Proving Components for Educational Software (ThEdu'22)
374 Proceedings Thirteenth International Workshop on Graph Computation Models (GCM 2022)
373 Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation (HCVS/VPT 2022)
372 Proceedings Fourth International Conference on Applied Category Theory (ACT 2021)
371 Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE) (FMAS2022 ASYDE2022)
370 Proceedings 13th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2022)
369 Proceedings Sixth Working Formal Methods Symposium (FROM 2022)
368 Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics (EXPRESS/SOS 2022)
367 Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2022)
366 Proceedings End-to-End Compositional Models of Vector-Based Semantics (E2ECOMPVEC)
365 Proceedings 15th Interaction and Concurrency Experience (ICE 2022)
364 Proceedings 38th International Conference on Logic Programming (ICLP 2022)
363 Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education (TFPIE 2021/22)
362 Proceedings Second Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2022)
361 Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT (SNR 2021)
360 Proceedings Ninth Workshop on Mathematically Structured Functional Programming (MSFP 2022)
359 Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2022)
358 Proceedings 10th International Conference on Non-Classical Logics. Theory and Applications (NCL 2022)
357 Proceedings 16th Logical and Semantic Frameworks with Applications (LSFA 2021)
356 Proceedings 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2022)
355 Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems (MARS 2022)
354 Proceedings 10th International Workshop on Theorem Proving Components for Educational Software (ThEdu'21)
353 Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications (Linearity&TLLA 2020)
352 Proceedings 13th International Conference on Automated Deduction in Geometry (ADG 2021)
351 Proceedings 37th Conference on Mathematical Foundations of Programming Semantics (MFPS 2021)
350 Proceedings Twelfth International Workshop on Graph Computational Models (GCM 2021)
349 Proceedings First Workshop on Applicable Formal Methods (AppFM 2021)
348 Proceedings Third Workshop on Formal Methods for Autonomous Systems (FMAS 2021)
347 Proceedings 14th Interaction and Concurrency Experience (ICE 2021)
346 Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021)
345 Proceedings 37th International Conference on Logic Programming (Technical Communications) (ICLP 2021)
344 Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021)
343 Proceedings 18th International Conference on Quantum Physics and Logic (QPL 2021)
342 Proceedings 9th International Symposium on Symbolic Computation in Software Science (SCSS 2021)
341 Proceedings 9th International Workshop on Verification and Program Transformation (VPT 2021)
340 Proceedings 17th International Conference on Quantum Physics and Logic (QPL 2020)
339 Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics (EXPRESS/SOS 2021)
338 Proceedings 6th Workshop on Formal Integrated Development Environment (F-IDE 2021)
337 Proceedings Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2021)
336 Proceedings Seventh Workshop on Proof eXchange for Theorem Proving (PxTP 2021)
335 Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2021)
334 Proceedings 11th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2020)
333 Proceedings 3rd Annual International Applied Category Theory Conference 2020 (ACT 2020)
332 Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2020)
331 Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT (SNR 2020)
330 Proceedings Eleventh International Workshop on Graph Computation Models (GCM 2020)
329 Proceedings Second Workshop on Formal Methods for Autonomous Systems (FMAS 2020)
328 Proceedings 9th International Workshop on Theorem Proving Components for Educational Software (ThEdu'20)
327 Proceedings Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications (ACL2 2020)
326 Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2020)
325 Proceedings 36th International Conference on Logic Programming (Technical Communications) (ICLP 2020)
324 Proceedings 13th Interaction and Concurrency Experience (ICE 2020)
323 Proceedings Applied Category Theory 2019 (ACT 2019)
322 Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics (EXPRESS/SOS 2020)
321 Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education (TFPIE 2019 and 2020)
320 Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis (VPT/HCVS 2020)
319 Proceedings First Workshop on Agents and Robots for reliable Engineered Autonomy (AREA 2020)
318 Proceedings 16th International Conference on Quantum Physics and Logic (QPL 2019)
317 Proceedings Eighth Workshop on Mathematically Structured Functional Programming (MSFP 2020)
316 Proceedings 4th Workshop on Models for Formal Analysis of Real Systems (MARS 2020)
315 Proceedings 9th International Conference on Quantum Simulation and Quantum Walks (QSQW 2020)
314 Proceedings 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2020)
313 Proceedings 8th International Workshop on Theorem Proving Components for Educational Software (ThEdu'19)
312 Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2019)
311 Proceedings Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements (ARCADE 2019)
310 Proceedings Fifth Workshop on Formal Integrated Development Environment (F-IDE 2019)
309 Proceedings Tenth International Workshop on Graph Computation Models (GCM 2019)
308 Proceedings 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST 2019)
307 Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2019)
306 Proceedings 35th International Conference on Logic Programming (Technical Communications) (ICLP 2019)
305 Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2019)
304 Proceedings 12th Interaction and Concurrency Experience (ICE 2019)
303 Proceedings Third Symposium on Working Formal Methods (FROM 2019)
302 Proceedings Second Workshop on Verification of Objects at RunTime EXecution (VORTEX 2018)
301 Proceedings Sixth Workshop on Proof eXchange for Theorem Proving (PxTP 2019)
300 Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics (EXPRESS/SOS 2019)
299 Proceedings Seventh International Workshop on Verification and Program Transformation (VPT 2019)
298 Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis (DICE-FOPARA 2019)
297 Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2019)
296 Proceedings Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning (HCVS/PERR 2019)
295 Proceedings Seventh International Workshop on Trends in Functional Programming in Education (TFPIE 2018)
294 Proceedings ML Family / OCaml Users and Developers workshops (ML 2017)
293 Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems (DCM 2018 and ITRS 2018 )
292 Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications (Linearity-TLLA 2018)
291 Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2019)
290 Proceedings 7th International Workshop on Theorem proving components for Educational software (ThEdu'18)
289 Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2018)
288 Proceedings Tenth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2018)
287 Proceedings 15th International Conference on Quantum Physics and Logic (QPL 2018)
286 Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST 2018)
285 Proceedings ML Family Workshop / OCaml Users and Developers workshops (ML/OCAML 2016)
284 Proceedings 4th Workshop on Formal Integrated Development Environment (F-IDE 2018)
283 Proceedings 2018 Workshop on Compositional Approaches in Physics, NLP, and Social Sciences (CAPNS 2018)
282 Proceedings 18th Refinement Workshop (Refine 2018)
281 Proceedings Seventh International Workshop on Classical Logic and Computation (CL&C 2018)
280 Proceedings 15th International Workshop on the ACL2 Theorem Prover and Its Applications (ACL2 2018)
279 Proceedings 11th Interaction and Concurrency Experience (ICE 2018)
278 Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018)
277 Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018)
276 Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018)
275 Proceedings 7th Workshop on Mathematically Structured Functional Programming (MSFP 2018)
274 Proceedings 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2018)
273 Proceedings 9th International Workshop on Physics and Computation (PC 2018)
272 Proceedings 1st International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2018)
271 Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD) (IMPEX 2017 and FM&MDD 2017)
270 Proceedings Sixth Workshop on Trends in Functional Programming in Education (TFPIE 2017)
269 Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles (SCAV 2018)
268 Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation (MARS/VPT 2018)
267 Proceedings 6th International Workshop on Theorem proving components for Educational software (ThEdu'17)
266 Proceedings 14th International Conference on Quantum Physics and Logic (QPL 2017)
265 Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2017)
264 Proceedings First Workshop on Architectures, Languages and Paradigms for IoT (ALP4IoT 2017)
263 Proceedings Third Workshop on Graphs as Models (GaM 2017)
262 Proceedings Fifth Workshop on Proof eXchange for Theorem Proving (PxTP 2017)
261 Proceedings 10th Interaction and Concurrency Experience (ICE 2017)
260 Proceedings Sixth Workshop on Synthesis (SYNT 2017)
259 Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies (CREST 2017)
258 Proceedings First Workshop on Coalgebra, Horn Clause Logic Programming and Types (CoALP-Ty'16)
257 Proceedings First Workshop on Formal Verification of Autonomous Vehicles (FVAV 2017)
256 Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2017)
255 Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics (EXPRESS/SOS 2017)
254 Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques (PrePost 2017)
253 Proceedings Fifth International Workshop on Verification and Program Transformation (VPT 2017)
252 Proceedings 15th International Conference on Automata and Formal Languages (AFL 2017)
251 Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2017)
250 Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2017)
249 Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications (ACL2Workshop 2017)
248 Proceedings 8th Workshop on Developments in Implicit Computational complExity and 5th Workshop on FOundational and Practical Aspects of Resource Analysis (DICE-FOPARA 2017)
247 Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2017)
246 Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2017)
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