default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLeibniz International Proceedings in Informatics (LIPIcs)
- LIPIcs Home Page @ Schloss Dagstuhl - Leibniz Center for Informatics
- LIPIcs Volumes
- ... more Dagstuhl publications on DBLP
395Aggelos Kiayias
, Maria Kyropoulou:
8th Conference on Advances in Financial Technologies, AFT 2026, London, UK, October 6-9, 2026. LIPIcs 395, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-451-2 [contents]- 394Robert Feldt, Maria Paasivaara, Daniel Méndez, Stefan Wagner, Marvin Muñoz Barón:
20th International Symposium on Empirical Software Engineering and Measurement, ESEM 2026, Munich, Germany, October 8-9, 2026. LIPIcs 394, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-450-5 [contents] - 393Sabine Timpf, Gabriele Filomena, Armand Kapaj, Rui Zhu, Nicholas A. Giudice, Ed Manley:
17th International Conference on Spatial Information Theory, COSIT 2026, York, UK, September 22-25, 2026. LIPIcs 393, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-438-3 [contents] - 392Mohit Singh, Tom Gur:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX 2026, Boston University, Boston, Massachusetts, USA, and RANDOM 2026, Boston University, Boston, Massachusetts, USA, August 19-21, 2026, August 19-21, 2026. LIPIcs 392, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-449-9 [contents] - 391Ana Sokolova, Patrick Totzke:
37th International Conference on Concurrency Theory, CONCUR 2026, Liverpool, UK, September 1-4, 2026. LIPIcs 391, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-447-5 [contents] - 390Nadia El-Mabrouk, Fabio Vandin:
26th International Conference on Algorithms for Bioinformatics, WABI 2026, L'Aquila, Italy, August 31 - September 2, 2026. LIPIcs 390, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-446-8 [contents] - 389Rotem Arnon Friedman, Aram W. Harrow:
21st Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2026, Sherbrooke, Québec, Canada, August 31 - September 4, 2026. LIPIcs 389, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-439-0 [contents] - 388Philip Bille, Seth Pettie, Sabine Storandt:
34th Annual European Symposium on Algorithms, ESA 2026, L'Aquila, Italy, August 31 - September 4, 2026. LIPIcs 388, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-445-1 [contents] - 387Dominic Scalise, Robert Schweller:
32nd International Conference on DNA Computing and Molecular Programming, DNA 2026, Fayetteville, Arkansas, US, August 3-7, 2026. LIPIcs 387, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-444-4 [contents] - 386Michal Koucký, Daniela Petrisan:
51st International Symposium on Mathematical Foundations of Computer Science, MFCS 2026, Paris, France, August 24-28, 2026. LIPIcs 386, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-442-0 [contents] - 385Yevgeniy Dodis:
7th Conference on Information-Theoretic Cryptography, ITC 2026, University of California, Santa Barbara, CA, USA, August 15-16, 2026. LIPIcs 385, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-426-0 [contents] - 384Fredrik Nordvall Forsberg, James McKinna:
31st International Conference on Types for Proofs and Programs, TYPES 2025, University of Strathclyde, Glasgow, Scotland, UK, June 9-13, 2025. LIPIcs 384, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-441-3 [contents] - 383Dana Moshkovitz:
41st Computational Complexity Conference, CCC 2026, Lisbon, Portugal, August 3-6, 2026. LIPIcs 383, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-437-6 [contents] - 382Ekaterina Komendantskaya, Tobias Nipkow:
17th International Conference on Interactive Theorem Proving, ITP 2026, Lisbon, Portugal, July 26-29, 2026. LIPIcs 382, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-436-9 [contents] - 381Konstantinos Panagiotou:
37th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, AofA 2026, Munich, Germany, June 22-26, 2026. LIPIcs 381, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-435-2 [contents] - 380Claudia Faggian, Joost-Pieter Katoen:
41st Annual Symposium on Logic in Computer Science, LICS 2026, Lisbon, Portugal, July 20-23, 2026. LIPIcs 380, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-434-5 [contents] - 379Nicolas Beldiceanu:
32nd International Conference on Principles and Practice of Constraint Programming, CP 2026, Lisbon, Portugal, July 20-23, 2026. LIPIcs 379, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-432-1 [contents] - 378Frank Pfenning:
11th International Conference on Formal Structures for Computation and Deduction, FSCD 2026, Lisbon, Portugal, July 20-23, 2026. LIPIcs 378, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-433-8 [contents] - 377Alexey Ignatiev, Stefan Szeider:
29th International Conference on Theory and Applications of Satisfiability Testing, SAT 2026, Lisbon, Portugal, July 20-23, 2026. LIPIcs 377, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-431-4 [contents] - 376Jan Goedgebeur, Pawel Rzazewski:
52nd International Workshop on Graph-Theoretic Concepts in Computer Science, WG 2026, Kortrijk, Belgium, June 2-4, 2026. LIPIcs 376, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-430-7 [contents] - 375Angeliki Kritikakou:
38th European Conference on Real-Time Systems, ECRTS 2026, Lund, Sweden, July 7-10, 2026. LIPIcs 375, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-429-1 [contents] - 374Sayan Bhattacharya, Danupon Nanongkai, Michael Benedikt, Gabriele Puppis:
53rd International Colloquium on Automata, Languages, and Programming, ICALP 2026, Royal Holloway, University of London, Egham, United Kingdom, July 7-10, 2026. LIPIcs 374, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-428-4 [contents] - 373George B. Mertzios, Andréa W. Richa:
5th Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2026, Le Havre, France, July 1-3, 2026. LIPIcs 373, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-427-7 [contents] - 372Robbert Krebbers, Alexandra Silva:
40th European Conference on Object-Oriented Programming, ECOOP 2026, Brussels, Belgium, June 29 - July 3, 2026. LIPIcs 372, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-423-9 [contents] - 371Martin Aumüller, Irene Finocchi:
24th International Symposium on Experimental Algorithms, SEA 2026, Copenhagen, Denmark, June 22-24, 2026. LIPIcs 371, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-422-2 [contents] - 370Pierre Fraigniaud:
20th Scandinavian Symposium on Algorithm Theory, SWAT 2026, Copenhagen, Denmark, June 17-19, 2026. LIPIcs 370, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-421-5 [contents] - 369Philip Bille, Nicola Prezza:
37th Annual Symposium on Combinatorial Pattern Matching, CPM 2026, Copenhagen, Denmark, June 15-17, 2026. LIPIcs 369, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-420-8 [contents] - 368Huijia (Rachel) Lin:
7th Symposium on Foundations of Responsible Computing, FORC 2026, Harvard University, Cambridge, MA, USA, June 3-5, 2026. LIPIcs 368, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-419-2 [contents] - 367Hee-Kap Ahn, Michael Hoffmann, Amir Nayyeri:
42nd International Symposium on Computational Geometry, SoCG 2026, New Brunswick, NJ, USA, June 2-5, 2026. LIPIcs 367, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-418-5 [contents] - 366John Iacono:
13th International Conference on Fun with Algorithms, FUN 2026, Porquerolles, France, May 18-22, 2026. LIPIcs 366, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-417-8 [contents] - 365Balder ten Cate, Maurice Funk:
29th International Conference on Database Theory, ICDT 2026, Tampere, Finland, March 24-27, 2026. LIPIcs 365, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-413-0 [contents] - 364Meena Mahajan, Florin Manea, Annabelle McIver, Kim Thang Nguyen:
43rd International Symposium on Theoretical Aspects of Computer Science, STACS 2026, Grenoble, France, March 9-13, 2026. LIPIcs 364, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-412-3 [contents] - 363Stefano Guerrini, Barbara König:
34th EACSL Annual Conference on Computer Science Logic, CSL 2026, Paris, France, February 23-28, 2026. LIPIcs 363, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-411-6 [contents] - 362Shubhangi Saraf:
17th Innovations in Theoretical Computer Science Conference, ITCS 2026, Bocconi University, Milan, Italy, January 27-30, 2026. LIPIcs 362, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-410-9 [contents] - 361Andrei Arusoaie, Emanuel Onica, Michael Spear, Sara Tucci Piergiovanni:
29th International Conference on Principles of Distributed Systems, OPODIS 2025, Iaşi, Romania, December 3-5, 2025. LIPIcs 361, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2026, ISBN 978-3-95977-409-3 [contents] - 360C. Aiswarya, Ruta Mehta, Subhajit Roy:
45th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2025, BITS Pilani, K K Birla Goa Campus, India, December 17-19, 2025. LIPIcs 360, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-406-2 [contents] - 359Ho-Lin Chen, Wing-Kai Hon, Meng-Tsung Tsai:
36th International Symposium on Algorithms and Computation, ISAAC 2025, Tainan, Taiwan, December 7-10, 2025. LIPIcs 359, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-408-6 [contents] - 358Akanksha Agrawal, Erik Jan van Leeuwen:
20th International Symposium on Parameterized and Exact Computation, IPEC 2025, Warsaw, Poland, September 17-19, 2025. LIPIcs 358, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-407-9 [contents] - 357Vida Dujmovic, Fabrizio Montecchiani:
33rd International Symposium on Graph Drawing and Network Visualization, GD 2025, Norrköping, Sweden, September 24-26, 2025. LIPIcs 357, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-403-1 [contents] - 356Dariusz R. Kowalski:
39th International Symposium on Distributed Computing, DISC 2025, Berlin, Germany, October 27-31, 2025. LIPIcs 356, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-402-4 [contents] - 355Thierry Vidal, Przemyslaw Andrzej Walega:
32nd International Symposium on Temporal Representation and Reasoning, TIME 2025, Queen Mary University of London, UK, August 27-29, 2025. LIPIcs 355, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-401-7 [contents] - 354Zeta Avarikioti, Nicolas Christin:
7th Conference on Advances in Financial Technologies, AFT 2025, Pittsburgh, PA, USA, October 8-10, 2025. LIPIcs 354, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-400-0 [contents] - 353Alina Ene, Eshan Chattopadhyay:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2025, Berkeley, CA, USA, August 11-13, 2025. LIPIcs 353, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-397-3 [contents] - 352Yannick Forster, Chantal Keller:
16th International Conference on Interactive Theorem Proving, ITP 2025, Reykjavik, Iceland, September 28 - October 1, 2025. LIPIcs 352, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-396-6 [contents] - 351Anne Benoit, Haim Kaplan, Sebastian Wild, Grzegorz Herman:
33rd Annual European Symposium on Algorithms, ESA 2025, Warsaw, Poland, September 15-17, 2025. LIPIcs 351, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-395-9 [contents] - 350Bill Fefferman:
20th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2025, Indian Institute of Science, Bengaluru, India, September 15-19, 2025. LIPIcs 350, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-392-8 [contents] - 349Pat Morin, Eunjin Oh:
19th International Symposium on Algorithms and Data Structures, WADS 2025, York University, Toronto, Canada, August 11-15, 2025. LIPIcs 349, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-398-0 [contents] - 348Patricia Bouyer, Jaco van de Pol:
36th International Conference on Concurrency Theory, CONCUR 2025, Aarhus, Denmark, August 26-29, 2025. LIPIcs 348, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-389-8 [contents] - 347Josie Schaeffer, Fei Zhang:
31st International Conference on DNA Computing and Molecular Programming, DNA 2025, Lyon, France, August 25-29, 2025. LIPIcs 347, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-399-7 [contents] - 346Katarzyna Sila-Nowicka, Antoni Moore, David O'Sullivan, Benjamin Adams, Mark Gahegan:
13th International Conference on Geographic Information Science, GIScience 2025, Christchurch, New Zealand, August 26-29, 2025. LIPIcs 346, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-378-2 [contents] - 345Pawel Gawrychowski, Filip Mazowiecki, Michal Skrzypczak:
50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025, Warsaw, Poland, August 25-29, 2025. LIPIcs 345, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-388-1 [contents] - 344Brona Brejová, Rob Patro:
25th International Conference on Algorithms for Bioinformatics, WABI 2025, University of Maryland, College Park, MD, USA, August 20-22, 2025. LIPIcs 344, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-386-7 [contents] - 343Niv Gilboa:
6th Conference on Information-Theoretic Cryptography, ITC 2025, University of California, Santa Barbara, CA, USA, August 16-17, 2025. LIPIcs 343, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-385-0 [contents] - 342Corina Cîrstea, Alexander Knapp:
11th Conference on Algebra and Coalgebra in Computer Science, CALCO 2025, University of Strathclyde, UK, June 16-18, 2025. LIPIcs 342, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-383-6 [contents] - 341Jeremias Berg, Jakob Nordström:
28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, Glasgow, Scotland, August 12-15, 2025. LIPIcs 341, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-381-2 [contents] - 340Maria Garcia de la Banda:
31st International Conference on Principles and Practice of Constraint Programming, CP 2025, Glasgow, Scotland, August 10-15, 2025. LIPIcs 340, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-380-5 [contents] - 339Srikanth Srinivasan:
40th Computational Complexity Conference, CCC 2025, Toronto, Canada, August 5-8, 2025. LIPIcs 339, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-379-9 [contents] - 338Petra Mutzel, Nicola Prezza:
23rd International Symposium on Experimental Algorithms, SEA 2025, Venice, Italy, July 22-24, 2025. LIPIcs 338, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-375-1 [contents] - 337Maribel Fernández:
10th International Conference on Formal Structures for Computation and Deduction, FSCD 2025, Birmingham, UK, July 14-20, 2025. LIPIcs 337, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-374-4 [contents] - 336Rasmus Ejlers Møgelberg, Benno van den Berg:
30th International Conference on Types for Proofs and Programs, TYPES 2024, Copenhagen, Denmark, June 10-14, 2024. LIPIcs 336, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-376-8 [contents] - 335Renato Mancuso:
37th Euromicro Conference on Real-Time Systems, ECRTS 2025, Brussels, Belgium, July 8-11, 2025. LIPIcs 335, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-377-5 [contents] - 334Keren Censor-Hillel, Fabrizio Grandoni, Joël Ouaknine, Gabriele Puppis:
52nd International Colloquium on Automata, Languages, and Programming, ICALP 2025, Aarhus, Denmark, July 8-11, 2025. LIPIcs 334, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-372-0 [contents] - 333Jonathan Aldrich, Alexandra Silva:
39th European Conference on Object-Oriented Programming, ECOOP 2025, Bergen, Norway, June 30 - July 2, 2025. LIPIcs 333, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-373-7 [contents] - 332Oswin Aichholzer, Haitao Wang:
41st International Symposium on Computational Geometry, SoCG 2025, Kanazawa, Japan, June 23-27, 2025. LIPIcs 332, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-370-6 [contents] - 331Paola Bonizzoni, Veli Mäkinen:
36th Annual Symposium on Combinatorial Pattern Matching, CPM 2025, Milan, Italy, June 17-19, 2025. LIPIcs 331, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-369-0 [contents] - 330Kitty Meeks, Christian Scheideler:
4th Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2025, Liverpool, UK, June 9-11, 2025. LIPIcs 330, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-368-3 [contents] - 329Mark Bun:
6th Symposium on Foundations of Responsible Computing, FORC 2025, Stanford University, CA, USA, June 4-6, 2025. LIPIcs 329, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-367-6 [contents] - 328Sudeepa Roy, Ahmet Kara:
28th International Conference on Database Theory, ICDT 2025, Barcelona, Spain, March 25-28, 2025. LIPIcs 328, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-364-5 [contents] - 327Olaf Beyersdorff, Michal Pilipczuk, Elaine Pimentel, Kim Thang Nguyen:
42nd International Symposium on Theoretical Aspects of Computer Science, STACS 2025, Jena, Germany, March 4-7, 2025. LIPIcs 327, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-365-2 [contents] - 326Jörg Endrullis, Sylvain Schmitz:
33rd EACSL Annual Conference on Computer Science Logic, CSL 2025, Amsterdam, The Netherlands, February 10-14, 2025. LIPIcs 326, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-362-1 [contents] - 325Raghu Meka:
16th Innovations in Theoretical Computer Science Conference, ITCS 2025, Columbia University, New York, NY, USA, January 7-10, 2025. LIPIcs 325, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-361-4 [contents] - 324Silvia Bonomi, Letterio Galletta, Etienne Rivière, Valerio Schiavoni:
28th International Conference on Principles of Distributed Systems, OPODIS 2024, Lucca, Italy, December 11-13, 2024. LIPIcs 324, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2025, ISBN 978-3-95977-360-7 [contents] - 323Siddharth Barman, Slawomir Lasota:
44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2024, Gandhinagar, Gujarat, India, December 16-18, 2024. LIPIcs 323, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-355-3 [contents] - 322Julián Mestre, Anthony Wirth:
35th International Symposium on Algorithms and Computation, ISAAC 2024, Sydney, Australia, December 8-11, 2024. LIPIcs 322, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-354-6 [contents] - 321Édouard Bonnet, Pawel Rzazewski:
19th International Symposium on Parameterized and Exact Computation, IPEC 2024, Royal Holloway, University of London, Egham, United Kingdom, September 4-6, 2024. LIPIcs 321, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-353-9 [contents] - 320Stefan Felsner, Karsten Klein:
32nd International Symposium on Graph Drawing and Network Visualization, GD 2024, Vienna, Austria, September 18-20, 2024. LIPIcs 320, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-343-0 [contents] - 319Dan Alistarh:
38th International Symposium on Distributed Computing, DISC 2024, Madrid, Spain, October 28 - November 1, 2024. LIPIcs 319, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-352-2 [contents] - 318Pietro Sala, Michael Sioutis, Fusheng Wang:
31st International Symposium on Temporal Representation and Reasoning, TIME 2024, Montpellier, France, October 28-30, 2024. LIPIcs 318, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-349-2 [contents] - 317Amit Kumar, Noga Ron-Zewi:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2024, London School of Economics, London, UK, August 28-30, 2024. LIPIcs 317, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-348-5 [contents] - 316Rainer Böhme, Lucianna Kiffer:
6th Conference on Advances in Financial Technologies, AFT 2024, Vienna, Austria, September 23-25, 2024. LIPIcs 316, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-345-4 [contents] - 315Benjamin Adams, Amy L. Griffin, Simon Scheider, Grant McKenzie:
16th International Conference on Spatial Information Theory, COSIT 2024, Québec City, Canada, September 17-20, 2024. LIPIcs 315, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-330-0 [contents] - 314Shinnosuke Seki, Jaimie Marie Stewart:
30th International Conference on DNA Computing and Molecular Programming, DNA 2024, Baltimore, Maryland, USA, September 16-20, 2024. LIPIcs 314, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-344-7 [contents] - 313Jonathan Aldrich, Guido Salvaneschi:
38th European Conference on Object-Oriented Programming, ECOOP 2024, Vienna, Austria, September 16-20, 2024. LIPIcs 313, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-341-6 [contents] - 312Solon P. Pissis, Wing-Kin Sung:
24th International Workshop on Algorithms in Bioinformatics, WABI 2024, Royal Holloway, London, United Kingdom, September 2-4, 2024. LIPIcs 312, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-340-9 [contents] - 311Rupak Majumdar, Alexandra Silva:
35th International Conference on Concurrency Theory, CONCUR 2024, Calgary, Canada, September 9-13, 2024. LIPIcs 311, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-339-3 [contents] - 310Frédéric Magniez, Alex Bredariol Grilo:
19th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2024, Okinawa, Japan, September 9-13, 2024. LIPIcs 310, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-328-7 [contents] - 309Yves Bertot, Temur Kutsia, Michael Norrish:
15th International Conference on Interactive Theorem Proving, ITP 2024, Tbilisi, Georgia, September 9-14, 2024. LIPIcs 309, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-337-9 [contents] - 308Timothy M. Chan, Johannes Fischer, John Iacono, Grzegorz Herman:
32nd Annual European Symposium on Algorithms, ESA 2024, Royal Holloway, London, United Kingdom, September 2-4, 2024. LIPIcs 308, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-338-6 [contents] - 307Paul Shaw:
30th International Conference on Principles and Practice of Constraint Programming, CP 2024, Girona, Spain, September 2-6, 2024. LIPIcs 307, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-336-2 [contents] - 306Rastislav Královic, Antonín Kucera:
49th International Symposium on Mathematical Foundations of Computer Science, MFCS 2024, Bratislava, Slovakia, August 26-30, 2024. LIPIcs 306, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-335-5 [contents] - 305Supratik Chakraborty, Jie-Hong Roland Jiang:
27th International Conference on Theory and Applications of Satisfiability Testing, SAT 2024, Pune, India, August 21-24, 2024. LIPIcs 305, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-334-8 [contents] - 304Divesh Aggarwal:
5th Conference on Information-Theoretic Cryptography, ITC 2024, Stanford, CA, USA, August 14-16, 2024. LIPIcs 304, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-333-1 [contents] - 303Delia Kesner, Eduardo Hermo Reyes, Benno van den Berg:
29th International Conference on Types for Proofs and Programs, TYPES 2023, ETSInf, Universitat Politècnica de València, Spain, June 12-16, 2023. LIPIcs 303, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-332-4 [contents] - 302Cécile Mailler, Sebastian Wild:
35th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, University of Bath, UK, June 17-21, 2024. LIPIcs 302, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-329-4 [contents] - 301Leo Liberti:
22nd International Symposium on Experimental Algorithms, SEA 2024, Vienna, Austria, July 23-26, 2024. LIPIcs 301, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-325-6 [contents] - 300Rahul Santhanam:
39th Computational Complexity Conference, CCC 2024, Ann Arbor, MI, USA, July 22-25, 2024. LIPIcs 300, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-331-7 [contents] - 299Jakob Rehof:
9th International Conference on Formal Structures for Computation and Deduction, FSCD 2024, Tallinn, Estonia, July 10-13, 2024. LIPIcs 299, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-323-2 [contents] - 298Rodolfo Pellizzoni:
36th Euromicro Conference on Real-Time Systems, ECRTS 2024, Lille, France, July 9-12, 2024. LIPIcs 298, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-324-9 [contents] - 297Karl Bringmann, Martin Grohe, Gabriele Puppis, Ola Svensson:
51st International Colloquium on Automata, Languages, and Programming, ICALP 2024, Tallinn, Estonia, July 8-12, 2024. LIPIcs 297, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-322-5 [contents] - 296Shunsuke Inenaga, Simon J. Puglisi:
35th Annual Symposium on Combinatorial Pattern Matching, CPM 2024, Fukuoka, Japan, June 25-27, 2024. LIPIcs 296, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-326-3 [contents] - 295Guy N. Rothblum:
5th Symposium on Foundations of Responsible Computing, FORC 2024, Harvard University, Cambridge, MA, USA, June 12-14, 2024. LIPIcs 295, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-319-5 [contents] - 294Hans L. Bodlaender:
19th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2024, Helsinki, Finland, June 12-14, 2024. LIPIcs 294, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-318-8 [contents] - 293Wolfgang Mulzer, Jeff M. Phillips:
40th International Symposium on Computational Geometry, SoCG 2024, Athens, Greece, June 11-14, 2024. LIPIcs 293, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-316-4 [contents] - 292Arnaud Casteigts, Fabian Kuhn:
3rd Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2024, Patras, Greece, June 5-7, 2024. LIPIcs 292, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-315-7 [contents] - 291Andrei Z. Broder, Tami Tamir:
12th International Conference on Fun with Algorithms, FUN 2024, Island of La Maddalena, Sardinia, Italy, June 4-8, 2024. LIPIcs 291, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-314-0 [contents] - 290Graham Cormode, Michael Shekelyan:
27th International Conference on Database Theory, ICDT 2024, Paestum, Italy, March 25-28, 2024. LIPIcs 290, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-312-6 [contents] - 289Olaf Beyersdorff, Mamadou Moustapha Kanté, Orna Kupferman, Daniel Lokshtanov:
41st International Symposium on Theoretical Aspects of Computer Science, STACS 2024, Clermont-Ferrand, France, March 12-14, 2024. LIPIcs 289, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-311-9 [contents] - 288Aniello Murano, Alexandra Silva:
32nd EACSL Annual Conference on Computer Science Logic, CSL 2024, Naples, Italy, February 19-23, 2024. LIPIcs 288, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-310-2 [contents] - 287Venkatesan Guruswami:
15th Innovations in Theoretical Computer Science Conference, ITCS 2024, Berkeley, CA, USA, January 30 - February 2, 2024. LIPIcs 287, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-309-6 [contents] - 286Alysson Bessani, Xavier Défago, Junya Nakamura, Koichi Wada, Yukiko Yamauchi:
27th International Conference on Principles of Distributed Systems, OPODIS 2023, Tokyo, Japan, December 6-8, 2023. LIPIcs 286, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-308-9 [contents] - 285Neeldhara Misra, Magnus Wahlström:
18th International Symposium on Parameterized and Exact Computation, IPEC 2023, Amsterdam, The Netherlands, September 6-8, 2023. LIPIcs 285, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-305-8 [contents] - 284Patricia Bouyer, Srikanth Srinivasan:
43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023, IIIT Hyderabad, Telangana, India, December 18-20, 2023. LIPIcs 284, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-304-1 [contents] - 283Satoru Iwata, Naonori Kakimura:
34th International Symposium on Algorithms and Computation, ISAAC 2023, Kyoto, Japan, December 3-6, 2023. LIPIcs 283, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-289-1 [contents] - 282Joseph Bonneau, S. Matthew Weinberg:
5th Conference on Advances in Financial Technologies, AFT 2023, Princeton, NJ, USA, October 23-25, 2023. LIPIcs 282, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-303-4 [contents] - 281Rotem Oshman:
37th International Symposium on Distributed Computing, DISC 2023, L'Aquila, Italy, October 10-12, 2023. LIPIcs 281, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-301-0 [contents] - 280Roland H. C. Yap:
29th International Conference on Principles and Practice of Constraint Programming, CP 2023, Toronto, Canada, August 27-31, 2023. LIPIcs 280, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-300-3 [contents] - 279Guillermo A. Pérez, Jean-François Raskin:
34th International Conference on Concurrency Theory, CONCUR 2023, Antwerp, Belgium, September 18-23, 2023. LIPIcs 279, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-299-0 [contents] - 278Alexander Artikis, Florian Bruse, Luke Hunsberger:
30th International Symposium on Temporal Representation and Reasoning, TIME 2023, NCSR Demokritos, Athens, Greece, September 25-26, 2023. LIPIcs 278, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-298-3 [contents] - 277Roger Beecham, Jed A. Long, Dianna Smith, Qunshan Zhao, Sarah Wise:
12th International Conference on Geographic Information Science, GIScience 2023, Leeds, UK, September 12-15, 2023. LIPIcs 277, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-288-4 [contents] - 276Ho-Lin Chen, Constantine G. Evans:
29th International Conference on DNA Computing and Molecular Programming, DNA 2023, Tohoku University, Sendai, Japan, September 11-15, 2023. LIPIcs 276, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-297-6 [contents] - 275Nicole Megow, Adam D. Smith:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2023, Atlanta, Georgia, USA, September 11-13, 2023. LIPIcs 275, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-296-9 [contents] - 274Inge Li Gørtz, Martin Farach-Colton, Simon J. Puglisi, Grzegorz Herman:
31st Annual European Symposium on Algorithms, ESA 2023, Amsterdam, The Netherlands, September 4-6, 2023. LIPIcs 274, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-295-2 [contents] - 273Djamal Belazzougui, Aïda Ouangraoua:
23rd International Workshop on Algorithms in Bioinformatics, WABI 2023, Houston, TX, USA, September 4-6, 2023. LIPIcs 273, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-294-5 [contents] - 272Jérôme Leroux, Sylvain Lombardy, David Peleg:
48th International Symposium on Mathematical Foundations of Computer Science, MFCS 2023, Bordeaux, France, August 28 - September 1, 2023. LIPIcs 272, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-292-1 [contents] - 271Meena Mahajan, Friedrich Slivovsky:
26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, Alghero, Italy, July 4-8, 2023. LIPIcs 271, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-286-0 [contents] - 270Paolo Baldan, Valeria de Paiva:
10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Indiana University Bloomington, IN, USA, June 19-21, 2023. LIPIcs 270, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-287-7 [contents] - 269Delia Kesner, Pierre-Marie Pédrot:
28th International Conference on Types for Proofs and Programs, TYPES 2022, LS2N, University of Nantes, France, June 20-25, 2022. LIPIcs 269, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-285-3 [contents] - 268Adam Naumowicz, René Thiemann:
14th International Conference on Interactive Theorem Proving, ITP 2023, Białystok, Poland, July 31 - August 4, 2023. LIPIcs 268, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-284-6 [contents] - 267Kai-Min Chung:
4th Conference on Information-Theoretic Cryptography, ITC 2023, Aarhus University, Aarhus, Denmark, June 6-8, 2023. LIPIcs 267, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-271-6 [contents] - 266Omar Fawzi, Michael Walter:
18th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2023, Aveiro, Portugal, July 24-28, 2023. LIPIcs 266, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-283-9 [contents] - 265Loukas Georgiadis:
21st International Symposium on Experimental Algorithms, SEA 2023, Barcelona, Spain, July 24-26, 2023. LIPIcs 265, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-279-2 [contents] - 264Amnon Ta-Shma:
38th Computational Complexity Conference, CCC 2023, Warwick, UK, July 17-20, 2023. LIPIcs 264, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-282-2 [contents] - 263Karim Ali, Guido Salvaneschi:
37th European Conference on Object-Oriented Programming, ECOOP 2023, Seattle, Washington, United States, July 17-21, 2023. LIPIcs 263, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-281-5 [contents] - 262Alessandro V. Papadopoulos:
35th Euromicro Conference on Real-Time Systems, ECRTS 2023, Vienna, Austria, July 11-14, 2023. LIPIcs 262, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-280-8 [contents] - 261Kousha Etessami, Uriel Feige, Gabriele Puppis:
50th International Colloquium on Automata, Languages, and Programming, ICALP 2023, Paderborn, Germany, July 10-14, 2023. LIPIcs 261, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-278-5 [contents] - 260Marco Gaboardi, Femke van Raamsdonk:
8th International Conference on Formal Structures for Computation and Deduction, FSCD 2023, Rome, Italy, July 3-6, 2023. LIPIcs 260, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-277-8 [contents] - 259Laurent Bulteau, Zsuzsanna Lipták:
34th Annual Symposium on Combinatorial Pattern Matching, CPM 2023, Marne-la-Vallée, France, June 26-28, 2023. LIPIcs 259, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-276-1 [contents] - 258Erin W. Chambers, Joachim Gudmundsson:
39th International Symposium on Computational Geometry, SoCG 2023, Dallas, Texas, USA, June 12-15, 2023. LIPIcs 258, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-273-0 [contents] - 257David Doty, Paul G. Spirakis:
2nd Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2023, Pisa, Italy, June 19-21, 2023. LIPIcs 257, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-275-4 [contents] - 256Kunal Talwar:
4th Symposium on Foundations of Responsible Computing, FORC 2023, Stanford University, California, USA, June 7-9, 2023. LIPIcs 256, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-272-3 [contents] - 255Floris Geerts, Brecht Vandevoort:
26th International Conference on Database Theory, ICDT 2023, Ioannina, Greece, March 28-31, 2023. LIPIcs 255, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-270-9 [contents] - 254Petra Berenbrink, Patricia Bouyer, Anuj Dawar, Mamadou Moustapha Kanté:
40th International Symposium on Theoretical Aspects of Computer Science, STACS 2023, Hamburg, Germany, March 7-9, 2023. LIPIcs 254, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-266-2 [contents] - 253Eshcar Hillel, Roberto Palmieri, Etienne Rivière:
26th International Conference on Principles of Distributed Systems, OPODIS 2022, Brussels, Belgium, December 13-15, 2022. LIPIcs 253, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-265-5 [contents] - 252Bartek Klin, Elaine Pimentel:
31st EACSL Annual Conference on Computer Science Logic, CSL 2023, Warsaw, Poland, February 13-16, 2023. LIPIcs 252, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-264-8 [contents] - 251Yael Tauman Kalai:
14th Innovations in Theoretical Computer Science Conference, ITCS 2023, MIT, Cambridge, Massachusetts, USA, January 10-13, 2023. LIPIcs 251, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-263-1 [contents] - 250Anuj Dawar, Venkatesan Guruswami:
42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2022, IIT Madras, Chennai, India, December 18-20, 2022. LIPIcs 250, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-261-7 [contents] - 249Holger Dell, Jesper Nederlof:
17th International Symposium on Parameterized and Exact Computation, IPEC 2022, Potsdam, Germany, September 7-9, 2022. LIPIcs 249, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-260-0 [contents] - 248Sang Won Bae, Heejin Park:
33rd International Symposium on Algorithms and Computation, ISAAC 2022, Seoul, South Korea, December 19-21, 2022. LIPIcs 248, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-258-7 [contents] - 247Alexander Artikis, Roberto Posenato, Stefano Tonetta:
29th International Symposium on Temporal Representation and Reasoning, TIME 2022, Virtual Conference, November 7-9, 2022. LIPIcs 247, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-262-4 [contents] - 246Christian Scheideler:
36th International Symposium on Distributed Computing, DISC 2022, Augusta, Georgia, USA, October 25-27, 2022. LIPIcs 246, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-255-6 [contents] - 245Amit Chakrabarti, Chaitanya Swamy:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2022, University of Illinois, Urbana-Champaign, USA (Virtual Conference), September 19-21, 2022. LIPIcs 245, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-249-5 [contents] - 244Shiri Chechik, Gonzalo Navarro, Eva Rotenberg, Grzegorz Herman:
30th Annual European Symposium on Algorithms, ESA 2022, Berlin/Potsdam, Germany, September 5-9, 2022. LIPIcs 244, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-247-1 [contents] - 243Bartek Klin, Slawomir Lasota, Anca Muscholl:
33rd International Conference on Concurrency Theory, CONCUR 2022, Warsaw, Poland, September 12-16, 2022. LIPIcs 243, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-246-4 [contents] - 242Christina Boucher, Sven Rahmann:
22nd International Workshop on Algorithms in Bioinformatics, WABI 2022, Potsdam, Germany, September 5-7, 2022. LIPIcs 242, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-243-3 [contents] - 241Stefan Szeider, Robert Ganian, Alexandra Silva:
47th International Symposium on Mathematical Foundations of Computer Science, MFCS 2022, Vienna, Austria, August 22-26, 2022. LIPIcs 241, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-256-3 [contents] - 240Toru Ishikawa, Sara Irina Fabrikant, Stephan Winter:
15th International Conference on Spatial Information Theory, COSIT 2022, Kobe, Japan, September 5-9, 2022. LIPIcs 240, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-257-0 [contents] - 239Henning Basold, Jesper Cockx, Silvia Ghilezan:
27th International Conference on Types for Proofs and Programs, TYPES 2021, Leiden, The Netherlands (Virtual Conference), June 14-18, 2021. LIPIcs 239, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-254-9 [contents] - 238Thomas E. Ouldridge, Shelley F. J. Wickham:
28th International Conference on DNA Computing and Molecular Programming, DNA 2022, University of New Mexico, Albuquerque, New Mexico, USA, August 8-12, 2022. LIPIcs 238, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-253-2 [contents] - 237June Andronick, Leonardo de Moura:
13th International Conference on Interactive Theorem Proving, ITP 2022, Haifa, Israel, August 7-10, 2022. LIPIcs 237, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-252-5 [contents] - 236Kuldeep S. Meel, Ofer Strichman:
25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, Haifa, Israel, August 2-5, 2022. LIPIcs 236, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-242-6 [contents] - 235Christine Solnon:
28th International Conference on Principles and Practice of Constraint Programming, CP 2022, Haifa, Israel, July 31 - August 8, 2022. LIPIcs 235, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-240-2 [contents] - 234Shachar Lovett:
37th Computational Complexity Conference, CCC 2022, Philadelphia, PA, USA, July 20-23, 2022. LIPIcs 234, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-241-9 [contents] - 233Christian Schulz, Bora Uçar:
20th International Symposium on Experimental Algorithms, SEA 2022, Heidelberg, Germany, July 25-27, 2022. LIPIcs 233, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-251-8 [contents] - 232François Le Gall, Tomoyuki Morimae:
17th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2022, Urbana Champaign, Illinois, USA, July 11-15, 2022. LIPIcs 232, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-237-2 [contents] - 231Martina Maggio:
34th Euromicro Conference on Real-Time Systems, ECRTS 2022, Modena, Italy, July 5-8, 2022. LIPIcs 231, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-239-6 [contents] - 230Dana Dachman-Soled:
3rd Conference on Information-Theoretic Cryptography, ITC 2022, Cambridge, MA, USA, July 5-7, 2022. LIPIcs 230, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-238-9 [contents] - 229Mikolaj Bojanczyk, Emanuela Merelli, David P. Woodruff:
49th International Colloquium on Automata, Languages, and Programming, ICALP 2022, Paris, France, July 4-8, 2022. LIPIcs 229, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-235-8 [contents] - 228Amy P. Felty:
7th International Conference on Formal Structures for Computation and Deduction, FSCD 2022, Haifa, Israel, August 2-5, 2022. LIPIcs 228, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-233-4 [contents] - 227Artur Czumaj, Qin Xin:
18th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2022, Tórshavn, Faroe Islands, June 27-29, 2022. LIPIcs 227, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-236-5 [contents] - 226Pierre Fraigniaud, Yushi Uno:
11th International Conference on Fun with Algorithms, FUN 2022, Island of Favignana, Sicily, Italy, May 30 - June 3, 2022. LIPIcs 226, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-232-7 [contents] - 225Mark Daniel Ward:
33rd International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, AofA 2022, Philadelphia, PA, USA, June 20-24, 2022. LIPIcs 225, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-230-3 [contents] - 224Xavier Goaoc, Michael Kerber:
38th International Symposium on Computational Geometry, SoCG 2022, Berlin, Germany, June 7-10, 2022. LIPIcs 224, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-227-3 [contents] - 223Hideo Bannai, Jan Holub:
33rd Annual Symposium on Combinatorial Pattern Matching, CPM 2022, Prague, Czech Republic, June 27-29, 2022. LIPIcs 223, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-234-1 [contents] - 222Karim Ali, Jan Vitek:
36th European Conference on Object-Oriented Programming, ECOOP 2022, Berlin, Germany, June 6-10, 2022. LIPIcs 222, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-225-9 [contents] - 221James Aspnes, Othon Michail:
1st Symposium on Algorithmic Foundations of Dynamic Networks, SAND 2022, Virtual Conference, March 28-30, 2022. LIPIcs 221, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-224-2 [contents] - 220Dan Olteanu, Nils Vortmeier:
25th International Conference on Database Theory, ICDT 2022, Edinburgh, UK (Virtual Conference), March 29 - April 1, 2022. LIPIcs 220, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-223-5 [contents] - 219Petra Berenbrink, Benjamin Monmege:
39th International Symposium on Theoretical Aspects of Computer Science, STACS 2022, Marseille, France (Virtual Conference), March 15-18, 2022. LIPIcs 219, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-222-8 [contents] - 218L. Elisa Celis:
3rd Symposium on Foundations of Responsible Computing, FORC 2022, Cambridge, MA, USA, June 6-8, 2022. LIPIcs 218, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-226-6 [contents] - 217Quentin Bramas, Vincent Gramoli, Alessia Milani:
25th International Conference on Principles of Distributed Systems, OPODIS 2021, Strasbourg, France, December 13-15, 2021. LIPIcs 217, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-219-8 [contents] - 216Florin Manea, Alex Simpson:
30th EACSL Annual Conference on Computer Science Logic, CSL 2022, Göttingen, Germany (Virtual Conference), February 14-19, 2022. LIPIcs 216, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-218-1 [contents] - 215Mark Braverman:
13th Innovations in Theoretical Computer Science Conference, ITCS 2022, Berkeley, CA, USA, January 31 - February 3, 2022. LIPIcs 215, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2022, ISBN 978-3-95977-217-4 [contents] - 214Petr A. Golovach, Meirav Zehavi:
16th International Symposium on Parameterized and Exact Computation, IPEC 2021, Lisbon, Portugal, September 8-10, 2021. LIPIcs 214, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-216-7 [contents] - 213Mikolaj Bojanczyk, Chandra Chekuri:
41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2021, Virtual Conference, December 15-17, 2021. LIPIcs 213, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-215-0 [contents] - 212Hee-Kap Ahn, Kunihiko Sadakane:
32nd International Symposium on Algorithms and Computation, ISAAC 2021, Fukuoka, Japan, December 6-8, 2021. LIPIcs 212, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-214-3 [contents] - 211Fabio Gadducci, Alexandra Silva:
9th Conference on Algebra and Coalgebra in Computer Science, CALCO 2021, Salzburg, Austria, August 31 - September 3, 2021. LIPIcs 211, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-212-9 [contents] - 210Laurent D. Michel:
27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021. LIPIcs 210, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-211-2 [contents] - 209Seth Gilbert:
35th International Symposium on Distributed Computing, DISC 2021, Freiburg, Germany (Virtual Conference), October 4-8, 2021. LIPIcs 209, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-210-5 [contents] - 208Krzysztof Janowicz, Judith Anne Verstegen:
11th International Conference on Geographic Information Science, GIScience 2021, Poznań, Poland (Virtual Conference), September 27-30, 2021 - Part II. LIPIcs 208, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-208-2 [contents] - 207Mary Wootters, Laura Sanità:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2021, University of Washington, Seattle, Washington, USA (Virtual Conference), August 16-18, 2021. LIPIcs 207, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-207-5 [contents] - 206Carlo Combi, Johann Eder, Mark Reynolds:
28th International Symposium on Temporal Representation and Reasoning, TIME 2021, Klagenfurt, Austria, September 27-29, 2021. LIPIcs 206, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-206-8 [contents] - 205Matthew R. Lakin, Petr Sulc:
27th International Conference on DNA Computing and Molecular Programming, DNA 2021, Oxford, UK (Virtual Conference), September 13-16, 2021. LIPIcs 205, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-205-1 [contents] - 204Petra Mutzel, Rasmus Pagh, Grzegorz Herman:
29th Annual European Symposium on Algorithms, ESA 2021, Lisbon, Portugal (Virtual Conference), September 6-8, 2021. LIPIcs 204, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-204-4 [contents] - 203Serge Haddad, Daniele Varacca:
32nd International Conference on Concurrency Theory, CONCUR 2021, Virtual Conference, August 24-27, 2021. LIPIcs 203, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-203-7 [contents] - 202Filippo Bonchi, Simon J. Puglisi:
46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, Tallinn, Estonia, August 23-27, 2021. LIPIcs 202, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-201-3 [contents] - 201Alessandra Carbone, Mohammed El-Kebir:
21st International Workshop on Algorithms in Bioinformatics, WABI 2021, Virtual Conference, August 2-4, 2021. LIPIcs 201, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-200-6 [contents] - 200Valentine Kabanets:
36th Computational Complexity Conference, CCC 2021, Toronto, Ontario, Canada (Virtual Conference), July 20-23, 2021. LIPIcs 200, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-193-1 [contents] - 199Stefano Tessaro:
2nd Conference on Information-Theoretic Cryptography, ITC 2021, Virtual Conference, July 23-26, 2021. LIPIcs 199, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-197-9 [contents] - 198Nikhil Bansal, Emanuela Merelli, James Worrell:
48th International Colloquium on Automata, Languages, and Programming, ICALP 2021, Glasgow, Scotland (Virtual Conference), July 12-16, 2021. LIPIcs 198, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-195-5 [contents] - 197Min-Hsiu Hsieh:
16th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2021, Virtual Conference, July 5-8, 2021. LIPIcs 197, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-198-6 [contents] - 196Björn B. Brandenburg:
33rd Euromicro Conference on Real-Time Systems, ECRTS 2021, Virtual Conference, July 5-9, 2021. LIPIcs 196, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-192-4 [contents] - 195Naoki Kobayashi:
6th International Conference on Formal Structures for Computation and Deduction, FSCD 2021, Buenos Aires, Argentina (Virtual Conference), July 17-24, 2021. LIPIcs 195, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-191-7 [contents] - 194Anders Møller, Manu Sridharan:
35th European Conference on Object-Oriented Programming, ECOOP 2021, Aarhus, Denmark (Virtual Conference), July 11-17, 2021. LIPIcs 194, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-190-0 [contents] - 193Liron Cohen, Cezary Kaliszyk:
12th International Conference on Interactive Theorem Proving, ITP 2021, Rome, Italy (Virtual Conference), June 29 - July 1, 2021. LIPIcs 193, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-188-7 [contents] - 192Katrina Ligett, Swati Gupta:
2nd Symposium on Foundations of Responsible Computing, FORC 2021, Virtual Conference, June 9-11, 2021. LIPIcs 192, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-187-0 [contents] - 191Pawel Gawrychowski, Tatiana Starikovskaya:
32nd Annual Symposium on Combinatorial Pattern Matching, CPM 2021, Wrocław, Poland, July 5-7, 2021. LIPIcs 191, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-186-3 [contents] - 190David Coudert, Emanuele Natale:
19th International Symposium on Experimental Algorithms, SEA 2021, Nice, France, June 7-9, 2021. LIPIcs 190, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-185-6 [contents] - 189Kevin Buchin, Éric Colin de Verdière:
37th International Symposium on Computational Geometry, SoCG 2021, Buffalo, NY, USA (Virtual Conference), June 7-11, 2021. LIPIcs 189, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-184-9 [contents] - 188Ugo de'Liguoro, Stefano Berardi, Thorsten Altenkirch:
26th International Conference on Types for Proofs and Programs, TYPES 2020, University of Turin, Italy, March 2-5, 2020. LIPIcs 188, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-182-5 [contents] - 187Markus Bläser, Benjamin Monmege:
38th International Symposium on Theoretical Aspects of Computer Science, STACS 2021, Saarbrücken, Germany (Virtual Conference), March 16-19, 2021. LIPIcs 187, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-180-1 [contents] - 186Ke Yi, Zhewei Wei:
24th International Conference on Database Theory, ICDT 2021, Nicosia, Cyprus, March 23-26, 2021. LIPIcs 186, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-179-5 [contents] - 185James R. Lee:
12th Innovations in Theoretical Computer Science Conference, ITCS 2021, Virtual Conference, January 6-8, 2021. LIPIcs 185, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-177-1 [contents] - 184Quentin Bramas, Rotem Oshman, Paolo Romano:
24th International Conference on Principles of Distributed Systems, OPODIS 2020, Strasbourg, France (Virtual Conference), December 14-16, 2020. LIPIcs 184, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-176-4 [contents] - 183Christel Baier, Jean Goubault-Larrecq:
29th EACSL Annual Conference on Computer Science Logic, CSL 2021, Ljubljana, Slovenia (Virtual Conference), January 25-28, 2021. LIPIcs 183, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-175-7 [contents] - 182Nitin Saxena, Sunil Simon:
40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2020, BITS Pilani, K K Birla Goa Campus, Goa, India (Virtual Conference), December 14-18, 2020. LIPIcs 182, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-174-0 [contents] - 181Yixin Cao, Siu-Wing Cheng, Minming Li:
31st International Symposium on Algorithms and Computation, ISAAC 2020, Hong Kong (Virtual Conference), December 14-18, 2020. LIPIcs 181, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-173-3 [contents] - 180Yixin Cao, Marcin Pilipczuk:
15th International Symposium on Parameterized and Exact Computation, IPEC 2020, Hong Kong (Virtual Conference), December 14-18, 2020. LIPIcs 180, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-172-6 [contents] - 179Hagit Attiya:
34th International Symposium on Distributed Computing, DISC 2020, Virtual Conference, October 12-16, 2020. LIPIcs 179, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-168-9 [contents] - 178Emilio Muñoz-Velasco, Ana Ozaki, Martin Theobald:
27th International Symposium on Temporal Representation and Reasoning, TIME 2020, Bozen-Bolzano, Italy, September 23-25, 2020. LIPIcs 178, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-167-2 [contents] - 177Krzysztof Janowicz, Judith Anne Verstegen:
11th International Conference on Geographic Information Science, GIScience 2021, Poznań, Poland, September 27-30, 2021 - Part I. LIPIcs 177, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-166-5 [contents] - 176Jaroslaw Byrka, Raghu Meka:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2020, Virtual Conference, August 17-19, 2020. LIPIcs 176, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-164-1 [contents] - 175Marc Bezem, Assia Mahboubi:
25th International Conference on Types for Proofs and Programs, TYPES 2019, Oslo, Norway, June 11-14, 2019. LIPIcs 175, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-158-0 [contents] - 174Cody W. Geary, Matthew J. Patitz:
26th International Conference on DNA Computing and Molecular Programming, DNA 2020, Oxford, UK (Virtual Conference), September 14-17, 2020. LIPIcs 174, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-163-4 [contents] - 173Fabrizio Grandoni, Grzegorz Herman, Peter Sanders:
28th Annual European Symposium on Algorithms, ESA 2020, Pisa, Italy (Virtual Conference), September 7-9, 2020. LIPIcs 173, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-162-7 [contents] - 172Carl Kingsford, Nadia Pisanti:
20th International Workshop on Algorithms in Bioinformatics, WABI 2020, Pisa, Italy (Virtual Conference), September 7-9, 2020. LIPIcs 172, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-161-0 [contents] - 171Igor Konnov, Laura Kovács:
31st International Conference on Concurrency Theory, CONCUR 2020, Vienna, Austria (Virtual Conference), September 1-4, 2020. LIPIcs 171, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-160-3 [contents] - 170Javier Esparza, Daniel Král':
45th International Symposium on Mathematical Foundations of Computer Science, MFCS 2020, Prague, Czech Republic, August 24-28, 2020. LIPIcs 170, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-159-7 [contents] - 169Shubhangi Saraf:
35th Computational Complexity Conference, CCC 2020, Saarbrücken, Germany (Virtual Conference), July 28-31, 2020. LIPIcs 169, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-156-6 [contents] - 168Artur Czumaj, Anuj Dawar, Emanuela Merelli:
47th International Colloquium on Automata, Languages, and Programming, ICALP 2020, Saarbrücken, Germany (Virtual Conference), July 8-11, 2020. LIPIcs 168, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-138-2 [contents] - 167Zena M. Ariola:
5th International Conference on Formal Structures for Computation and Deduction, FSCD 2020, Paris, France (Virtual Conference), June 29 - July 6, 2020. LIPIcs 167, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-155-9 [contents] - 166Robert Hirschfeld, Tobias Pape:
34th European Conference on Object-Oriented Programming, ECOOP 2020, Berlin, Germany (Virtual Conference), November 15-17, 2020. LIPIcs 166, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-154-2 [contents] - 165Marcus Völp:
32nd Euromicro Conference on Real-Time Systems, ECRTS 2020, Virtual Conference, July 7-10, 2020. LIPIcs 165, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-152-8 [contents] - 164Sergio Cabello, Danny Z. Chen:
36th International Symposium on Computational Geometry, SoCG 2020, Zürich, Switzerland, June 23-26, 2020. LIPIcs 164, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-143-6 [contents] - 163Yael Tauman Kalai, Adam D. Smith, Daniel Wichs:
1st Conference on Information-Theoretic Cryptography, ITC 2020, Boston, MA, USA, June 17-19, 2020. LIPIcs 163, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-151-1 [contents] - 162Susanne Albers:
17th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2020, Tórshavn, Faroe Islands, June 22-24, 2020. LIPIcs 162, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-150-4 [contents] - 161Inge Li Gørtz, Oren Weimann:
31st Annual Symposium on Combinatorial Pattern Matching, CPM 2020, Copenhagen, Denmark, June 17-19, 2020. LIPIcs 161, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-149-8 [contents] - 160Simone Faro, Domenico Cantone:
18th International Symposium on Experimental Algorithms, SEA 2020, Catania, Italy, June 16-18, 2020. LIPIcs 160, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-148-1 [contents] - 159Michael Drmota, Clemens Heuberger:
31st International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, AofA 2020, Klagenfurt, Austria (Virtual Conference), June 15-19, 2020. LIPIcs 159, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-147-4 [contents] - 158Steven T. Flammia:
15th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2020, Riga, Latvia, June 9-12, 2020. LIPIcs 158, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-146-7 [contents] - 157Martin Farach-Colton, Giuseppe Prencipe, Ryuhei Uehara:
10th International Conference on Fun with Algorithms, FUN 2021, Favignana Island, Sicily, Italy, May 30 - June 1, 2021. LIPIcs 157, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-145-0 [contents] - 156Aaron Roth:
1st Symposium on Foundations of Responsible Computing, FORC 2020, Harvard University, Cambridge, MA, USA (Virtual Conference), June 1-3, 2020. LIPIcs 156, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-142-9 [contents] - 155Carsten Lutz, Jean Christoph Jung:
23rd International Conference on Database Theory, ICDT 2020, Copenhagen, Denmark, March 30 - April 2, 2020. LIPIcs 155, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-139-9 [contents] - 154Christophe Paul, Markus Bläser:
37th International Symposium on Theoretical Aspects of Computer Science, STACS 2020, Montpellier, France, March 10-13, 2020. LIPIcs 154, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-140-5 [contents] - 153Pascal Felber, Roy Friedman, Seth Gilbert, Avery Miller:
23rd International Conference on Principles of Distributed Systems, OPODIS 2019, Neuchâtel, Switzerland, December 17-19, 2019. LIPIcs 153, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-133-7 [contents] - 152Maribel Fernández, Anca Muscholl:
28th EACSL Annual Conference on Computer Science Logic, CSL 2020, Barcelona, Spain, January 13-16, 2020. LIPIcs 152, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-132-0 [contents] - 151Thomas Vidick:
11th Innovations in Theoretical Computer Science Conference, ITCS 2020, Seattle, Washington, USA, January 12-14, 2020. LIPIcs 151, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-134-4 [contents] - 150Arkadev Chattopadhyay, Paul Gastin:
39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2019, Bombay, India, December 11-13, 2019. LIPIcs 150, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-131-3 [contents] - 149Pinyan Lu, Guochuan Zhang:
30th International Symposium on Algorithms and Computation, ISAAC 2019, Shanghai University of Finance and Economics, Shanghai, China, December 8-11, 2019. LIPIcs 149, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-130-6 [contents] - 148Bart M. P. Jansen, Jan Arne Telle:
14th International Symposium on Parameterized and Exact Computation, IPEC 2019, Munich, Germany, September 11-13, 2019. LIPIcs 148, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-129-0 [contents] - 147Johann Gamper, Sophie Pinchinat, Guido Sciavicco:
26th International Symposium on Temporal Representation and Reasoning, TIME 2019, Málaga, Spain, October 16-19, 2019. LIPIcs 147, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-127-6 [contents] - 146Jukka Suomela:
33rd International Symposium on Distributed Computing, DISC 2019, Budapest, Hungary, October 14-18, 2019. LIPIcs 146, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-126-9 [contents] - 145Dimitris Achlioptas, László A. Végh:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2019, Massachusetts Institute of Technology, Cambridge, MA, USA, September 20-22, 2019. LIPIcs 145, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-125-2 [contents] - 144Michael A. Bender, Ola Svensson, Grzegorz Herman:
27th Annual European Symposium on Algorithms, ESA 2019, Munich/Garching, Germany, September 9-11, 2019. LIPIcs 144, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-124-5 [contents] - 143Katharina T. Huber, Dan Gusfield:
19th International Workshop on Algorithms in Bioinformatics, WABI 2019, Niagara Falls, NY, USA, September 8-10, 2019. LIPIcs 143, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-123-8 [contents] - 142Sabine Timpf, Christoph Schlieder, Markus Kattenbeck, Bernd Ludwig, Kathleen Stewart:
14th International Conference on Spatial Information Theory, COSIT 2019, Regensburg, Germany, September 9-13, 2019. LIPIcs 142, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-115-3 [contents] - 141John Harrison, John O'Leary, Andrew Tolmach:
10th International Conference on Interactive Theorem Proving, ITP 2019, Portland, OR, USA, September 9-12, 2019. LIPIcs 141, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-122-1 [contents] - 140Wan J. Fokkink, Rob van Glabbeek:
30th International Conference on Concurrency Theory, CONCUR 2019, Amsterdam, The Netherlands, August 27-30, 2019. LIPIcs 140, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-121-4 [contents] - 139Markus Roggenbach, Ana Sokolova:
8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, London, United Kingdom, June 3-6, 2019. LIPIcs 139, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-120-7 [contents] - 138Peter Rossmanith, Pinar Heggernes, Joost-Pieter Katoen:
44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, Aachen, Germany, August 26-30, 2019. LIPIcs 138, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-117-7 [contents] - 137Amir Shpilka:
34th Computational Complexity Conference, CCC 2019, New Brunswick, NJ, USA, July 18-20, 2019. LIPIcs 137, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-116-0 [contents] - 136Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi:
3rd Summit on Advances in Programming Languages, SNAPL 2019, Providence, RI, USA, May 16-17, 2019. LIPIcs 136, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-113-9 [contents] - 135Wim van Dam, Laura Mancinska:
14th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2019, University of Maryland, College Park, Maryland, USA, June 3-5, 2019. LIPIcs 135, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-112-2 [contents] - 134Alastair F. Donaldson:
33rd European Conference on Object-Oriented Programming, ECOOP 2019, London, United Kingdom, July 15-19, 2019. LIPIcs 134, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-111-5 [contents] - 133Sophie Quinton:
31st Euromicro Conference on Real-Time Systems, ECRTS 2019, Stuttgart, Germany, July 9-12, 2019. LIPIcs 133, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-110-8 [contents] - 132Christel Baier, Ioannis Chatzigiannakis, Paola Flocchini, Stefano Leonardi:
46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, Patras, Greece, July 9-12, 2019. LIPIcs 132, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-109-2 [contents] - 131Herman Geuvers:
4th International Conference on Formal Structures for Computation and Deduction, FSCD 2019, Dortmund, Germany, June 24-30, 2019. LIPIcs 131, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-107-8 [contents] - 130Peter Dybjer, José Espírito Santo, Luís Pinto:
24th International Conference on Types for Proofs and Programs, TYPES 2018, Braga, Portugal, June 18-21, 2018. LIPIcs 130, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-106-1 [contents] - 129Gill Barequet, Yusu Wang:
35th International Symposium on Computational Geometry, SoCG 2019, Portland, Oregon, USA, June 18-21, 2019. LIPIcs 129, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-104-7 [contents] - 128Nadia Pisanti, Solon P. Pissis:
30th Annual Symposium on Combinatorial Pattern Matching, CPM 2019, Pisa, Italy, June 18-20, 2019. LIPIcs 128, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-103-0 [contents] - 127Pablo Barceló, Marco Calautti:
22nd International Conference on Database Theory, ICDT 2019, Lisbon, Portugal, March 26-28, 2019. LIPIcs 127, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-101-6 [contents] - 126Rolf Niedermeier, Christophe Paul:
36th International Symposium on Theoretical Aspects of Computer Science, STACS 2019, Berlin, Germany, March 13-16, 2019. LIPIcs 126, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-100-9 [contents] - 125Jiannong Cao, Faith Ellen, Luís Rodrigues, Bernardo Ferreira:
22nd International Conference on Principles of Distributed Systems, OPODIS 2018, Hong Kong, December 17-19, 2018. LIPIcs 125, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-098-9 [contents] - 124Avrim Blum:
10th Innovations in Theoretical Computer Science Conference, ITCS 2019, San Diego, California, USA, January 10-12, 2019. LIPIcs 124, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-095-8 [contents] - 123Wen-Lian Hsu, Der-Tsai Lee, Chung-Shou Liao:
29th International Symposium on Algorithms and Computation, ISAAC 2018, Jiaoxi, Yilan, Taiwan, December 16-19, 2018. LIPIcs 123, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-094-1 [contents] - 122Sumit Ganguly, Paritosh K. Pandya:
38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2018, Ahmedabad, India, December 11-13, 2018. LIPIcs 122, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-093-4 [contents] - 121Ulrich Schmid, Josef Widder:
32nd International Symposium on Distributed Computing, DISC 2018, New Orleans, LA, USA, October 15-19, 2018. LIPIcs 121, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-092-7 [contents] - 120Natasha Alechina, Kjetil Nørvåg, Wojciech Penczek:
25th International Symposium on Temporal Representation and Reasoning, TIME 2018, Warsaw, Poland, October 15-17, 2018. LIPIcs 120, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-089-7 [contents] - 119Dan R. Ghica, Achim Jung:
27th EACSL Annual Conference on Computer Science Logic, CSL 2018, Birmingham, UK, September 4-7, 2018. LIPIcs 119, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-088-0 [contents] - 118Sven Schewe, Lijun Zhang:
29th International Conference on Concurrency Theory, CONCUR 2018, Beijing, China, September 4-7, 2018. LIPIcs 118, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-087-3 [contents] - 117Igor Potapov, Paul G. Spirakis, James Worrell:
43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018, Liverpool, UK, August 27-31, 2018. LIPIcs 117, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-086-6 [contents] - 116Eric Blais, Klaus Jansen, José D. P. Rolim, David Steurer:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2018, Princeton, NJ, USA, August 20-22, 2018. LIPIcs 116, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-085-9 [contents] - 115Christophe Paul, Michal Pilipczuk:
13th International Symposium on Parameterized and Exact Computation, IPEC 2018, Helsinki, Finland, August 20-24, 2018. LIPIcs 115, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-084-2 [contents] - 114Stephan Winter, Amy L. Griffin, Monika Sester:
10th International Conference on Geographic Information Science, GIScience 2018, Melbourne, Australia, August 28-31, 2018. LIPIcs 114, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-083-5 [contents] - 113Laxmi Parida, Esko Ukkonen:
18th International Workshop on Algorithms in Bioinformatics, WABI 2018, Helsinki, Finland, August 20-22, 2018. LIPIcs 113, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-082-8 [contents] - 112Yossi Azar, Hannah Bast, Grzegorz Herman:
26th Annual European Symposium on Algorithms, ESA 2018, Helsinki, Finland, August 20-22, 2018. LIPIcs 112, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-081-1 [contents] - 111Stacey Jeffery:
13th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2018, Sydney, Australia, July 16-18, 2018. LIPIcs 111, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-080-4 [contents] - 110James Allen Fill, Mark Daniel Ward:
29th International Conference on Probabilistic, Combinatorial and Asymptotic Methods for the Analysis of Algorithms, AofA 2018, Uppsala, Sweden, June 25-29, 2018. LIPIcs 110, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-078-1 [contents] - 109Todd D. Millstein:
32nd European Conference on Object-Oriented Programming, ECOOP 2018, Amsterdam, The Netherlands, July 16-21, 2018. LIPIcs 109, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-079-8 [contents] - 108Hélène Kirchner:
3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, Oxford, UK, July 9-12, 2018. LIPIcs 108, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-077-4 [contents] - 107Ioannis Chatzigiannakis, Christos Kaklamanis, Dániel Marx, Donald Sannella:
45th International Colloquium on Automata, Languages, and Programming, ICALP 2018, Prague, Czech Republic, July 9-13, 2018. LIPIcs 107, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-076-7 [contents] - 106Sebastian Altmeyer:
30th Euromicro Conference on Real-Time Systems, ECRTS 2018, Barcelona, Spain, July 3-6, 2018. LIPIcs 106, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-075-0 [contents] - 105Gonzalo Navarro, David Sankoff, Binhai Zhu:
Annual Symposium on Combinatorial Pattern Matching, CPM 2018, Qingdao, China, July 2-4, 2018. LIPIcs 105, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-074-3 [contents] - 104Andreas Abel, Fredrik Nordvall Forsberg, Ambrus Kaposi:
23rd International Conference on Types for Proofs and Programs, TYPES 2017, Budapest, Hungary, May 29 - June 1, 2017. LIPIcs 104, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-071-2 [contents] - 103Gianlorenzo D'Angelo:
17th International Symposium on Experimental Algorithms, SEA 2018, L'Aquila, Italy, June 27-29, 2018. LIPIcs 103, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-070-5 [contents] - 102Rocco A. Servedio:
33rd Computational Complexity Conference, CCC 2018, San Diego, CA, USA, June 22-24, 2018. LIPIcs 102, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-069-9 [contents] - 101David Eppstein:
16th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2018, Malmö, Sweden, June 18-20, 2018. LIPIcs 101, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-068-2 [contents] - 100Hiro Ito, Stefano Leonardi, Linda Pagli, Giuseppe Prencipe:
9th International Conference on Fun with Algorithms, FUN 2018, La Maddalena, Italy, June 13-15, 2018. LIPIcs 100, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-067-5 [contents] - 99Bettina Speckmann, Csaba D. Tóth:
34th International Symposium on Computational Geometry, SoCG 2018, Budapest, Hungary, June 11-14, 2018. LIPIcs 99, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-066-8 [contents] - 98Benny Kimelfeld, Yael Amsterdamer:
21st International Conference on Database Theory, ICDT 2018, Vienna, Austria, March 26-29, 2018. LIPIcs 98, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-063-7 [contents] - 97Silvia Ghilezan, Herman Geuvers, Jelena Ivetic:
22nd International Conference on Types for Proofs and Programs, TYPES 2016, Novi Sad, Serbia, May 23-26, 2016. LIPIcs 97, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-065-1 [contents] - 96Rolf Niedermeier, Brigitte Vallée:
35th Symposium on Theoretical Aspects of Computer Science, STACS 2018, Caen, France, February 28 - March 3, 2018. LIPIcs 96, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-062-0 [contents] - 95James Aspnes, Alysson Bessani, Pascal Felber, João Leitão:
21st International Conference on Principles of Distributed Systems, OPODIS 2017, Lisbon, Portugal, December 18-20, 2017. LIPIcs 95, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-061-3 [contents] - 94Anna R. Karlin:
9th Innovations in Theoretical Computer Science Conference, ITCS 2018, Cambridge, MA, USA, January 11-14, 2018. LIPIcs 94, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-060-6 [contents] - 93Satya V. Lokam, R. Ramanujam:
37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, Kanpur, India, December 11-15, 2017. LIPIcs 93, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-055-2 [contents] - 92Yoshio Okamoto, Takeshi Tokuyama:
28th International Symposium on Algorithms and Computation, ISAAC 2017, Phuket, Thailand, December 9-12, 2017. LIPIcs 92, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-054-5 [contents] - 91Andréa W. Richa:
31st International Symposium on Distributed Computing, DISC 2017, Vienna, Austria, October 16-20, 2017. LIPIcs 91, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-053-8 [contents] - 90Sven Schewe, Thomas Schneider, Jef Wijsen:
24th International Symposium on Temporal Representation and Reasoning, TIME 2017, Mons, Belgium, October 16-18, 2017. LIPIcs 90, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-052-1 [contents] - 89Daniel Lokshtanov, Naomi Nishimura:
12th International Symposium on Parameterized and Exact Computation, IPEC 2017, Vienna, Austria, September 6-8, 2017. LIPIcs 89, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-051-4 [contents] - 88Russell Schwartz, Knut Reinert:
17th International Workshop on Algorithms in Bioinformatics, WABI 2017, Boston, MA, USA, August 21-23, 2017. LIPIcs 88, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-050-7 [contents] - 87Kirk Pruhs, Christian Sohler:
25th Annual European Symposium on Algorithms, ESA 2017, Vienna, Austria, September 4-6, 2017. LIPIcs 87, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-049-1 [contents] - 86Eliseo Clementini, Maureen Donnelly, May Yuan, Christian Kray, Paolo Fogliaroni, Andrea Ballatore:
13th International Conference on Spatial Information Theory, COSIT 2017, L'Aquila, Italy, September 4-8, 2017. LIPIcs 86, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-043-9 [contents] - 85Roland Meyer, Uwe Nestmann:
28th International Conference on Concurrency Theory, CONCUR 2017, Berlin, Germany, September 5-8, 2017. LIPIcs 85, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-048-4 [contents] - 84Dale Miller:
2nd International Conference on Formal Structures for Computation and Deduction, FSCD 2017, Oxford, UK, September 3-9, 2017. LIPIcs 84, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-047-7 [contents] - 83Kim G. Larsen, Hans L. Bodlaender, Jean-François Raskin:
42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017, Aalborg, Denmark, August 21-25, 2017. LIPIcs 83, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-046-0 [contents] - 82Valentin Goranko, Mads Dam:
26th EACSL Annual Conference on Computer Science Logic, CSL 2017, Stockholm, Sweden, August 20-24, 2017. LIPIcs 82, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-045-3 [contents] - 81Klaus Jansen, José D. P. Rolim, David Williamson, Santosh S. Vempala:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2017, Berkeley, CA, USA, August 16-18, 2017. LIPIcs 81, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-044-6 [contents] - 80Ioannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn, Anca Muscholl:
44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, Warsaw, Poland, July 10-14, 2017. LIPIcs 80, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-041-5 [contents] - 79Ryan O'Donnell:
32nd Computational Complexity Conference, CCC 2017, Riga, Latvia, July 6-9, 2017. LIPIcs 79, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-040-8 [contents] - 78Juha Kärkkäinen, Jakub Radoszewski, Wojciech Rytter:
28th Annual Symposium on Combinatorial Pattern Matching, CPM 2017, Warsaw, Poland, July 4-6, 2017. LIPIcs 78, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-039-2 [contents] - 77Boris Aronov, Matthew J. Katz:
33rd International Symposium on Computational Geometry, SoCG 2017, Brisbane, Australia, July 4-7, 2017. LIPIcs 77, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-038-5 [contents] - 76Marko Bertogna:
29th Euromicro Conference on Real-Time Systems, ECRTS 2017, Dubrovnik, Croatia, June 27-30, 2017. LIPIcs 76, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-037-8 [contents] - 75Costas S. Iliopoulos, Solon P. Pissis, Simon J. Puglisi, Rajeev Raman:
16th International Symposium on Experimental Algorithms, SEA 2017, London, UK, June 21-23, 2017. LIPIcs 75, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-036-1 [contents] - 74Peter Müller:
31st European Conference on Object-Oriented Programming, ECOOP 2017, Barcelona, Spain, June 19-23, 2017. LIPIcs 74, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-035-4 [contents] - 73Mark M. Wilde:
12th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2017, Paris, France, June 14-16, 2017. LIPIcs 73, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-034-7 [contents] - 72Filippo Bonchi, Barbara König:
7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, Ljubljana, Slovenia, June 12-16, 2017. LIPIcs 72, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-033-0 [contents] - 71Benjamin S. Lerner, Rastislav Bodík, Shriram Krishnamurthi:
2nd Summit on Advances in Programming Languages, SNAPL 2017, Asilomar, CA, USA, May 7-10, 2017. LIPIcs 71, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-032-3 [contents] - 70Panagiota Fatourou, Ernesto Jiménez, Fernando Pedone:
20th International Conference on Principles of Distributed Systems, OPODIS 2016, Madrid, Spain, December 13-16, 2016. LIPIcs 70, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-031-6 [contents] - 69Tarmo Uustalu:
21st International Conference on Types for Proofs and Programs, TYPES 2015, Tallinn, Estonia, May 18-21, 2015. LIPIcs 69, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2018, ISBN 978-3-95977-030-9 [contents] - 68Michael Benedikt, Giorgio Orsi:
20th International Conference on Database Theory, ICDT 2017, Venice, Italy, March 21-24, 2017. LIPIcs 68, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-024-8 [contents] - 67Christos H. Papadimitriou:
8th Innovations in Theoretical Computer Science Conference, ITCS 2017, Berkeley, CA, USA, January 9-11, 2017. LIPIcs 67, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-029-3 [contents] - 66Heribert Vollmer, Brigitte Vallée:
34th Symposium on Theoretical Aspects of Computer Science, STACS 2017, Hannover, Germany, March 8-11, 2017. LIPIcs 66, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-028-6 [contents] - 65Akash Lal, S. Akshay, Saket Saurabh, Sandeep Sen:
36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2016, Chennai, India, December 13-15, 2016. LIPIcs 65, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-027-9 [contents] - 64Seok-Hee Hong:
27th International Symposium on Algorithms and Computation, ISAAC 2016, Sydney, Australia, December 12-14, 2016. LIPIcs 64, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-026-2 [contents] - 63Jiong Guo, Danny Hermelin:
11th International Symposium on Parameterized and Exact Computation, IPEC 2016, Aarhus, Denmark, August 24-26, 2016. LIPIcs 63, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2017, ISBN 978-3-95977-023-1 [contents] - 62Jean-Marc Talbot, Laurent Regnier:
25th EACSL Annual Conference on Computer Science Logic, CSL 2016, Marseille, France, August 29 - September 1, 2016. LIPIcs 62, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-022-4 [contents] - 61Anne Broadbent:
11th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2016, Berlin, Germany, September 27-29, 2016. LIPIcs 61, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-019-4 [contents] - 60Klaus Jansen, Claire Mathieu, José D. P. Rolim, Chris Umans:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2016, Paris, France, September 7-9, 2016. LIPIcs 60, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-018-7 [contents] - 59Josée Desharnais, Radha Jagadeesan:
27th International Conference on Concurrency Theory, CONCUR 2016, Québec City, Canada, August 23-26, 2016. LIPIcs 59, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-017-0 [contents] - 58Piotr Faliszewski, Anca Muscholl, Rolf Niedermeier:
41st International Symposium on Mathematical Foundations of Computer Science, MFCS 2016, Kraków, Poland, August 22-26, 2016. LIPIcs 58, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-016-3 [contents] - 57Piotr Sankowski, Christos D. Zaroliagis:
24th Annual European Symposium on Algorithms, ESA 2016, Aarhus, Denmark, August 22-24, 2016. LIPIcs 57, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-015-6 [contents] - 56Shriram Krishnamurthi, Benjamin S. Lerner:
30th European Conference on Object-Oriented Programming, ECOOP 2016, Rome, Italy, July 18-22, 2016. LIPIcs 56, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-014-9 [contents] - 55Ioannis Chatzigiannakis, Michael Mitzenmacher, Yuval Rabani, Davide Sangiorgi:
43rd International Colloquium on Automata, Languages, and Programming, ICALP 2016, Rome, Italy, July 11-15, 2016. LIPIcs 55, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-013-2 [contents] - 54Roberto Grossi, Moshe Lewenstein:
27th Annual Symposium on Combinatorial Pattern Matching, CPM 2016, Tel Aviv, Israel, June 27-29, 2016. LIPIcs 54, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-012-5 [contents] - 53Rasmus Pagh:
15th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2016, Reykjavik, Iceland, June 22-24, 2016. LIPIcs 53, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-011-8 [contents] - 52Delia Kesner, Brigitte Pientka:
1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016, Porto, Portugal, June 22-26, 2016. LIPIcs 52, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-010-1 [contents] - 51Sándor P. Fekete, Anna Lubiw:
32nd International Symposium on Computational Geometry, SoCG 2016, Boston, MA, USA, June 14-18, 2016. LIPIcs 51, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-009-5 [contents] - 50Ran Raz:
31st Conference on Computational Complexity, CCC 2016, Tokyo, Japan, May 29 - June 1, 2016. LIPIcs 50, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-008-8 [contents] - 49Erik D. Demaine, Fabrizio Grandoni:
8th International Conference on Fun with Algorithms, FUN 2016, La Maddalena, Italy, June 8-10, 2016. LIPIcs 49, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-005-7 [contents] - 48Wim Martens, Thomas Zeume:
19th International Conference on Database Theory, ICDT 2016, Bordeaux, France, March 15-18, 2016. LIPIcs 48, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-002-6 [contents] - 47Nicolas Ollinger, Heribert Vollmer:
33rd Symposium on Theoretical Aspects of Computer Science, STACS 2016, Orléans, France, February 17-20, 2016. LIPIcs 47, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-95977-001-9 [contents] - 46Emmanuelle Anceaume, Christian Cachin, Maria Gradinariu Potop-Butucaru:
19th International Conference on Principles of Distributed Systems, OPODIS 2015, Rennes, France, December 14-17, 2015. LIPIcs 46, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2016, ISBN 978-3-939897-98-9 [contents] - 45Prahladh Harsha, G. Ramalingam:
35th IARCS Annual Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2015, Bangalore, India, December 16-18, 2015. LIPIcs 45, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-97-2 [contents] - 44Salman Beigi, Robert König:
10th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2015, Brussels, Belgium, May 20-22, 2015. LIPIcs 44, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-96-5 [contents] - 43Thore Husfeldt, Iyad A. Kanj:
10th International Symposium on Parameterized and Exact Computation, IPEC 2015, Patras, Greece, September 16-18, 2015. LIPIcs 43, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-92-7 [contents] - 42Luca Aceto, David de Frutos-Escrig:
26th International Conference on Concurrency Theory, CONCUR 2015, Madrid, Spain, September 1-4, 2015. LIPIcs 42, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-91-0 [contents] - 41Stephan Kreutzer:
24th EACSL Annual Conference on Computer Science Logic, CSL 2015, Berlin, Germany, September 7-10, 2015. LIPIcs 41, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-90-3 [contents] - 40Naveen Garg, Klaus Jansen, Anup Rao, José D. P. Rolim:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2015, Princeton, NJ, USA, August 24-26, 2015. LIPIcs 40, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-89-7 [contents] - 39Hugo Herbelin, Pierre Letouzey, Matthieu Sozeau:
20th International Conference on Types for Proofs and Programs, TYPES 2014, Paris, France, May 12-15, 2014. LIPIcs 39, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-88-0 [contents] - 38Thorsten Altenkirch:
13th International Conference on Typed Lambda Calculi and Applications, TLCA 2015, Warsaw, Poland, July 1-3, 2015. LIPIcs 38, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-87-3 [contents] - 37John Tang Boyland:
29th European Conference on Object-Oriented Programming, ECOOP 2015, Prague, Czech Republic, July 5-10, 2015. LIPIcs 37, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-86-6 [contents] - 36Maribel Fernández:
26th International Conference on Rewriting Techniques and Applications, RTA 2015, Warsaw, Poland, June 29 - July 1, 2015. LIPIcs 36, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-85-9 [contents] - 35Lawrence S. Moss, Pawel Sobocinski:
6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, Nijmegen, The Netherlands, June 24-26, 2015. LIPIcs 35, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-84-2 [contents] - 34Lars Arge, János Pach:
31st International Symposium on Computational Geometry, SoCG 2015, Eindhoven, The Netherlands, June 22-25, 2015. LIPIcs 34, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-83-5 [contents] - 33David Zuckerman:
30th Conference on Computational Complexity, CCC 2015, Portland, Oregon, USA, June 17-19, 2015. LIPIcs 33, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-81-1 [contents] - 32Thomas Ball, Rastislav Bodík, Shriram Krishnamurthi, Benjamin S. Lerner, Greg Morrisett:
1st Summit on Advances in Programming Languages, SNAPL 2015, Asilomar, California, USA, May 3-6, 2015. LIPIcs 32, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-80-4 [contents] - 31Marcelo Arenas, Martín Ugarte:
18th International Conference on Database Theory, ICDT 2015, Brussels, Belgium, March 23-27, 2015. LIPIcs 31, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-79-8 [contents] - 30Ernst W. Mayr, Nicolas Ollinger:
32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015, Garching, Germany, March 4-7, 2015. LIPIcs 30, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-78-1 [contents] - 29Venkatesh Raman, S. P. Suresh:
34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014, New Delhi, India, December 15-17, 2014. LIPIcs 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-77-4 [contents] - 28Klaus Jansen, José D. P. Rolim, Nikhil R. Devanur, Cristopher Moore:
Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques, APPROX/RANDOM 2014, Barcelona, Spain, September 4-6, 2014. LIPIcs 28, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-74-3 [contents] - 27Steven T. Flammia, Aram W. Harrow:
9th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2014, Singapore, May 21-23, 2014. LIPIcs 27, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-73-6 [contents] - 26Ralph Matthes, Aleksy Schubert:
19th International Conference on Types for Proofs and Programs, TYPES 2013, Toulouse, France, April 22-26, 2013. LIPIcs 26, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-72-9 [contents] - 25Ernst W. Mayr, Natacha Portier:
31st International Symposium on Theoretical Aspects of Computer Science, STACS 2014, Lyon, France, March 5-8, 2014. LIPIcs 25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2014, ISBN 978-3-939897-65-1 [contents] - 24Anil Seth, Nisheeth K. Vishnoi:
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, Guwahati, India, December 12-14, 2013. LIPIcs 24, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-64-4 [contents] - 23Simona Ronchi Della Rocca:
Computer Science Logic 2013, CSL 2013, Torino, Italy, September 2-5, 2013. LIPIcs 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-60-6 [contents] - 22Simone Severini, Fernando G. S. L. Brandão:
8th Conference on the Theory of Quantum Computation, Communication and Cryptography, TQC 2013, Guelph, Canada, May 21-23, 2013. LIPIcs 22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-55-2 [contents] - 21Femke van Raamsdonk:
24th International Conference on Rewriting Techniques and Applications, RTA 2013, Eindhoven, The Netherlands, June 24-26, 2013. LIPIcs 21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-53-8 [contents] - 20Natacha Portier, Thomas Wilke:
30th International Symposium on Theoretical Aspects of Computer Science, STACS 2013, Kiel, Germany, February 27 - March 2, 2013. LIPIcs 20, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-50-7 [contents] - 19Nils Anders Danielsson, Bengt Nordström:
18th International Workshop on Types for Proofs and Programs, TYPES 2011, Bergen, Norway, September 8-11, 2011. LIPIcs 19, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-49-1 [contents] - 18Deepak D'Souza, Telikepalli Kavitha, Jaikumar Radhakrishnan:
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, Hyderabad, India, December 15-17, 2012. LIPIcs 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-47-7 [contents] - 17Agostino Dovier, Vítor Santos Costa:
Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012, Budapest, Hungary, September 4-8, 2012. LIPIcs 17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-43-9 [contents] - 16Patrick Cégielski, Arnaud Durand:
Computer Science Logic - 26th International Workshop / 21st Annual Conference of the EACSL, CSL 2012, Fontainebleau, France, September 3-6, 2012. LIPIcs 16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-42-2 [contents] - 15Ashish Tiwari:
23rd International Conference on Rewriting Techniques and Applications, RTA 2012, Nagoya, Japan, May 28 - June 2, 2012. LIPIcs 15, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-38-5 [contents] - 14Christoph Dürr, Thomas Wilke:
29th International Symposium on Theoretical Aspects of Computer Science, STACS 2012, Paris, France, February 29 - March 3, 2012. LIPIcs 14, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2012, ISBN 978-3-939897-35-4 [contents] - 13Supratik Chakraborty, Amit Kumar:
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2011, Mumbai, India, December 12-14, 2011. LIPIcs 13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2011, ISBN 978-3-939897-34-7 [contents] - 12Marc Bezem:
Computer Science Logic - 25th International Workshop / 20th Annual Conference of the EACSL, CSL 2011, Bergen, Norway, September 12-15, 2011, Proceedings. LIPIcs 12, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2011, ISBN 978-3-939897-32-3 [contents] - 11John P. Gallagher, Michael Gelfond:
Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011, Lexington, Kentucky, USA, July 6-10, 2011. LIPIcs 11, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2011, ISBN 978-3-939897-31-6 [contents] - 10Manfred Schmidt-Schauß:
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, Novi Sad, Serbia, May 30 - June 1, 2011. LIPIcs 10, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2011, ISBN 978-3-939897-30-9 [contents] - 9Thomas Schwentick, Christoph Dürr:
28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, Dortmund, Germany, March 10-12, 2011. LIPIcs 9, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2011, ISBN 978-3-939897-25-5 [contents] - 8Kamal Lodaya, Meena Mahajan:
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, Chennai, India, December 15-18, 2010. LIPIcs 8, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2010, ISBN 978-3-939897-23-1 [contents] - 7Manuel V. Hermenegildo, Torsten Schaub:
Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, Edinburgh, Scotland, UK, July 16-19, 2010. LIPIcs 7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2010, ISBN 978-3-939897-17-0 [contents] - 6Christopher Lynch:
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, RTA 2010, Edinburgh, Scottland, UK, July 11-13, 2010. LIPIcs 6, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2010, ISBN 978-3-939897-18-7 [contents] - 5Jean-Yves Marion, Thomas Schwentick:
27th International Symposium on Theoretical Aspects of Computer Science, STACS 2010, Nancy, France, March 4-6, 2010. LIPIcs 5, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2010, ISBN 978-3-939897-16-3 [contents] - 4Ravi Kannan, K. Narayan Kumar:
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, IIT Kanpur, India, December 15-17, 2009. LIPIcs 4, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2009, ISBN 978-3-939897-13-2 [contents] - 3Susanne Albers, Jean-Yves Marion:
Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science, STACS 2009, Freiburg, Germany, February 26-28, 2009. LIPIcs 3, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009, ISBN 978-3-939897-09-5 [contents] - 2Ramesh Hariharan, Madhavan Mukund, V. Vinay:
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2008, Bangalore, India, December 9-11, 2008. LIPIcs 2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2008 [contents] - 1Susanne Albers, Pascal Weil:
Proceedings of the 25th Annual Symposium on Theoretical Aspects of Computer Science, STACS 2008, Bordeaux, France, February 21-23, 2008. LIPIcs 1, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2008 [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.
last updated on 2026-10-17 00:38 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
