


default search action
Electronic Proceedings in Theoretical Computer Science (EPTCS)
425Clément Aubert, Cinzia Di Giusto, Simon Fowler, Violet Ka I Pun:
Proceedings 18th Interaction and Concurrency Experience, ICE 2025, Lille, France, 20th June 2025. EPTCS 425, 2025 [contents]
424Rose Bohrer:
Proceedings 14th International Workshop on Trends in Functional Programming in Education, TFPiE 2025, Oxford, UK, 13 January 2025. EPTCS 424, 2025 [contents]
423Ruben Gamboa, Panagiotis Manolios:
Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, TX, 12-13 May, 2025. EPTCS 423, 2025 [contents]
422Nelma Moreira, Luca Prigioniero:
Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications, NCMA 2025, Loughborough University, July 21-22, 2025. EPTCS 422, 2025 [contents]
421Cynthia Kop, Hélida Salles Santos:
Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2024, Goiânia, Brazil, 18th-20th September 2024. EPTCS 421, 2025 [contents]
420Farzaneh Derakhshan, Jan Hoffmann:
Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2025, Hamilton, Canada, 4th May 2025. EPTCS 420, 2025 [contents]
419Julien Narboux, Walther Neuper, Pedro Quaresma:
Proceedings The 13th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2024, Nancy, France, 1-2nd July 2024. EPTCS 419, 2025 [contents]
418Marsha Chechik, Arianna Fedeli, Gianluca Filippone, Federico Formica, Mirgita Frasheri, Nico Hochgeschwender, Lina Marsso:
Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins, ASQAP 2025, Hamilton, Canada, 4th May 2025. EPTCS 418, 2025 [contents]
417Jörg Endrullis, Dominik Grzelak
, Tobias Heindel, Jens Kosiol:
Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models, GCM 2024, Leicester, UK and Enschede, the Netherlands, 18 July 2023 and 9 July 2024. EPTCS 417, 2025 [contents]
416Pedro Cabalar, Francesco Fabiano, Martin Gebser, Gopal Gupta, Theresa Swift:
Proceedings 40th International Conference on Logic Programming, ICLP 2024, University of Texas at Dallas, Dallas Texas, USA, October 14-17 2024. EPTCS 416, 2025 [contents]
415Andrzej Indrzejczak, Michal Zawidzki:
Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications, NCL 2024, Łódź, Poland, 5-8 September 2024. EPTCS 415, 2024 [contents]
414Clément Aubert, Cinzia Di Giusto, Simon Fowler, Violet Ka I Pun:
Proceedings 17th Interaction and Concurrency Experience, ICE 2024, Groningen, The Netherlands, 21st June 2024. EPTCS 414, 2024 [contents]
413Annette Bieniusa, Markus Degen, Stefan Wehr:
A Second Soul: Celebrating the Many Languages of Programming - Festschrift in Honor of Peter Thiemann's Sixtieth Birthday, Freiburg, Germany, 30th August 2024. EPTCS 413, 2024 [contents]
412Georgiana Caltais, Cinzia Di Giusto:
Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics, EXPRESS/SOS 2024, and 21st Workshop on Structural Operational SemanticsCalgary, Canada, 9th September 2024. EPTCS 412, 2024 [contents]
411Matt Luckcuck, Mengwei Xu:
Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2024, Manchester, UK, 11th and 12th of November 2024. EPTCS 411, 2024 [contents]
410Mircea Marin, Laurentiu Leustean:
Proceedings Eighth Symposium on Working Formal Methods, FROM 2024, Timişoara, Romania, September 16-18. EPTCS 410, 2024 [contents]
409Antonis Achilleos, Adrian Francalanza:
Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2024, Reykjavik, Iceland, 19-21 June 2024. EPTCS 409, 2024 [contents]
408Sandra Alves, Ian Mackie:
Proceedings 13th International Workshop on Developments in Computational Models, DCM 2023, Rome, Italy, 2 July 2023. EPTCS 408, 2024 [contents]
407Florin Manea, Giovanni Pighizzini:
Proceedings 14th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2024), NCMA 2024, Göttingen, Germany, 12-13 August 2024. EPTCS 407, 2024 [contents]
406Alejandro Díaz-Caro, Vladimir Zamdzhiev:
Proceedings of the 21st International Conference on Quantum Physics and Logic, QPL 2024, Buenos Aires, Argentina, July 15-19, 2024. EPTCS 406, 2024 [contents]
405Stephen Chang:
Proceedings of the Thirteenth Workshop on Trends in Functional Programming in Education, TFPIE 2024, South Orange, New Jersey, USA, 9th January 2024. EPTCS 405, 2024 [contents]
404Florian Rabe, Claudio Sacerdoti Coen:
Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2024, Tallinn, Estonia, 8th July 2024. EPTCS 404, 2024 [contents]
403Srecko Brlek, Luca Ferrari:
Proceedings of the 13th edition of the conference on Random Generation of Combinatorial Structures. Polyominoes and Tilings, GASCom 2024, Bordeaux, France, 24-28th June 2024. EPTCS 403, 2024 [contents]
402Temur Kutsia, Daniel Ventura, David Monniaux, José F. Morales:
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, LSFA/HCVS 2023, and 10th Workshop on Horn Clauses for Verification and SynthesisRome, Italy & Paris, France, 1-2 July, 2023 & 23rd April 2023. EPTCS 402, 2024 [contents]
401Diana Costa, Raymond Hu:
Proceedings 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2024, Luxembourg City, Luxembourg, 6th April 2024. EPTCS 401, 2024 [contents]
400Julien Narboux, Walther Neuper, Pedro Quaresma:
Proceedings 12th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023. EPTCS 400, 2024 [contents]
399Frédéric Lang, Matthias Volk
:
Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2024, Luxembourg City, Luxembourg, 6th April 2024. EPTCS 399, 2024 [contents]
398Pedro Quaresma, Zoltán Kovács:
Proceedings 14th International Conference on Automated Deduction in Geometry, ADG 2023, Belgrade, Serbia, 20-22th September 2023. EPTCS 398, 2024 [contents]
397Sam Staton, Christina Vasilakopoulou:
Proceedings of the Sixth International Conference on Applied Category Theory 2023, ACT 2023, University of Maryland, 31 July - 4 August 2023. EPTCS 397, 2023 [contents]
396Alberto Ciaffaglione, Carlos Olarte:
Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2023, Rome, Italy, 2nd July 2023. EPTCS 396, 2023 [contents]
395Marie Farrell, Matt Luckcuck, Mario Gleirscher, Maike Schwammberger
:
Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, FMAS@iFM 2023, Leiden, The Netherlands, 15th and 16th of November 2023. EPTCS 395, 2023 [contents]
394Stefano Gogioso, Matty Hoban:
Proceedings 19th International Conference on Quantum Physics and Logic, QPL 2022, Wolfson College, Oxford, UK, 27 June - 1 July 2022. EPTCS 394, 2023 [contents]
393Alessandro Coglio, Sol Swords:
Proceedings of the 18th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, TX, USA and online, November 13-14, 2023. EPTCS 393, 2023 [contents]
392Maurice H. ter Beek, Clemens Dubslaff:
Proceedings of the First Workshop on Trends in Configurable Systems Analysis, TiCSA@ETAPS 2023, Paris, France, 23rd April 2023. EPTCS 392, 2023 [contents]
391Angelo Ferrando, Rafael Cardoso:
Proceedings of the Third Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2023, Krakow, Poland, 1st October 2023. EPTCS 391, 2023 [contents]
390Antonis Achilleos, Dario Della Monica:
Proceedings of the Fourteenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2023, Udine, Italy, 18-20th September 2023. EPTCS 390, 2023 [contents]
389Horatiu Cheval, Laurentiu Leustean, Andrei Sipos:
Proceedings 7th Symposium on Working Formal Methods, FROM 2023, Bucharest, Romania, 21-22 September 2023. EPTCS 389, 2023 [contents]
388Benedek Nagy, Rudolf Freund:
Proceedings of the 13th International Workshop on Non-Classical Models of Automata and Applications, NCMA 2023, Famagusta, North Cyprus, 18th-19th September, 2023. EPTCS 388, 2023 [contents]
387Claudio Antares Mezzina, Georgiana Caltais:
Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, EXPRESS/SOS 2023, and 20th Workshop on Structural Operational SemanticsAntwerp, Belgium, 18th September 2023. EPTCS 387, 2023 [contents]
386Zsolt Gazdag, Szabolcs Iván, Gergely Kovásznai:
Proceedings of the 16th International Conference on Automata and Formal Languages, AFL 2023, Eger, Hungary, September 5-7, 2023. EPTCS 386, 2023 [contents]
385Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Alice Gaggl, Roberta Calegari, Artur S. d'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni:
Proceedings 39th International Conference on Logic Programming, ICLP 2023, Imperial College London, UK, 9th July 2023 - 15th July 2023. EPTCS 385, 2023 [contents]
384Shane Mansfield, Benoît Valiron, Vladimir Zamdzhiev:
Proceedings of the Twentieth International Conference on Quantum Physics and Logic, QPL 2023, Paris, France, 17-21st July 2023. EPTCS 384, 2023 [contents]
383Clément Aubert, Cinzia Di Giusto, Simon Fowler, Larisa Safina:
Proceedings 16th Interaction and Concurrency Experience, ICE 2023, Lisbon, Portugal, 19th June 2023. EPTCS 383, 2023 [contents]
382Elena Machkasova:
Proceedings Twelfth International Workshop on Trends in Functional Programming in Education, TFPIE 2023, Boston, Massachusetts, USA, 12th January 2023. EPTCS 382, 2023 [contents]
381Michael Moortgat, Mehrnoosh Sadrzadeh:
Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation, AMSLO@ESSLLI 2023, Ljubljana, Slovenia, August 7-8, 2023. EPTCS 381, 2023 [contents]
380Jade Master, Martha Lewis:
Proceedings Fifth International Conference on Applied Category Theory, ACT 2022, Glasgow, United Kingdom, 18-22 July 2022. EPTCS 380, 2023 [contents]
379Rineke Verbrugge:
Proceedings Nineteenth conference on Theoretical Aspects of Rationality and Knowledge, TARK 2023, Oxford, United Kingdom, 28-30th June 2023. EPTCS 379, 2023 [contents]
378Ilaria Castellani, Alceste Scalas
:
Proceedings 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2023, Paris, France, 22 April 2023. EPTCS 378, 2023 [contents]
377Clemens Grabmayer:
Proceedings Twelfth International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD 2022, Technion, Haifa, Israel, 1st August 2022. EPTCS 377, 2023 [contents]
376Daniele Nantes-Sobrinho, Pascal Fontaine:
Proceedings 17th International Workshop on Logical and Semantic Frameworks with Applications, LSFA 2022, Belo Horizonte, Brazil (hybrid), 23-24 September 2022. EPTCS 376, 2023 [contents]
375Pedro Quaresma, João Marcos, Walther Neuper:
Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August 2022. EPTCS 375, 2023 [contents]
374Reiko Heckel, Christopher M. Poskitt
:
Proceedings of the Thirteenth International Workshop on Graph Computation Models, GCM@STAF 2022, Nantes, France, 6th July 2022. EPTCS 374, 2022 [contents]
373Geoffrey William Hamilton, Temesghen Kahsai, Maurizio Proietti:
Proceedings 9th Workshop on Horn Clauses for Verification and Synthesis and 10th International Workshop on Verification and Program Transformation, HCVS/VPT@ETAPS 2022, and 10th International Workshop on Verification and Program TransformationMunich, Germany, 3rd April 2022. EPTCS 373, 2022 [contents]
372Kohei Kishida:
Proceedings of the Fourth International Conference on Applied Category Theory, ACT 2021, Cambridge, United Kingdom, 12-16th July 2021. EPTCS 372, 2022 [contents]
371Matt Luckcuck, Marie Farrell:
Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), FMAS/ASYDE@SEFM 2022, and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE)Berlin, Germany, 26th and 27th of September 2022. EPTCS 371, 2022 [contents]
370Pierre Ganty, Dario Della Monica:
Proceedings of the 13th International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2022, Madrid, Spain, September 21-23, 2022. EPTCS 370, 2022 [contents]
369Vlad Rusu:
Proceedings of the Sixth Working Formal Methods Symposium, FROM 2022, "Al. I. Cuza University", Iasi, Romania, 19-20 September, 2022. EPTCS 369, 2022 [contents]
368Valentina Castiglioni
, Claudio Antares Mezzina:
Proceedings Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics, EXPRESS/SOS 2022, Warsaw, Poland, 12th September 2022. EPTCS 368, 2022 [contents]
367Henning Bordihn, Géza Horváth, György Vaszil:
Proceedings 12th International Workshop on Non-Classical Models of Automata and Applications, NCMA 2022, Debrecen, Hungary, August 26-27, 2022. EPTCS 367, 2022 [contents]
366Michael Moortgat, Gijs Wijnholds:
Proceedings End-to-End Compositional Models of Vector-Based Semantics, E2ECOMPVEC@ESSLLI 2022, NUI Galway, Ireland, 15-16 August 2022. EPTCS 366, 2022 [contents]
365Clément Aubert, Cinzia Di Giusto, Larisa Safina, Alceste Scalas:
Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022. EPTCS 365, 2022 [contents]
364Yuliya Lierler, José F. Morales, Carmine Dodaro, Verónica Dahl, Martin Gebser, K. Tuncay Tekle:
Proceedings 38th International Conference on Logic Programming, ICLP 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022. EPTCS 364, 2022 [contents]
363Peter Achten, Elena Machkasova:
Proceedings Tenth and Eleventh International Workshop on Trends in Functional Programming In Education, TFPIE 2021 / 2022, Kraków, Poland (online), 16th February 2021 / 16th March 2022. EPTCS 363, 2022 [contents]
362Rafael C. Cardoso, Angelo Ferrando, Fabio Papacchini, Mehrnoosh Askarpour, Louise A. Dennis:
Proceedings of the Second Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@IJCAI-ECAI 2022, Vienna, Austria, 24th July 2022. EPTCS 362, 2022 [contents]
361Anne Remke, Dung Hoang Tran:
Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, SNR 2021, Online, 23rd August 2021. EPTCS 361, 2022 [contents]
360Jeremy Gibbons, Max S. New:
Proceedings Ninth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2022, Munich, Germany, 2nd April 2022. EPTCS 360, 2022 [contents]
359Rob Sumners, Cuong Chau:
Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, 26th-27th May 2022. EPTCS 359, 2022 [contents]
358Andrzej Indrzejczak, Michal Zawidzki:
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022. EPTCS 358, 2022 [contents]
357Mauricio Ayala-Rincón, Eduardo Bonelli:
Proceedings 16th Logical and Semantic Frameworks with Applications, LSFA 2021, Buenos Aires, Argentina (Online), 23rd - 24th July, 2021. EPTCS 357, 2022 [contents]
356Marco Carbone, Rumyana Neykova:
Proceedings of the 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES@ETAPS 2022, Munich, Germany, 3rd April 2022. EPTCS 356, 2022 [contents]
355Clemens Dubslaff, Bas Luttik:
Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022. EPTCS 355, 2022 [contents]
354João Marcos, Walther Neuper, Pedro Quaresma:
Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021, (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021. EPTCS 354, 2022 [contents]
353Ugo Dal Lago, Valeria de Paiva:
Proceedings Second Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity&TLLA@IJCAR-FSCD 2020, Online, 29-30 June 2020. EPTCS 353, 2021 [contents]
352Predrag Janicic, Zoltán Kovács:
Proceedings of the 13th International Conference on Automated Deduction in Geometry, ADG 2021, Hagenberg, Austria/virtual, September 15-17, 2021. EPTCS 352, 2021 [contents]
351Ana Sokolova
:
Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Hybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021. EPTCS 351, 2021 [contents]
350Berthold Hoffmann, Mark Minas:
Proceedings Twelfth International Workshop on Graph Computational Models, GCM@STAF 2021, Online, 22nd June 2021. EPTCS 350, 2021 [contents]
349Mario Gleirscher, Jaco van de Pol, Jim Woodcock:
Proceedings First Workshop on Applicable Formal Methods, AppFM@FM 2021, virtual, 23rd November 2021. EPTCS 349, 2021 [contents]
348Marie Farrell, Matt Luckcuck:
Proceedings Third Workshop on Formal Methods for Autonomous Systems, FMAS 2021, Virtual, October 21-22, 2021. EPTCS 348, 2021 [contents]
347Julien Lange, Anastasia Mavridou, Larisa Safina, Alceste Scalas
:
Proceedings 14th Interaction and Concurrency Experience, ICE 2021, Online, 18th June 2021. EPTCS 347, 2021 [contents]
346Pierre Ganty, Davide Bresolin:
Proceedings 12th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2021, Padua, Italy, 20-22 September 2021. EPTCS 346, 2021 [contents]
345Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts
, Alex Brik, Verónica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, Neng-Fa Zhou:
Proceedings 37th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2021, Porto (virtual event), 20-27th September 2021. EPTCS 345, 2021 [contents]
344Hossein Hojjat, Bishoksan Kafle:
Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2021, Virtual, 28th March 2021. EPTCS 344, 2021 [contents]
343Chris Heunen, Miriam Backens:
Proceedings 18th International Conference on Quantum Physics and Logic, QPL 2021, Gdansk, Poland, and online, 7-11 June 2021. EPTCS 343, 2021 [contents]
342Temur Kutsia:
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021. EPTCS 342, 2021 [contents]
341Alexei Lisitsa, Andrei P. Nemytykh:
Proceedings of the 9th International Workshop on Verification and Program Transformation, VPT@ETAPS 2021, Luxembourg, Luxembourg, 27th and 28th of March 2021. EPTCS 341, 2021 [contents]
340Benoît Valiron, Shane Mansfield, Pablo Arrighi, Prakash Panangaden:
Proceedings 17th International Conference on Quantum Physics and Logic, QPL 2020, Paris, France, June 2 - 6, 2020. EPTCS 340, 2021 [contents]
339Ornela Dardha, Valentina Castiglioni
:
Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, EXPRESS/SOS 2021, and 18th Workshop on Structural Operational SemanticsParis, France (online event), 23rd August 2021. EPTCS 339, 2021 [contents]
338José Proença, Andrei Paskevich:
Proceedings of the 6th Workshop on Formal Integrated Development Environment, F-IDE@NFM 2021, Held online, 24-25th May 2021. EPTCS 338, 2021 [contents]
337Elaine Pimentel
, Enrico Tassi:
Proceedings of the Sixteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2021, Pittsburgh, USA, 16th July 2021. EPTCS 337, 2021 [contents]
336Chantal Keller, Mathias Fleury:
Proceedings Seventh Workshop on Proof eXchange for Theorem Proving, PxTP 2021, Pittsburg, PA, USA, July 11, 2021. EPTCS 336, 2021 [contents]
335Joseph Y. Halpern, Andrés Perea:
Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021. EPTCS 335, 2021 [contents]
334Patrick Bahr:
Proceedings 11th International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD 2020, Online, 5th July 2020. EPTCS 334, 2021 [contents]
333David I. Spivak, Jamie Vicary:
Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, ACT 2020, Cambridge, USA, 6-10th July 2020. EPTCS 333, 2021 [contents]
332Claudio Sacerdoti Coen, Alwen Tiu:
Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP 2020, Paris, France, 29th June 2020. EPTCS 332, 2021 [contents]
331Thao Dang, Stefan Ratschan:
Proceedings 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT, SNR 2020, online, 31 August 2020. EPTCS 331, 2021 [contents]
330Berthold Hoffmann, Mark Minas:
Proceedings of the Eleventh International Workshop on Graph Computation Models, GCM@STAF 2020, Online-Workshop, 24th June 2020. EPTCS 330, 2020 [contents]
329Matt Luckcuck, Marie Farrell:
Proceedings Second Workshop on Formal Methods for Autonomous Systems, FMAS 2020, Virtual, December 7, 2020. EPTCS 329, 2020 [contents]
328Pedro Quaresma, Walther Neuper, João Marcos:
Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June 2020. EPTCS 328, 2020 [contents]
327Grant O. Passmore, Ruben Gamboa:
Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications, Worldwide, Planet Earth, May 28-29, 2020. EPTCS 327, 2020 [contents]
326Jean-François Raskin, Davide Bresolin:
Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020. EPTCS 326, 2020 [contents]
325Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca A. Lisi, Marco Maratea, Alessandra Mileo, Fabrizio Riguzzi:
Proceedings 36th International Conference on Logic Programming (Technical Communications), ICLP Technical Communications 2020, (Technical Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020. EPTCS 325, 2020 [contents]
324Julien Lange, Anastasia Mavridou, Larisa Safina, Alceste Scalas
:
Proceedings 13th Interaction and Concurrency Experience, ICE 2020, Online, 19 June 2020. EPTCS 324, 2020 [contents]
323John Baez, Bob Coecke:
Proceedings Applied Category Theory 2019, ACT 2019, University of Oxford, UK, 15-19 July 2019. EPTCS 323, 2020 [contents]
322Ornela Dardha, Jurriaan Rot:
Proceedings Combined 27th International Workshop on Expressiveness in Concurrency and 17th Workshop on Structural Operational Semantics, EXPRESS/SOS 2020, and 17th Workshop on Structural Operational SemanticsOnline, 31 August 2020. EPTCS 322, 2020 [contents]
321Jurriaan Hage
:
Proceedings Eighth and Ninth International Workshop on Trends in Functional Programming in Education, TFPIE 2020, Vancouver, Canada and Krakow, Poland, 11th June 2019 and 12th February 2020. EPTCS 321, 2020 [contents]
320Laurent Fribourg, Matthias Heizmann:
Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020. EPTCS 320, 2020 [contents]
319Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht
:
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, AREA@ECAI 2020, Virtual event, 4th September 2020. EPTCS 319, 2020 [contents]
318Bob Coecke, Matthew Leifer
:
Proceedings 16th International Conference on Quantum Physics and Logic, QPL 2019, Chapman University, Orange, CA, USA, June 10-14, 2019. EPTCS 318, 2020 [contents]
317Max S. New, Sam Lindley:
Proceedings Eighth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2020, Dublin, Ireland, 25th April 2020. EPTCS 317, 2020 [contents]
316Ansgar Fehnker
, Hubert Garavel:
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2020, Dublin, Ireland, April 26, 2020. EPTCS 316, 2020 [contents]
315Giuseppe Di Molfetta, Vivien M. Kendon, Yutaka Shikano:
Proceedings 9th International Conference on Quantum Simulation and Quantum Walks, QSQW 2020, Marseille, France, 20-24/01/2020. EPTCS 315, 2020 [contents]
314Stephanie Balzer, Luca Padovani:
Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020. EPTCS 314, 2020 [contents]
313Pedro Quaresma, Walther Neuper, João Marcos:
Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019. EPTCS 313, 2020 [contents]
312Alessandro Aldini
, Herbert Wiklicky:
Proceedings 16th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2019, Prague, Czech Republic, 7th April 2019. EPTCS 312, 2020 [contents]
311Martin Suda, Sarah Winkler
:
Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, ARCADE@CADE 2019, Natal, Brazil, August 26, 2019. EPTCS 311, 2019 [contents]
310Rosemary Monahan
, Virgile Prevosto
, José Proença
:
Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019. EPTCS 310, 2019 [contents]
309Rachid Echahed, Detlef Plump:
Proceedings Tenth International Workshop on Graph Computation Models, GCM@STAF 2019, Eindhoven, The Netherlands, 17th July 2019. EPTCS 309, 2019 [contents]
308Georgiana Caltais, Jean Krivine:
Proceedings of the 4th Workshop on Formal Reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2019, Prague, Czech Republic, 7th April 2019. EPTCS 308, 2019 [contents]
307Dale Miller, Ivan Scagnetto:
Proceedings of the Fourteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@LICS 2019, Vancouver, Canada, 22nd June 2019. EPTCS 307, 2019 [contents]
306Bart Bogaerts
, Esra Erdem, Paul Fodor, Andrea Formisano, Giovambattista Ianni, Daniela Inclezan, Germán Vidal, Alicia Villanueva
, Marina De Vos, Fangkai Yang:
Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019. EPTCS 306, 2019 [contents]
305Jérôme Leroux, Jean-François Raskin:
Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019, Bordeaux, France, 2-3rd September 2019. EPTCS 305, 2019 [contents]
304Massimo Bartoletti, Ludovic Henrio, Anastasia Mavridou, Alceste Scalas:
Proceedings 12th Interaction and Concurrency Experience, ICE 2019, Copenhagen, Denmark, 20-21 June 2019. EPTCS 304, 2019 [contents]
303Mircea Marin, Adrian Craciun:
Proceedings Third Symposium on Working Formal Methods, FROM 2019, Timişoara, Romania, 3-5 September 2019. EPTCS 303, 2019 [contents]
302Davide Ancona, Gordon Pace:
Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution, VORTEX@ECOOP/ISSTA 2018, Amsterdam, Netherlands, 17th July 2018. EPTCS 302, 2019 [contents]
301Giselle Reis, Haniel Barbosa
:
Proceedings Sixth Workshop on Proof eXchange for Theorem Proving, PxTP 2019, Natal, Brazil, August 26, 2019. EPTCS 301, 2019 [contents]
300Jorge A. Pérez, Jurriaan Rot:
Proceedings Combined 26th International Workshop on Expressiveness in Concurrency and 16th Workshop on Structural Operational Semantics, EXPRESS/SOS 2019, Amsterdam, The Netherlands, 26th August 2019. EPTCS 300, 2019 [contents]
299Alexei Lisitsa, Andrei P. Nemytykh:
Proceedings Seventh International Workshop on Verification and Program Transformation, VPT@Programming 2019, Genova, Italy, 2nd April 2019. EPTCS 299, 2019 [contents]
298Thomas Seiller, Steffen Jost:
Proceedings Third Joint Workshop on Developments in Implicit Computational complExity and Foundational & Practical Aspects of Resource Analysis, DICE-FOPARA@ETAPS 2019, Prague, Czech Republic, April 6-7, 2019. EPTCS 298, 2019 [contents]
297Lawrence S. Moss:
Proceedings Seventeenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2019, Toulouse, France, 17-19 July 2019. EPTCS 297, 2019 [contents]
296Emanuele De Angelis, Grigory Fedyukovich, Nikos Tzevelekos, Mattias Ulbrich
:
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, HCVS/PERR@ETAPS 2019, Prague, Czech Republic, 6-7th April 2019. EPTCS 296, 2019 [contents]
295Peter Achten, Heather Miller:
Proceedings Seventh International Workshop on Trends in Functional Programming in Education, TFPIE@TFP 2018, Chalmers University, Gothenburg, Sweden, 14th June 2018. EPTCS 295, 2019 [contents]
294Sam Lindley, Gabriel Scherer:
Proceedings ML Family / OCaml Users and Developers workshops, ML/OCaml 2017, Oxford, UK, 7th September 2017. EPTCS 294, 2019 [contents]
293Michele Pagani, Sandra Alves:
Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018. EPTCS 293, 2019 [contents]
292Thomas Ehrhard, Maribel Fernández, Valeria de Paiva, Lorenzo Tortora de Falco:
Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, Linearity-TLLA@FLoC 2018, Oxford, UK, 7-8 July 2018. EPTCS 292, 2019 [contents]
291Francisco Martins, Dominic Orchard:
Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2019, Prague, Czech Republic, 7th April 2019. EPTCS 291, 2019 [contents]
290Pedro Quaresma, Walther Neuper:
Proceedings 7th International Workshop on Theorem proving components for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom, 18 july 2018. EPTCS 290, 2019 [contents]
289Joachim Niehren, David Sabel:
Proceedings Fifth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2018, Oxford, England, 8th July 2018. EPTCS 289, 2019 [contents]
288Maribel Fernández, Ian Mackie:
Proceedings Tenth International Workshop on Computing with Terms and Graphs, TERMGRAPH@FSCD 2018, Oxford, UK, 7th July 2018. EPTCS 288, 2019 [contents]
287Peter Selinger, Giulio Chiribella:
Proceedings 15th International Conference on Quantum Physics and Logic, QPL 2018, Halifax, Canada, 3-7th June 2018. EPTCS 287, 2019 [contents]
286Bernd Finkbeiner, Samantha Kleinberg:
Proceedings 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology, CREST@ETAPS 2018, Thessaloniki, Greece, 21st April 2018. EPTCS 286, 2019 [contents]
285Kenichi Asai, Mark R. Shinwell:
Proceedings ML Family Workshop / OCaml Users and Developers workshops, ML/OCAML 2016, Nara, Japan, September 22-23, 2016. EPTCS 285, 2018 [contents]
284Paolo Masci
, Rosemary Monahan
, Virgile Prevosto
:
Proceedings 4th Workshop on Formal Integrated Development Environment, F-IDE@FLoC 2018, Oxford, England, 14 July 2018. EPTCS 284, 2018 [contents]
283Martha Lewis
, Bob Coecke, Jules Hedges, Dimitri Kartsaklis, Dan Marsden:
Proceedings of the 2018 Workshop on Compositional Approaches in Physics, NLP, and Social Sciences, CAPNS@QI 2018, Nice, France, 2nd-3rd September 2018. EPTCS 283, 2018 [contents]
282John Derrick
, Brijesh Dongol
, Steve Reeves
:
Proceedings 18th Refinement Workshop, Refine@FM 2018, Oxford, UK, 18th July 2018. EPTCS 282, 2018 [contents]
281Stefano Berardi, Alexandre Miquel:
Proceedings Seventh International Workshop on Classical Logic and Computation, CL&C 2018, Oxford (UK), 7th of July 2018. EPTCS 281, 2018 [contents]
280Shilpi Goel, Matt Kaufmann:
Proceedings of the 15th International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, November 5-6, 2018. EPTCS 280, 2018 [contents]
279Massimo Bartoletti, Sophia Knight:
Proceedings 11th Interaction and Concurrency Experience, ICE 2018, Madrid, Spain, June 20-21, 2018. EPTCS 279, 2018 [contents]
278Temesghen Kahsai, Germán Vidal:
Proceedings 5th Workshop on Horn Clauses for Verification and Synthesis, HCVS 2018, Oxford, UK, 13th July 2018. EPTCS 278, 2018 [contents]
277Andrea Orlandini, Martin Zimmermann
:
Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018. EPTCS 277, 2018 [contents]
276Jorge A. Pérez, Simone Tini:
Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics, EXPRESS/SOS 2018, Beijing, China, September 3, 2018. EPTCS 276, 2018 [contents]
275Robert Atkey, Sam Lindley:
Proceedings of the 7th Workshop on Mathematically Structured Functional Programming, MSFP@FSCD 2018, Oxford, UK, 8th July 2018. EPTCS 275, 2018 [contents]
274Frédéric Blanqui, Giselle Reis:
Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@FSCD 2018, Oxford, UK, 7th July 2018. EPTCS 274, 2018 [contents]
273Michael Cuffaro, Philippos Papayannopoulos:
Proceedings of the 9th International Workshop on Physics and Computation, PC@UCNC 2018, Fontainebleau, France, 26 June 2018. EPTCS 273, 2018 [contents]
272Simon Bliudze, Saddek Bensalem:
Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, Thessaloniki, Greece, 15th April 2018. EPTCS 272, 2018 [contents]
271Régine Laleau, Dominique Méry, Shin Nakajima, Elena Troubitsyna:
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/FM&MDD 2017, Xi'an, China, 16th November 2017. EPTCS 271, 2018 [contents]
270Simon Thompson:
Proceedings Sixth Workshop on Trends in Functional Programming in Education, TFPIE@TFP 2017, Canterbury, Kent UK, 22 June 2017. EPTCS 270, 2018 [contents]
269Mario Gleirscher, Stefan Kugele, Sven Linker:
Proceedings 2nd International Workshop on Safe Control of Autonomous Vehicles, SCAV@CPSWeek 2018, Porto, Portugal, 10th April 2018. EPTCS 269, 2018 [contents]
268John P. Gallagher, Rob van Glabbeek, Wendelin Serwe:
Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, MARS/VPT@ETAPS 2018, Thessaloniki, Greece, 20th April 2018. EPTCS 268, 2018 [contents]
267Pedro Quaresma, Walther Neuper:
Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017. EPTCS 267, 2018 [contents]
266Bob Coecke, Aleks Kissinger:
Proceedings 14th International Conference on Quantum Physics and Logic, QPL 2017, Nijmegen, The Netherlands, 3-7 July 2017. EPTCS 266, 2018 [contents]
265Horatiu Cirstea, David Sabel:
Proceedings Fourth International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2017, Oxford, UK, 8th September 2017. EPTCS 265, 2018 [contents]
264Danilo Pianini, Guido Salvaneschi:
Proceedings First Workshop on Architectures, Languages and Paradigms for IoT, ALP4IoT@iFM 2017, Turin, Italy, September 18, 2017. EPTCS 264, 2018 [contents]
263Timo Kehrer, Alice Miller:
Proceedings Third Workshop on Graphs as Models, GaM@ETAPS 2017, Uppsala, Sweden, 23rd April 2017. EPTCS 263, 2017 [contents]
262Catherine Dubois, Bruno Woltzenlogel Paleo:
Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, PxTP 2017, Brasília, Brazil, 23-24 September 2017. EPTCS 262, 2017 [contents]
261Massimo Bartoletti, Laura Bocchi, Ludovic Henrio, Sophia Knight:
Proceedings 10th Interaction and Concurrency Experience, ICE@DisCoTec 2017, Neuchâtel, Switzerland, 21-22nd June 2017. EPTCS 261, 2017 [contents]
260Dana Fisman, Swen Jacobs:
Proceedings Sixth Workshop on Synthesis, SYNT@CAV 2017, Heidelberg, Germany, 22nd July 2017. EPTCS 260, 2017 [contents]
259Alex Groce, Stefan Leue:
Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala, Sweden, 29th April 2017. EPTCS 259, 2017 [contents]
258Ekaterina Komendantskaya, John Power:
Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, CoALP-Ty 2016, Edinburgh, UK, 28-29 November 2016. EPTCS 258, 2017 [contents]
257Lukas Bulwahn, Maryam Kamali, Sven Linker:
Proceedings First Workshop on Formal Verification of Autonomous Vehicles, FVAV@iFM 2017, Turin, Italy, 19th September 2017. EPTCS 257, 2017 [contents]
256Patricia Bouyer, Andrea Orlandini, Pierluigi San Pietro:
Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2017, Roma, Italy, 20-22 September 2017. EPTCS 256, 2017 [contents]
255Kirstin Peters, Simone Tini:
Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics, EXPRESS/SOS 2017, Berlin, Germany, 4th September 2017. EPTCS 255, 2017 [contents]
254Adrian Francalanza, Gordon J. Pace:
Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@iFM 2017, Torino, Italy, 19 September 2017. EPTCS 254, 2017 [contents]
253Alexei Lisitsa, Andrei P. Nemytykh, Maurizio Proietti:
Proceedings Fifth International Workshop on Verification and Program Transformation, VPT@ETAPS 2017, Uppsala, Sweden, 29th April 2017. EPTCS 253, 2017 [contents]
252Erzsébet Csuhaj-Varjú, Pál Dömösi, György Vaszil:
Proceedings 15th International Conference on Automata and Formal Languages, AFL 2017, Debrecen, Hungary, September 4-6, 2017. EPTCS 252, 2017 [contents]
251Jérôme Lang:
Proceedings Sixteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2017, Liverpool, UK, 24-26 July 2017. EPTCS 251, 2017 [contents]
250Herbert Wiklicky, Erik P. de Vink:
Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL@ETAPS 2017, Uppsala, Sweden, 23rd April 2017. EPTCS 250, 2017 [contents]
249Anna Slobodová, Warren A. Hunt Jr.:
Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications, Austin, Texas, USA, May 22-23, 2017. EPTCS 249, 2017 [contents]
248Guillaume Bonfante, Georg Moser:
Proceedings 8th Workshop on Developments in Implicit Computational Complexity and 5th Workshop on Foundational and Practical Aspects of Resource Analysis, DICE-FOPARA@ETAPS 2017, Uppsala, Sweden, April 22-23, 2017. EPTCS 248, 2017 [contents]
247Erika Ábrahám, Sergiy Bogomolov:
Proceedings 3rd International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@ETAPS 2017, Uppsala, Sweden, 22nd April 2017. EPTCS 247, 2017 [contents]
246Vasco T. Vasconcelos, Philipp Haller:
Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2017, Uppsala, Sweden, 29th April 2017. EPTCS 246, 2017 [contents]
245Jan Kofron, Jana Tumova:
Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA@ETAPS 2017, Uppsala, Sweden, 22nd April 2017. EPTCS 245, 2017 [contents]
244Holger Hermanns
, Peter Höfner:
Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017. EPTCS 244, 2017 [contents]
243Sujata Ghosh, R. Ramanujam:
Proceedings of the Ninth Workshop on Methods for Modalities, M4M@ICLA 2017, Indian Institute of Technology, Kanpur, India, 8th to 10th January 2017. EPTCS 243, 2017 [contents]
242Naoki Kobayashi:
Proceedings Eighth Workshop on Intersection Types and Related Systems, ITRS 2016, Porto, Portugal, 26th June 2016. EPTCS 242, 2017 [contents]
241Jeremy Yallop, Damien Doligez:
Proceedings ML Family / OCaml Users and Developers workshops, ML Family/OCaml 2015, Vancouver, Canada, 3rd & 4th September 2015. EPTCS 241, 2017 [contents]
240Catherine Dubois, Paolo Masci
, Dominique Méry:
Proceedings of the Third Workshop on Formal Integrated Development Environment, F-IDE@FM 2016, Limassol, Cyprus, November 8, 2016. EPTCS 240, 2017 [contents]
239Serge Autexier, Pedro Quaresma:
Proceedings of the 12th Workshop on User Interfaces for Theorem Provers, UITP 2016, Coimbra, Portugal, 2nd July 2016. EPTCS 239, 2017 [contents]
238Iliano Cervesato, Maribel Fernández:
Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016. EPTCS 238, 2017 [contents]
237Alicia Villanueva:
Proceedings XVI Jornadas sobre Programación y Lenguajes, PROLE 2016, Salamanca, Spain, 14-16th September 2016. EPTCS 237, 2017 [contents]
236Ross Duncan
, Chris Heunen:
Proceedings 13th International Conference on Quantum Physics and Logic, QPL 2016, Glasgow, Scotland, 6-10 June 2016. EPTCS 236, 2017 [contents]
235Horatiu Cirstea, Santiago Escobar:
Proceedings Third International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal, 23rd June 2016. EPTCS 235, 2017 [contents]
234Sibylle Schwarz, Janis Voigtländer
:
Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, WLP 2015 / WLP 2016 / WFLP 2016, Dresden and Leipzig, Germany, 22nd September 2015 and 12-14th September 2016. EPTCS 234, 2017 [contents]
233Jan Bouda, Lukás Holík, Jan Kofron, Jan Strejcek, Adam Rambousek:
Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, MEMICS 2016, Telč, Czech Republic, 21st-23rd October 2016. EPTCS 233, 2016 [contents]
232Mehdi Kargahi, Ashutosh Trivedi:
Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, V2CPS@IFM 2016, Reykjavík, Iceland, June 4-5, 2016. EPTCS 232, 2016 [contents]
231Alexander Heußner, Aleks Kissinger, Anton Wijs
:
Proceedings Second Graphs as Models Workshop, GaM@ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016. EPTCS 231, 2016 [contents]
230Johan Jeuring, Jay McCarthy:
Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, TFPIE 2016, Sophia-Antipolis, France, and University of Maryland, College Park, MD, USA, June 2, 2015, and June 7, 2016. EPTCS 230, 2016 [contents]
229Ruzica Piskac, Rayna Dimitrova:
Proceedings Fifth Workshop on Synthesis, SYNT@CAV 2016, Toronto, Canada, July 17-18, 2016. EPTCS 229, 2016 [contents]
228Razieh Behjati
, Ahmed Elmokashfi:
Proceedings of the First International Workshop on Formal Methods for and on the Cloud, iFMCloud@IFM 2016, Reykjavik, Iceland, 4th June 2016. EPTCS 228, 2016 [contents]
227Mirco Tribastone, Herbert Wiklicky:
Proceedings 14th International Workshop Quantitative Aspects of Programming Languages and Systems, QAPL 2016, Eindhoven, The Netherlands, April 2-3, 2016. EPTCS 227, 2016 [contents]
226Domenico Cantone, Giorgio Delzanno:
Proceedings of the Seventh International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2016, Catania, Italy, 14-16 September 2016. EPTCS 226, 2016 [contents]
225Andrea Corradini
, Hans Zantema:
Proceedings 9th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2016, Eindhoven, The Netherlands, April 8, 2016. EPTCS 225, 2016 [contents]
224Gregor Gößler, Oleg Sokolsky
:
Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016. EPTCS 224, 2016 [contents]
223Massimo Bartoletti
, Ludovic Henrio, Sophia Knight
, Hugo Torres Vieira:
Proceedings 9th Interaction and Concurrency Experience, ICE 2016, Heraklion, Greece, 8-9 June 2016. EPTCS 223, 2016 [contents]
222Daniel Gebler, Kirstin Peters
:
Proceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational Semantics, EXPRESS/SOS 2016, Québec City, Canada, 22nd August 2016. EPTCS 222, 2016 [contents]
221Dimitrios Kartsaklis, Martha Lewis
, Laura Rimell:
Proceedings of the 2016 Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science, SLPCS@QPL 2016, Glasgow, Scotland, 11th June 2016. EPTCS 221, 2016 [contents]
220Thomas Brihaye, Benoît Delahaye
, Loïg Jezequel
, Nicolas Markey, Jirí Srba:
Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters, Cassting/SynCoP 2016, Eindhoven, The Netherlands, April 2-3, 2016. EPTCS 220, 2016 [contents]
219John P. Gallagher
, Philipp Rümmer:
Proceedings 3rd Workshop on Horn Clauses for Verification and Synthesis, HCVS@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. EPTCS 219, 2016 [contents]
218Alessio Lomuscio
, Moshe Y. Vardi:
Proceedings of the 4th International Workshop on Strategic Reasoning, SR 2016, New York City, USA, 10th July 2016. EPTCS 218, 2016 [contents]
217Maurice H. ter Beek
, Michele Loreti
:
Proceedings of the Workshop on FORmal methods for the quantitative Evaluation of Collective Adaptive SysTems, FORECAST@STAF 2016, Vienna, Austria, 8 July 2016. EPTCS 217, 2016 [contents]
216Geoff W. Hamilton
, Alexei Lisitsa, Andrei P. Nemytykh:
Proceedings of the Fourth International Workshop on Verification and Program Transformation, VPT@ETAPS 2016, Eindhoven, The Netherlands, 2nd April 2016. EPTCS 216, 2016 [contents]
215R. Ramanujam:
Proceedings Fifteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2015, Carnegie Mellon University, Pittsburgh, USA, June 4-6, 2015. EPTCS 215, 2016 [contents]
214Alastair A. Abbott, Dominic C. Horsman:
Proceedings of the 7th International Workshop on Physics and Computation, PC 2016, Manchester, UK, 14 July 2016. EPTCS 214, 2016 [contents]
213Ulrich Kohlenbach, Steffen van Bakel, Stefano Berardi:
Proceedings Sixth International Workshop on Classical Logic and Computation, CL&C 2016, Porto, Portugal , 23th June 2016. EPTCS 213, 2016 [contents]
212Olivier Danvy
, Ugo de'Liguoro:
Proceedings of the Workshop on Continuations, WoC 2016, London, UK, April 12th 2015. EPTCS 212, 2016 [contents]
211Dominic A. Orchard
, Nobuko Yoshida
:
Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, Eindhoven, The Netherlands, 8th April 2016. EPTCS 211, 2016 [contents]
210Jasmin Christian Blanchette, Cezary Kaliszyk
:
Proceedings First International Workshop on Hammers for Type Theories, HaTT@IJCAR 2016, Coimbra, Portugal, July 1, 2016. EPTCS 210, 2016 [contents]
209John Derrick
, Eerke A. Boiten, Steve Reeves
:
Proceedings 17th International Workshop on Refinement, Refine@FM 2015, Oslo, Norway, 22nd June 2015. EPTCS 209, 2016 [contents]
208Luca Aceto, Adrian Francalanza
, Anna Ingólfsdóttir:
Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, PrePost@IFM 2016, Reykjavík, Iceland, 4th June 2016. EPTCS 208, 2016 [contents]
207Robert Atkey, Neelakantan R. Krishnaswami:
Proceedings 6th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2016, Eindhoven, Netherlands, 8th April 2016. EPTCS 207, 2016 [contents]
206Julia Rubin, Thomas Thüm:
Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, FMSPLE@ETAPS 2016, Eindhoven, The Netherlands, April 3, 2016. EPTCS 206, 2016 [contents]
205Jan Kofron
, Jana Tumova, Bara Buhnova
:
Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA@ETAPS 2016, Eindhoven, The Netherlands, 3rd April 2016. EPTCS 205, 2016 [contents]
204César A. Muñoz, Jorge A. Pérez
:
Proceedings of the Eleventh International Workshop on Developments in Computational Models, DCM 2015, Cali, Colombia, October 28, 2015. EPTCS 204, 2016 [contents]
203Simon Gay, Jade Alglave:
Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015, London, UK, 18th April 2015. EPTCS 203, 2016 [contents]
202Pavol Cerný, Viktor Kuncak
, Parthasarathy Madhusudan:
Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA, 18th July 2015. EPTCS 202, 2016 [contents]
201José Proença
, Massimo Tivoli
:
Proceedings 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2015, Madrid, Spain, 5th September 2015. EPTCS 201, 2015 [contents]
199Alexei Lisitsa, Andrei P. Nemytykh, Alberto Pettorossi
:
Proceedings of the Third International Workshop on Verification and Program Transformation, VPT@ETAPS 2015, London, United Kingdom, 11th April 2015. EPTCS 199, 2015 [contents]
198Oleg Kiselyov, Jacques Garrigue:
Proceedings ML Family/OCaml Users and Developers workshops, ML/OCaml 2014, Gothenburg, Sweden, September 4-5, 2014. EPTCS 198, 2015 [contents]
197Iliano Cervesato, Carsten Schürmann:
Proceedings First International Workshop on Focusing, WoF 2015, Suva, Fiji, 23rd November 2015. EPTCS 197, 2015 [contents]
196Rob J. van Glabbeek, Jan Friso Groote
, Peter Höfner:
Proceedings Workshop on Models for Formal Analysis of Real Systems, MARS 2015, Suva, Fiji, November 23, 2015. EPTCS 196, 2015 [contents]
195Chris Heunen, Peter Selinger, Jamie Vicary:
Proceedings 12th International Workshop on Quantum Physics and Logic, QPL 2015, Oxford, UK, July 15-17, 2015. EPTCS 195, 2015 [contents]
194Nathalie Bertrand
, Mirco Tribastone:
Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2015, London, UK, 11th-12th April 2015. EPTCS 194, 2015 [contents]
193Javier Esparza
, Enrico Tronci
:
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015. EPTCS 193, 2015 [contents]
192Matt Kaufmann, David L. Rager:
Proceedings Thirteenth International Workshop on the ACL2 Theorem Prover and Its Applications, Austin, Texas, USA, 1-2 October 2015. EPTCS 192, 2015 [contents]
191Ralph Matthes
, Matteo Mio:
Proceedings Tenth International Workshop on Fixed Points in Computer Science, FICS 2015, Berlin, Germany, September 11-12, 2015. EPTCS 191, 2015 [contents]
190Silvia Crafa, Daniel Gebler:
Proceedings of the Combined 22th International Workshop on Expressiveness in Concurrency and 12th Workshop on Structural Operational Semantics, EXPRESS/SOS 2015, Madrid, Spain, 31st August 2015. EPTCS 190, 2015 [contents]
189Sophia Knight
, Ivan Lanese, Alberto Lluch-Lafuente
, Hugo Torres Vieira:
Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015. EPTCS 189, 2015 [contents]
188Maurice H. ter Beek, Alberto Lluch-Lafuente
:
Proceedings 11th International Workshop on Automated Specification and Verification of Web Systems, WWV 2015, Oslo, Norway, 23rd June 2015. EPTCS 188, 2015 [contents]
187Catherine Dubois, Paolo Masci
, Dominique Méry:
Proceedings Second International Workshop on Formal Integrated Development Environment, F-IDE 2015, Oslo, Norway, June 22, 2015. EPTCS 187, 2015 [contents]
186Cezary Kaliszyk
, Andrei Paskevich:
Proceedings Fourth Workshop on Proof eXchange for Theorem Proving, PxTP 2015, Berlin, Germany, August 2-3, 2015. EPTCS 186, 2015 [contents]
185Iliano Cervesato, Kaustuv Chaudhuri:
Proceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and Practice, LFMTP 2015, Berlin, Germany, 1 August 2015. EPTCS 185, 2015 [contents]
184Jun Pang, Yang Liu, Sjouke Mauw
:
Proceedings 4th International Workshop on Engineering Safety and Security Systems, ESSS 2015, Oslo, Norway, June 22, 2015. EPTCS 184, 2015 [contents]
183Aart Middeldorp, Femke van Raamsdonk:
Proceedings 8th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2014, Vienna, Austria, July 13, 2014. EPTCS 183, 2015 [contents]
182Joanne M. Atlee, Stefania Gnesi:
Proceedings 6th Workshop on Formal Methods and Analysis in SPL Engineering, FMSPLE@ETAPS 2015, London, UK, 11 April 2015. EPTCS 182, 2015 [contents]
181Arend Rensink
, Eduardo Zambon:
Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April 2015. EPTCS 181, 2015 [contents]
180Nikolay V. Pakulin
, Alexander K. Petrenko, Bernd-Holger Schlingloff:
Proceedings Tenth Workshop on Model Based Testing, MBT 2015, London, UK, 18th April 2015. EPTCS 180, 2015 [contents]
179Ugo Dal Lago, Russ Harmer:
Proceedings Tenth International Workshop on Developments in Computational Models, DCM 2014, Vienna, Austria, 13th July 2014. EPTCS 179, 2015 [contents]
178Bara Buhnova, Lucia Happe
, Jan Kofron:
Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015. EPTCS 178, 2015 [contents]
177Jakob Rehof:
Proceedings Seventh Workshop on Intersection Types and Related Systems, ITRS 2014, Vienna, Austria, 18 July 2014. EPTCS 177, 2015 [contents]
176Sandra Alves, Iliano Cervesato:
Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014. EPTCS 176, 2015 [contents]
175Javier Cámara, José Proença
:
Proceedings 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, FOCLASA 2014, Rome, Italy, 6th September 2014. EPTCS 175, 2015 [contents]
174Manuela-Luminita Bujorianu, Rafael Wisniewski:
Proceedings 4th Workshop on Hybrid Autonomous Systems, HAS 2014, Grenoble, France, 12-13 April 2014. EPTCS 174, 2015 [contents]
173Santiago Escobar
:
Proceedings XIV Jornadas sobre Programación y Lenguajes, PROLE 2014, Cadiz, Spain, September 16-19, 2014. EPTCS 173, 2015 [contents]
172Bob Coecke, Ichiro Hasuo
, Prakash Panangaden:
Proceedings of the 11th workshop on Quantum Physics and Logic, QPL 2014, Kyoto, Japan, 4-6th June 2014. EPTCS 172, 2014 [contents]
171Bob Coecke, Matty J. Hoban:
Proceedings of the 10th International Workshop on Quantum Physics and Logic, QPL 2013, Castelldefels (Barcelona), Spain, July 17-19, 2013. EPTCS 171, 2014 [contents]
170James L. Caldwell
, Philip K. F. Hölzenspies, Peter Achten:
Proceedings 3rd International Workshop on Trends in Functional Programming in Education, TFPIE 2014, Soesterberg, The Netherlands, 25th May 2014. EPTCS 170, 2014 [contents]
169Nikolaj S. Bjørner, Fabio Fioravanti, Andrey Rybalchenko, Valerio Senni:
Proceedings First Workshop on Horn Clauses for Verification and Synthesis, HCVS 2014, Vienna, Austria, 17 July 2014. EPTCS 169, 2014 [contents]
168Marcello Maria Bersani, Davide Bresolin
, Luca Ferrucci
, Manuel Mazzara
:
Proceedings First Workshop on Logics and Model-checking for Self-* Systems, MOD* 2014, Bertinoro, Italy, 12th September 2014. EPTCS 168, 2014 [contents]
167Christoph Benzmüller, Bruno Woltzenlogel Paleo:
Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, UITP 2014, Vienna, Austria, 17th July 2014. EPTCS 167, 2014 [contents]
166Ivan Lanese, Alberto Lluch-Lafuente
, Ana Sokolova
, Hugo Torres Vieira:
Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014. EPTCS 166, 2014 [contents]
165Joaquín García-Alfaro
, Gürkan Gür:
Proceedings 2014 International Workshop on Advanced Intrusion Detection and Prevention, AIDP 2014, Marrakesh, Morocco, June 2014. EPTCS 165, 2014 [contents]
164Paulo Oliva:
Proceedings Fifth International Workshop on Classical Logic and Computation, CL&C 2014, Vienna, Austria, July 13, 2014. EPTCS 164, 2014 [contents]
163Maurice H. ter Beek, António Ravara:
Proceedings 10th International Workshop on Automated Specification and Verification of Web Systems, WWV 2014, Vienna, Austria, July 18, 2014. EPTCS 163, 2014 [contents]
162Marco Carbone:
Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014. EPTCS 162, 2014 [contents]
161Adriano Peron, Carla Piazza
:
Proceedings Fifth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2014, Verona, Italy, September 10-12, 2014. EPTCS 161, 2014 [contents]
160Johannes Borgström, Silvia Crafa:
Proceedings Combined 21st International Workshop on Expressiveness in Concurrency, EXPRESS 2014, and 11th Workshop on Structural Operational Semantics, SOS 2014, Rome, Italy, 1st September 2014. EPTCS 160, 2014 [contents]
159Dragan Bosnacki, Stefan Edelkamp, Alberto Lluch-Lafuente
, Anton Wijs
:
Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2014, Grenoble, France, 5th April 2014. EPTCS 159, 2014 [contents]
158Ross Duncan, Prakash Panangaden:
Proceedings 9th Workshop on Quantum Physics and Logic, QPL 2012, Brussels, Belgium, 10-12 October 2012. EPTCS 158, 2014 [contents]
157Krishnendu Chatterjee, Rüdiger Ehlers, Susmit Jha:
Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014. EPTCS 157, 2014 [contents]
156Shang-Wei Lin, Laure Petrucci
:
Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications, FSFMA 2014, Singapore, 13th May 2014. EPTCS 156, 2014 [contents]
155Alastair F. Donaldson, Vasco T. Vasconcelos:
Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2014, Grenoble, France, 12 April 2014. EPTCS 155, 2014 [contents]
154Nathalie Bertrand
, Luca Bortolussi
:
Proceedings Twelfth International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, Grenoble, France, 12-13 April 2014. EPTCS 154, 2014 [contents]
153Paul Blain Levy, Neel Krishnaswami:
Proceedings 5th Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2014, Grenoble, France, 12 April 2014. EPTCS 153, 2014 [contents]
152Freek Verbeek, Julien Schmaltz:
Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, Vienna, Austria, 12-13th July 2014. EPTCS 152, 2014 [contents]
151Zoltán Ésik, Zoltán Fülöp
:
Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014. EPTCS 151, 2014 [contents]
150Jun Pang, Yang Liu:
Proceedings Third International Workshop on Engineering Safety and Security Systems, ESSS 2014, Singapore, Singapore, 13 May 2014. EPTCS 150, 2014 [contents]
149Catherine Dubois, Dimitra Giannakopoulou, Dominique Méry:
Proceedings 1st Workshop on Formal Integrated Development Environment, F-IDE 2014, Grenoble, France, April 6, 2014. EPTCS 149, 2014 [contents]
148Barbara Kordy, Sjouke Mauw
, Wolter Pieters:
Proceedings First International Workshop on Graphical Models for Security, GraMSec 2014, Grenoble, France, April 12, 2014. EPTCS 148, 2014 [contents]
147Barbora Buhnova, Lucia Happe
, Jan Kofron:
Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2014, Grenoble, France, 12th April 2014. EPTCS 147, 2014 [contents]
146Fabio Mogavero
, Aniello Murano, Moshe Y. Vardi:
Proceedings 2nd International Workshop on Strategic Reasoning, SR 2014, Grenoble, France, April 5-6, 2014. EPTCS 146, 2014 [contents]
145Étienne André
, Goran Frehse
:
Proceedings 1st International Workshop on Synthesis of Continuous Parameters, SynCoP 2014, Grenoble, France, 6th April 2014. EPTCS 145, 2014 [contents]
144Mauricio Ayala-Rincón
, Eduardo Bonelli, Ian Mackie:
Proceedings 9th International Workshop on Developments in Computational Models, DCM 2013, Buenos Aires, Argentina, 26 August 2013. EPTCS 144, 2014 [contents]
143Benedikt Löwe, Glynn Winskel:
Proceedings 8th International Workshop on Developments in Computational Models, DCM 2012, Cambridge, United Kingdom, 17 June 2012. EPTCS 143, 2014 [contents]
142Bernd Finkbeiner, Armando Solar-Lezama
:
Proceedings Second Workshop on Synthesis, SYNT 2013, Saint Petersburg, Russia, July 13th and July 14th, 2013. EPTCS 142, 2014 [contents]
141Holger Schlingloff, Alexander K. Petrenko:
Proceedings Ninth Workshop on Model-Based Testing, MBT 2014, Grenoble, France, 6 April 2014. EPTCS 141, 2014 [contents]
140Lukás Holík
, Lorenzo Clemente:
Proceedings 15th International Workshop on Verification of Infinite-State Systems, INFINITY 2013, Hanoi, Vietnam, 14th October 2013. EPTCS 140, 2014 [contents]
139Nazareno Aguirre, Leila Ribeiro:
Proceedings First Latin American Workshop on Formal Methods, LAFM 2013, Buenos Aires, Argentina, August 26th 2013. EPTCS 139, 2014 [contents]
138Anton Wijs
, Dragan Bosnacki, Stefan Edelkamp:
Proceedings 2nd Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2013, Rome, Italy, March 24, 2013. EPTCS 138, 2013 [contents]
137Nobuko Yoshida
, Wim Vanderbauwhede:
Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013. EPTCS 137, 2013 [contents]
136Philip K. F. Hölzenspies:
Proceedings Second Workshop on Trends in Functional Programming In Education, TFPIE 2013, Provo, Utah, USA, 13th May 2013. EPTCS 136, 2013 [contents]
135Pieter Van Gorp
, Louis M. Rose, Christian Krause:
Proceedings Sixth Transformation Tool Contest, TTC 2013, Budapest, Hungary, 19-20 June, 2013. EPTCS 135, 2013 [contents]
134Sebastian Maneth:
Proceedings Second International Workshop on Trends in Tree Automata and Tree Transducers, TTATT 2013, Hanoi, Vietnam, 19/10/2013. EPTCS 134, 2013 [contents]
133Kim G. Larsen
, Axel Legay, Ulrik Nyman
:
Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013. EPTCS 133, 2013 [contents]
132Keren Censor-Hillel, Valerie King:
Proceedings Ninth International Workshop on Foundations of Mobile Computing, FOMC 2013, Jerusalem, Israel, October 17-18, 2013. EPTCS 132, 2013 [contents]
131Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente
, Ana Sokolova
:
Proceedings 6th Interaction and Concurrency Experience, ICE 2013, Florence, Italy, 6th June 2013. EPTCS 131, 2013 [contents]
130Alex Graudenzi, Giulio Caravagna, Giancarlo Mauri, Marco Antoniotti:
Proceedings Wivace 2013 - Italian Workshop on Artificial Life and Evolutionary Computation, Milan, Italy, July 1-2, 2013. EPTCS 130, 2013 [contents]
129Anindya Banerjee, Olivier Danvy, Kyung-Goo Doh, John Hatcliff:
Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, Manhattan, Kansas, USA, 19-20th September 2013. EPTCS 129, 2013 [contents]
128Turlough Neary, Matthew Cook:
Proceedings Machines, Computations and Universality 2013, MCU 2013, Zürich, Switzerland, September 9-11, 2013. EPTCS 128, 2013 [contents]
127Ugo de'Liguoro, Alexis Saurin:
Proceedings First Workshop on Control Operators and their Semantics, COS 2013, Eindhoven, The Netherlands, June 24-25, 2013. EPTCS 127, 2013 [contents]
126David Baelde
, Arnaud Carayol:
Proceedings Workshop on Fixed Points in Computer Science, FICS 2013, Turino, Italy, September 1st, 2013. EPTCS 126, 2013 [contents]
125Thao Dang, Carla Piazza
:
Proceedings Second International Workshop on Hybrid Systems and Biology, HSB 2013, Taormina, Italy, 2nd September 2013. EPTCS 125, 2013 [contents]
124Luca Bortolussi
, Manuela-Luminita Bujorianu, Giordano Pola:
Proceedings Third International Workshop on Hybrid Autonomous Systems, HAS 2013, Rome, Italy, 17th March 2013. EPTCS 124, 2013 [contents]
123António Ravara, Josep Silva:
Proceedings 9th International Workshop on Automated Specification and Verification of Web Systems, WWV 2013, Florence, Italy, 6th June 2013. EPTCS 123, 2013 [contents]
122Adel Bouhoula, Tetsuo Ida, Fairouz Kamareddine:
Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012. EPTCS 122, 2013 [contents]
121Stéphane Graham-Lengrand, Luca Paolini
:
Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012. EPTCS 121, 2013 [contents]
120Johannes Borgström, Bas Luttik:
Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, EXPRESS/SOS 2013, Buenos Aires, Argentina, 26th August, 2013. EPTCS 120, 2013 [contents]
119Gabriele Puppis
, Tiziano Villa:
Proceedings Fourth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, 29-31th August 2013. EPTCS 119, 2013 [contents]
118Cezary Kaliszyk
, Christoph Lüth:
Proceedings 10th International Workshop On User Interfaces for Theorem Provers, UITP 2012, Bremen, Germany, July 11th, 2012. EPTCS 118, 2013 [contents]
117Luca Bortolussi
, Herbert Wiklicky:
Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2013, Rome, Italy, March 23-24, 2013. EPTCS 117, 2013 [contents]
116Ion Petre:
Proceedings Fourth International Workshop on Computational Models for Cell Processes, CompMod 2013, Turku, Finland, 11th June 2013. EPTCS 116, 2013 [contents]
115John Derrick
, Eerke A. Boiten, Steve Reeves
:
Proceedings 16th International Refinement Workshop, Refine@IFM 2013, Turku, Finland, 11th June 2013. EPTCS 115, 2013 [contents]
114Ruben Gamboa, Jared Davis:
Proceedings International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2013, Laramie, Wyoming, USA, May 30-31, 2013. EPTCS 114, 2013 [contents]
113Delia Kesner, Petrucio Viana:
Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2012, Rio de Janeiro, Brazil, September 29-30, 2012. EPTCS 113, 2012 [contents]
112Fabio Mogavero
, Aniello Murano, Moshe Y. Vardi:
Proceedings 1st International Workshop on Strategic Reasoning, SR 2013, Rome, Italy, March 16-17, 2013. EPTCS 112, 2013 [contents]
111Alexander K. Petrenko, Holger Schlingloff
:
Proceedings Eighth Workshop on Model-Based Testing, MBT 2013, Rome, Italy, 17th March 2013. EPTCS 111, 2013 [contents]
110Rachid Echahed, Detlef Plump:
Proceedings 7th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2013, Rome, Italy, 23th March 2013. EPTCS 110, 2013 [contents]
109Simon J. Gay, Paul Kelly:
Proceedings Fifth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2012, Tallinn, Estonia, 31 March 2012. EPTCS 109, 2012 [contents]
108Barbora Buhnova, Lucia Happe
, Jan Kofron:
Proceedings 10th International Workshop on Formal Engineering Approaches to Software Components and Architectures, FESCA 2013, Rome, Italy, March 23, 2013. EPTCS 108, 2013 [contents]
107Mohamed Faouzi Atig, Ahmed Rezine:
Proceedings 14th International Workshop on Verification of Infinite-State Systems, Infinity 2012, Paris, France, 27th August 2012. EPTCS 107, 2012 [contents]
106Marco T. Morazán, Peter Achten:
Proceedings First International Workshop on Trends in Functional Programming in Education, TFPIE 2012, University of St. Andrews, Scotland, UK, 11th June 2012. EPTCS 106, 2012 [contents]
105Peter Csaba Ölveczky, Cyrille Artho:
Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2012, Kyoto, Japan, November 12, 2012. EPTCS 105, 2012 [contents]
104Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova:
Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012. EPTCS 104, 2012 [contents]
103Uli Fahrenberg, Axel Legay, Claus R. Thrane:
Proceedings Quantities in Formal Methods, QFM 2012, Paris, France, 28 August 2012. EPTCS 103, 2012 [contents]
102Franck Cassez, Ralf Huuck, Gerwin Klein, Bastian Schlich:
Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012. EPTCS 102, 2012 [contents]
101Sandra Alves, Ian Mackie:
Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012. EPTCS 101, 2012 [contents]
100Gabriel Ciobanu
:
Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012. EPTCS 100, 2012 [contents]
99Anton Wijs
, Dragan Bosnacki, Stefan Edelkamp:
Proceedings First Workshop on GRAPH Inspection and Traversal Engineering, GRAPHITE 2012, Tallinn, Estonia, 1st April 2012. EPTCS 99, 2012 [contents]
98Josep Silva
, Francesco Tiezzi:
Proceedings 8th International Workshop on Automated Specification and Verification of Web Systems, WWV 2012, Stockholm, Sweden, 16th July 2012. EPTCS 98, 2012 [contents]
97Herman Geuvers, Ugo de'Liguoro:
Proceedings Fourth Workshop on Classical Logic and Computation, CL&C 2012, Warwick, England, 8th July 2012. EPTCS 97, 2012 [contents]
96Marco Faella, Aniello Murano:
Proceedings Third International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2012, Napoli, Italy, September 6-8, 2012. EPTCS 96, 2012 [contents]
95Bart Jacobs, Peter Selinger, Bas Spitters
:
Proceedings 8th International Workshop on Quantum Physics and Logic, QPL 2011, Nijmegen, Netherlands, October 27-29, 2011. EPTCS 95, 2011 [contents]
94Gordon J. Pace
, Anders P. Ravn:
Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2012, Bertinoro, Italy, 19 September 2012. EPTCS 94, 2012 [contents]
93Ulrike Golas
, Thomas Soboll:
Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, ACCAT 2012, Tallinn, Estonia, 1 April 2012. EPTCS 93, 2012 [contents]
92Ezio Bartocci
, Luca Bortolussi:
Proceedings First International Workshop on Hybrid Systems and Biology, HSB 2012, Newcastle Upon Tyne, UK, 3rd September 2012. EPTCS 92, 2012 [contents]
91Natallia Kokash, António Ravara:
Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012, Newcastle, U.K., September 8, 2012. EPTCS 91, 2012 [contents]
90Enrico Formenti:
Proceedings 18th international workshop on Cellular Automata and Discrete Complex Systems and 3rd international symposium Journées Automates Cellulaires, AUTOMATA & JAC 2012, La Marana, Corsica, September 19-21, 2012. EPTCS 90, 2012 [contents]
89Bas Luttik, Michel A. Reniers:
Proceedings Combined 19th International Workshop on Expressiveness in Concurrency and 9th Workshop on Structured Operational Semantics, EXPRESS/SOS 2012, Newcastle upon Tyne, UK, September 3, 2012. EPTCS 89, 2012 [contents]
88Elham Kashefi, Jean Krivine, Femke van Raamsdonk:
Proceedings 7th International Workshop on Developments of Computational Methods, DCM 2011, Zurich, Switzerland, 3rd July 2011. EPTCS 88, 2011 [contents]
87Sebastian S. Bauer, Jean-Baptiste Raclet:
Proceedings Fourth Workshop on Foundations of Interface Technologies, FIT 2012, Tallinn, Estonia, 25th March 2012. EPTCS 87, 2012 [contents]
86César Andrés, Luis Llana:
Proceedings 2nd Workshop on Formal Methods in the Development of Software, WS-FMDS 2012, Paris, France, August 28, 2012. EPTCS 86, 2012 [contents]
85Herbert Wiklicky, Mieke Massink:
Proceedings 10th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2012, Tallinn, Estonia, 31 March and 1 April 2012. EPTCS 85, 2012 [contents]
84Doron A. Peled, Sven Schewe
:
Proceedings First Workshop on Synthesis, SYNT 2012, Berkeley, California, USA, 7th and 8th July 2012. EPTCS 84, 2012 [contents]
83Jeremy W. Bryans, John S. Fitzgerald:
Proceedings Third Workshop on Formal Aspects of Virtual Organisations, FAVO 2011, Sao Paolo, Brazil, 18th October 2011. EPTCS 83, 2011 [contents]
82Santiago Escobar
:
Proceedings 10th International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2011, Novi Sad, Serbia, 29 May 2011. EPTCS 82, 2011 [contents]
81Simona Ronchi Della Rocca, Elaine Pimentel:
Proceedings 6th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2011, Belo Horizonte, Brazil, 27 August 2011. EPTCS 81, 2011 [contents]
80Alexander K. Petrenko, Holger Schlingloff:
Proceedings 7th Workshop on Model-Based Testing, MBT 2012, Tallinn, Estonia, 25 March 2012. EPTCS 80, 2012 [contents]
79Pedro Quaresma
, Ralph-Johan Back:
Proceedings First Workshop on CTP Components for Educational Software, THedu'11, Wroclaw, Poland, 31th July 2011. EPTCS 79, 2011 [contents]
78Johannes Reich, Bernd Finkbeiner:
Proceedings Second International Workshop on Interactions, Games and Protocols, IWIGP 2012, Tallinn, Estonia, 25th March 2012. EPTCS 78, 2012 [contents]
77Dale Miller
, Zoltán Ésik:
Proceedings 8th Workshop on Fixed Points in Computer Science, FICS 2012, Tallinn, Estonia, 24th March 2012. EPTCS 77, 2012 [contents]
76James Chapman
, Paul Blain Levy:
Proceedings Fourth Workshop on Mathematically Structured Functional Programming, MSFP@ETAPS 2012, Tallinn, Estonia, 25 March 2012. EPTCS 76, 2012 [contents]
75Jean-Yves Marion:
Proceedings Second Workshop on Developments in Implicit Computational Complexity, Saarbrücken, DICE 2011, Germany, April 2nd and 3rd, 2011. EPTCS 75, 2011 [contents]
74Pieter Van Gorp
, Steffen Mazanek, Louis M. Rose:
Proceedings Fifth Transformation Tool Contest, TTC 2011, Zürich, Switzerland, June 29-30 2011. EPTCS 74, 2011 [contents]
73Fang Yu, Chao Wang:
Proceedings 13th International Workshop on Verification of Infinite-State Systems, INFINITY 2011, Taipei, Taiwan, 10th October 2011. EPTCS 73, 2011 [contents]
72Jiri Barnat, Keijo Heljanko
:
Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2011, Snowbird, Utah, USA, July 14, 2011. EPTCS 72, 2011 [contents]
71Herman Geuvers, Gopalan Nadathur:
Proceedings Sixth International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2011, Nijmegen, The Netherlands, August 26, 2011. EPTCS 71, 2011 [contents]
70David S. Hardin, Julien Schmaltz:
Proceedings 10th International Workshop on the ACL2 Theorem Prover and its Applications, ACL2 2011, Austin, Texas, USA, November 3-4, 2011. EPTCS 70, 2011 [contents]
69Kohei Honda, Alan Mycroft:
Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010. EPTCS 69, 2010 [contents]
68Ernesto Pimentel, Valentín Valero:
Proceedings Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2011, Málaga, Spain, 22nd and 23rd September 2011. EPTCS 68, 2011 [contents]
67Ion Petre
, Erik P. de Vink:
Proceedings Third International Workshop on Computational Models for Cell Processes, CompMod 2011, Aachen, Germany, September 10, 2011. EPTCS 67, 2011 [contents]
66Olivier Danvy, Chung-chieh Shan:
Proceedings IFIP Working Conference on Domain-Specific Languages, DSL 2011, Bordeaux, France, 6-8th September 2011. EPTCS 66, 2011 [contents]
65Conrad Drescher, Inês Lynce, Ralf Treinen:
Proceedings Second Workshop on Logics for Component Configuration, LoCoCo 2011, Perugia, Italy, 12th September 2011. EPTCS 65, 2011 [contents]
64Bas Luttik, Frank Valencia:
Proceedings 18th International Workshop on Expressiveness in Concurrency, EXPRESS 2011, Aachen, Germany, 5th September 2011. EPTCS 64, 2011 [contents]
63Petr Ambroz, Stepan Holub, Zuzana Masáková:
Proceedings 8th International Conference Words 2011, Prague, Czech Republic, 12-16th September 2011. EPTCS 63, 2011 [contents]
62Michel A. Reniers, Pawel Sobocinski:
Proceedings Eight Workshop on Structural Operational Semantics 2011, SOS 2011, Aachen, Germany, 5th September 2011. EPTCS 62, 2011 [contents]
61Laura Kovács
, Rosario Pugliese
, Francesco Tiezzi:
Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, WWV 2011, Reykjavik, Iceland, 9th June 2011. EPTCS 61, 2011 [contents]
60Luca Aceto, Mohammad Reza Mousavi:
Proceedings First International Workshop on Process Algebra and Coordination, PACO 2011, Reykjavik, Iceland, 9th June 2011. EPTCS 60, 2011 [contents]
59Alexandra Silva, Simon Bliudze, Roberto Bruni, Marco Carbone:
Proceedings Fourth Interaction and Concurrency Experience, ICE 2011, Reykjavik, Iceland, 9th June 2011. EPTCS 59, 2011 [contents]
58Mohammad Reza Mousavi, António Ravara
:
Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011, Aachen, Germany, 10th September, 2011. EPTCS 58, 2011 [contents]
57Mieke Massink, Gethin Norman:
Proceedings Ninth Workshop on Quantitative Aspects of Programming Languages, QAPL 2011, Saarbrücken, Germany, April 1-3, 2011. EPTCS 57, 2011 [contents]
56Francisco Durán, Vlad Rusu:
Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, AMMSE 2011, Zurich, Switzerland, 30th June 2011. EPTCS 56, 2011 [contents]
55John Derrick, Eerke A. Boiten, Steve Reeves:
Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011. EPTCS 55, 2011 [contents]
54Giovanna D'Agostino
, Salvatore La Torre:
Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2011, Minori, Italy, 15-17th June 2011. EPTCS 54, 2011 [contents]
53Tom Hirschowitz:
Proceedings Types for Proofs and Programs, Revised Selected Papers, TYPES 2009, Aussois, France, 12-15th May 2009. EPTCS 53, 2009 [contents]
52Farid M. Ablayev
, Bob Coecke, Alexander Vasiliev:
Proceedings CSR 2010 Workshop on High Productivity Computations, HPC 2010, Kazan, Russia, June 21-22, 2010. EPTCS 52, 2010 [contents]
51Konstantinos Chatzikokolakis, Véronique Cortier:
Proceedings 8th International Workshop on Security Issues in Concurrency, SecCo 2010, Paris, France, 30th August 2010. EPTCS 51, 2010 [contents]
50Johannes Reich, Bernd Finkbeiner:
Proceedings International Workshop on Interactions, Games and Protocols, iWIGP 2011, Saarbrücken, Germany, 27th March 2011. EPTCS 50, 2011 [contents]
49Eduardo Bonelli:
Proceedings 5th International Workshop on Higher-Order Rewriting, HOR 2010, Edinburgh, UK, July 14, 2010. EPTCS 49, 2010 [contents]
48Rachid Echahed:
Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011. EPTCS 48, 2011 [contents]
47Steffen van Bakel, Stefano Berardi, Ulrich Berger:
Proceedings Third International Workshop on Classical Logic and Computation, CL&C 2010, Brno, Czech Republic, 21-22 August 2010. EPTCS 47, 2010 [contents]
46Axel Legay, Benoît Caillaud:
Proceedings Foundations for Interface Technologies, FIT 2010, Paris, France, 30th August 2010. EPTCS 46, 2010 [contents]
45Elaine Pimentel, Betti Venneri, Joe B. Wells:
Proceedings Fifth Workshop on Intersection Types and Related Systems, ITRS 2010, Edinburgh, U.K., 9th July 2010. EPTCS 45, 2010 [contents]
44Hélène Kirchner, César A. Muñoz:
Proceedings International Workshop on Strategies in Rewriting, Proving, and Programming, IWS 2010, Edinburgh, UK, 9th July 2010. EPTCS 44, 2010 [contents]
43Ana Bove
, Ekaterina Komendantskaya, Milad Niqui:
Proceedings Workshop on Partiality and Recursion in Interactive Theorem Provers, PAR 2010, Edinburgh, UK, 15th July 2010. EPTCS 43, 2010 [contents]
42Maribel Fernández:
Proceedings 24th International Workshop on Unification, UNIF 2010, Edinburgh, United Kingdom, 14th July 2010. EPTCS 42, 2010 [contents]
41Sibylle B. Fröschle, Frank D. Valencia:
Proceedings 17th International Workshop on Expressiveness in Concurrency, EXPRESS'10, Paris, France, August 30th, 2010. EPTCS 41, 2010 [contents]
40Gabriel Ciobanu, Maciej Koutny:
Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010. EPTCS 40, 2010 [contents]
39Yu-Fang Chen, Ahmed Rezine:
Proceedings 12th International Workshop on Verification of Infinite-State Systems, INFINITY 2010, Singapore, Singapore, 21st September 2010. EPTCS 39, 2010 [contents]
38Simon Bliudze, Roberto Bruni, Davide Grohmann, Alexandra Silva:
Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, ICE 2010, Amsterdam, The Netherlands, 10th of June 2010. EPTCS 38, 2010 [contents]
37Javier Cámara, Carlos Canal, Gwen Salaün:
Proceedings International Workshop on Component and Service Interoperability, WCSI 2010, Málaga, Spain, 29th June 2010. EPTCS 37, 2010 [contents]
36Peter Csaba Ölveczky:
Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems, RTRTS 2010, Longyearbyen, Norway, April 6-9, 2010. EPTCS 36, 2010 [contents]
35Gwen Salaün, Xiang Fu, Sylvain Hallé:
Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software, TAV-WEB 2010, Antwerp, Belgium, 21 September 2010. EPTCS 35, 2010 [contents]
34Karl Crary, Marino Miculan
:
Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2010, Edinburgh, UK, 14th July 2010. EPTCS 34, 2010 [contents]
33Paolo Milazzo, Mario de J. Pérez-Jiménez:
Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology, AMCA-POP 2010, Jena, Germany, 25th August 2010. EPTCS 33, 2010 [contents]
32Luca Aceto, Pawel Sobocinski:
Proceedings Seventh Workshop on Structural Operational Semantics, SOS 2010, Paris, France, 30 August 2010. EPTCS 32, 2010 [contents]
31Ian McQuillan, Giovanni Pighizzini:
Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010. EPTCS 31, 2010 [contents]
30Mohammad Reza Mousavi, Gwen Salaün:
Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2010, Paris, France, 4th September 2010. EPTCS 30, 2010 [contents]
29Inês Lynce, Ralf Treinen:
Proceedings First International Workshop on Logics for Component Configuration, LoCoCo 2010, Edinburgh, UK, 10th July 2010. EPTCS 29, 2010 [contents]
28Alessandra Di Pierro, Gethin Norman:
Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, QAPL 2010, Paphos, Cyprus, 27-28th March 2010. EPTCS 28, 2010 [contents]
27Tom Van Cutsem
, Mark S. Miller:
Proceedings First International Workshop on Decentralized Coordination of Distributed Processes, DCDP 2010, Amsterdam, The Netherlands, 10th June 2010. EPTCS 27, 2010 [contents]
26S. Barry Cooper, Prakash Panangaden, Elham Kashefi:
Proceedings Sixth Workshop on Developments in Computational Models: Causality, Computation, and Physics, DCM 2010, Edinburgh, Scotland, 9-10th July 2010. EPTCS 26, 2010 [contents]
25Angelo Montanari, Margherita Napoli, Mimmo Parente:
Proceedings First Symposium on Games, Automata, Logic, and Formal Verification, GANDALF 2010, Minori (Amalfi Coast), Italy, 17-18th June 2010. EPTCS 25, 2010 [contents]
24Xizhong Zheng, Ning Zhong:
Proceedings Seventh International Conference on Computability and Complexity in Analysis, CCA 2010, Zhenjiang, China, 21-25th June 2010. EPTCS 24, 2010 [contents]
23Patrick Baillot:
Proceedings International Workshop on Developments in Implicit Computational complExity, DICE 2010, Paphos, Cyprus, 27-28th March 2010. EPTCS 23, 2010 [contents]
22Mário Florido
, Ian Mackie:
Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009. EPTCS 22, 2009 [contents]
21Ian Mackie, Anamaria Martins Moreira:
Proceedings Tenth International Workshop on Rule-Based Programming, RULE 2009, Brasília, Brazil, 28th June 2009. EPTCS 21, 2009 [contents]
20Manuela-Luminita Bujorianu, Michael Fisher:
Proceedings FM-09 Workshop on Formal Methods for Aerospace, FMA 2009, Eindhoven, The Netherlands, 3rd November 2009. EPTCS 20, 2009 [contents]
19Emanuela Merelli, Paola Quaglia:
Proceedings Third Workshop From Biology To Concurrency and back, FBTC 2010, Paphos, Cyprus, 27th March 2010. EPTCS 19, 2010 [contents]
18Bartek Klin, Pawel Sobocinski:
Proceedings Sixth Workshop on Structural Operational Semantics, SOS 2009, Bologna, Italy, August 31, 2009. EPTCS 18, 2009 [contents]
17Alastair R. Beresford, Simon J. Gay:
Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009. EPTCS 17, 2009 [contents]
16Jeremy W. Bryans, John S. Fitzgerald:
Proceedings Second Workshop on Formal Aspects of Virtual Organisations, FAVO 2009, Eindhoven, The Netherlands, 3rd November 2009. EPTCS 16, 2009 [contents]
15Maribel Fernández:
Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, WRS 2009, Brasilia, Brazil, 28th June 2009. EPTCS 15, 2009 [contents]
14Lubos Brim, Jaco van de Pol:
Proceedings 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, Eindhoven, The Netherlands, 4th November 2009. EPTCS 14, 2009 [contents]
13Suzana Andova, Annabelle McIver
, Pedro R. D'Argenio
, Pieter J. L. Cuijpers
, Jasen Markovski, Carroll Morgan, Manuel Núñez
:
Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, QFM 2009, Eindhoven, The Netherlands, 3rd November 2009. EPTCS 13, 2009 [contents]
12Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto:
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions, ICE 2009, Bologna, Italy, 31st August 2009. EPTCS 12, 2009 [contents]
11Gabriel Ciobanu
:
Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2009, Bologna, Italy, 5th September 2009. EPTCS 11, 2009 [contents]
10Axel Legay:
Proceedings International Workshop on Verification of Infinite-State Systems, INFINITY 2009, Bologna, Italy, 31th August 2009. EPTCS 10, 2009 [contents]
9S. Barry Cooper, Vincent Danos:
Proceedings Fifth Workshop on Developments in Computational Models--Computational Models From Nature, DCM 2009, Rhodes, Greece, 11th July 2009. EPTCS 9, 2009 [contents]
8Sibylle B. Fröschle, Daniele Gorla
:
Proceedings 16th International Workshop on Expressiveness in Concurrency, EXPRESS 2009, Bologna, Italy, 5th September 2009. EPTCS 8, 2009 [contents]
7Michele Boreale
, Steve Kremer
:
Proceedings 7th International Workshop on Security Issues in Concurrency, SECCO 2009, Bologna, Italy, 5th September 2009. EPTCS 7, 2009 [contents]
6Ralph-Johan Back, Ion Petre
, Erik P. de Vink:
Proceedings Second International Workshop on Computational Models for Cell Processes, COMPMOD 2009, Eindhoven, the Netherlands, November 3, 2009. EPTCS 6, 2009 [contents]
5Yves Deville, Christine Solnon:
Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, LSCS 2009, Lisbon, Portugal, 20 September 2009. EPTCS 5, 2009 [contents]
4Evangelos Markakis, Ioannis Milis:
Proceedings Fourth Athens Colloquium on Algorithms and Complexity, ACAC 2009, Athens, Greece, August 20-21, 2009. EPTCS 4, 2009 [contents]
3Jürgen Dassow, Giovanni Pighizzini, Bianca Truthe:
Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, DCFS 2009, Magdeburg, Germany, July 6-9, 2009. EPTCS 3, 2009 [contents]
2Maurice H. ter Beek:
Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing, YR-SOC 2009, Pisa, Italy, 17-19th June 2009. EPTCS 2, 2009 [contents]
1Turlough Neary, Damien Woods, Anthony Karel Seda, Niall Murphy:
Proceedings International Workshop on The Complexity of Simple Programs, CSP 2008, Cork, Ireland, 6-7th December 2008. EPTCS 1, 2009 [contents]

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














