Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDElectronic Proceedings in Theoretical Computer Science (EPTCS)
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, and 19th Workshop on Structural Operational Semantics 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, 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] - 266