Electronic Proceedings in Theoretical Computer Science 2025: all accepted papers
- Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software ↗Farzaneh Derakhshan, Jan Hoffmann
- Proceedings 16th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software ↗Farzaneh Derakhshan, Jan Hoffmann
- Proceedings 18th Interaction and Concurrency Experience ↗Clément Aubert, Cinzia Di Giusto, Simon Fowler et al.
- Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications ↗Ruben A. Gamboa, Panagiotis Manolios
- Proceedings 40th International Conference on Logic Programming ↗Vineel Tummala, Daniela Inclezan
- Proceedings 40th International Conference on Logic Programming ↗Esteban Guerrero, Juan Carlos Nieves
- Proceedings 40th International Conference on Logic Programming ↗Long Tran, Tran Cao Son, Dylan Flynn et al.
- Proceedings 40th International Conference on Logic Programming ↗Elena Mastria, Domenico Pagliaro, Francesco Calimeri et al.
- Proceedings 40th International Conference on Logic Programming ↗Yanhong A. Liu, Scott D. Stoller, Yi Tong et al.
- Proceedings 40th International Conference on Logic Programming ↗Denise Angilica, Giovambattista Ianni, Francesco Pacenza et al.
- Proceedings 40th International Conference on Logic Programming ↗Nils Küchenmeister, Alex Ivliev, Markus Krötzsch
- Proceedings 9th edition of Working Formal Methods Symposium ↗Andrei Arusoaie, Horaţiu Cheval, Radu Iosif
- Proceedings First Workshop on Adaptable Cloud Architectures ↗Giuseppe De Palma, Saverio Giallorenzo
- Proceedings Seventh International Conference on Applied Category Theory 2024 ↗Michael Johnson, David Jaz Myers
- Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems ↗Matt Luckcuck, Maike Schwammberger, Mengwei Xu
- Proceedings The 13th International Workshop on Theorem proving components for Educational software ↗Julien Narboux, Walther Neuper, Pedro Quaresma
- Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge ↗Christopher Kops, Hans J. M. Peters, Dries Vermeulen
- Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge ↗Christian W. Bach, Stephan Jagau
- Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge ↗Itai Arieli, Yakov Babichenko, Omer Madmon et al.
- Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications ↗Haniel Barbosa, Christophe Ringeissen
- Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice ↗Kaustuv Chaudhuri, Daniele Nantes-Sobrinho
- Proceedings of the 12th Workshop on Horn Clauses for Verification and Synthesis ↗Emanuele De Angelis, Florian Frohn
- Proceedings of the 15th International Workshop on Non-Classical Models of Automata and Applications ↗Nelma Moreira, Luca Prigioniero
- Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications ↗Cynthia Kop, Hélida Santos
- Proceedings of the 22nd International Conference on Quantum Physics and Logic ↗Alejandro Díaz-Caro, Ognyan Oreshkov, Ana Belén Sainz
- Proceedings of the First International Workshop on Autonomous Systems Quality Assurance and Prediction with Digital Twins ↗Marsha Chećhik, Arianna Fedeli, Gianluca Filippone et al.
- Proceedings of the Fourteenth and Fifteenth International Workshop on Graph Computation Models ↗Jörg Endrullis, Dominik Grzelak, Tobias Heindel et al.
- Proceedings of the International Workshop on Verification of Scientific Software ↗Stephen F. Siegel, Ganesh Lalitha Gopalakrishnan
- Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification ↗Giorgio Bacci, Adrian Francalanza
- ProofBuddy—How it Started, How it's Going— ↗Nadine Karsten, Kim Jana Eiken, Uwe Nestmann
- Properties of UTxO Ledgers and Programs Implemented on Them ↗Polina Vinogradova, Alexey Sorokin
- Proto-Quipper with Reversing and Control ↗Peng Fu, Kohei Kishida, Neil J. Ross et al.
- Quantitative Algebraic Reasoning ↗Radu Mardare
- Query Answering in Lattice-based Description Logic ↗Krishna Manoorkar, Ruoding Wang
- RV32I in ACL2 ↗Carl Kwan
- Reactive Semantics for User Interface Description Languages ↗Basile Pesin, Célia Picard, Cyril Allignol
- Representing Knowledge and Querying Data using Double-Functorial Semantics ↗Michael Lambert, Evan Patterson
- Reverse Faà di Bruno's Formula for Cartesian Reverse Differential Categories ↗Aaron Biggin, Jean-Simon Pacaud Lemay
- Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains ↗Diana C. Benjumea, Marie Farrell, Louise A. Dennis
- Scalable Pattern Matching in Computation Graphs ↗Luca Mondada, Pablo Andrés-Martínez
- Sequent Calculi for Data-Aware Modal Logics ↗Carlos Areces, Valentín Cassano, Danae Dutto et al.
- Skating System Unveiled: Exploring Preference Aggregation in Ballroom Tournaments ↗Laryssa Horn, Paul Nüsken, Jörg Rothe et al.
- Solving Four Open Problems about Core Stability in Altruistic Hedonic Games ↗Jörg Rothe, Ildikó Schlotter
- Solving Symbolic Constraints ↗Temur Kutsia
- Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling ↗Alper Altuntas, Allison H. Baker, John W. Baugh et al.
- Static Communication Analysis for Hardware Design ↗Mads Rosendahl, Maja H. Kirkeby
- Substitution Without Copy and Paste ↗Thorsten Altenkirch, Nathaniel Burke, Philip L. Wadler
- Teaching Introductory Functional Programming Using Haskelite ↗Pedro B. Vasconcelos
- Termination Modulo Commutativity for Nominal Systems (Work in Progress) ↗Daniella Santaguida
- The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract) ↗Luca Aceto A, Antonis Achilleos, Aggeliki Chalki et al.
- The Complexity of Generalized HyperLTL with Stuttering and Contexts ↗Gaëtan Regaud, Martin Zimmermann
- The Limit of Recursion in State-based Systems ↗Bahareh Afshari, Giacomo Barlucchi, Graham E. Leigh
- Theta as a Horn Solver ↗Levente Bajczi, Milán Mondok, Vince Molnár
- Towards Richer Challenge Problems for Scientific Computing Correctness ↗Matthew J. Sottile, Mohit Tekriwal, John Sarracino
- Towards an Analysis of Proofs in Arithmetic ↗Alexander Leitsch, Anela Lolić, Stella Mahler
- Type Theory with Single Substitutions ↗Ambrus Kaposi, Szumi Xie
- Unique Solutions of Guarded Recursive Equations ↗Rob van Glabbeek
- Validating Solidity Code Defects using Symbolic and Concrete Execution powered by Large Language Models ↗Ştefan-Claudiu Susan, Andrei Arusoaie, Dorel Lucanu
- Verifying a Sparse Matrix Algorithm Using Symbolic Execution ↗Alexander C. Wilton
- Who is Afraid of Minimal Revision? ↗Edoardo Baccini, Zoé Christoff, Nina Gierasimczuk et al.
This page in Markdown → https://md.research.elamur.ai/free/en/venues/electronic-proceedings-in-theoretical-computer-science/2025/papers/page/3/