- Email: [email protected]
20th workshop on logic, language, information and computation – WoLLIC 2013
Journal of Computer and System Sciences 88 (2017) 1–2
Contents lists available at ScienceDirect
Journal of Computer and System Sciences www.elsevier.com/locate/jcss
Editorial
20th workshop on logic, language, information and computation – WoLLIC 2013 Preface This special issue of JCSS brings a selection of papers presented at the 20th Workshop on Logic, Language, Information and Computation (WoLLIC 2013), which was held on August 20–23, 2013, at Fachbereich Mathematik, Technische Universität Darmstadt, Germany. Short versions of twenty-three papers presented at the Workshop were published in Logic, Language, Information and Computation – 20th International Workshop, WoLLIC 2013, edited by Leonid Libkin, Ulrich Kohlenbach, and Ruy de Queiroz, Springer Lecture Notes in Computer Science 8071, a volume in the FoLLI-LNCS series. For the present issue, six of those papers were selected and appear here in fuller versions. All papers have been selected and refereed by a fresh panel of referees according to the usual JCSS standards. Held over the course of four days, WoLLIC 2013 included both extended tutorial sessions and general lectures, given by an international panel of the world’s top experts in the fields of theoretical and applied logic, linguistics, and computer science. The composition of the speakers and the other participants of the workshop reflected the diversity of the event: included were members of theoretical computer science, mathematics, philosophy, and linguistics communities from several geographical locales. The close contact between the speakers and the other participants ensured, within the intensive workshop environment, an intimate setting in which the free and fruitful exchange of ideas could take place. The invited talks were given by: Natasha Alechina (University of Nottingham) on Logic and Agent Programming Languages; Steve Awodey (Carnegie Mellon University) on Natural Models of Homotopy Type Theory; Mikolaj Bojanczyk (Warsaw University) on Modelling Infinite Structures with Atoms; Wim Martens (Universität Bayreuth) on The Logic and Illogic of SPARQL property paths; Catuscia Palamidessi (INRIA Saclay and LIX) on Quantitative approaches to information protection; and Thomas Schwentick (TU Dortmund) on Perspectives of dynamic complexity In addition, two of the invited speakers gave tutorials at the workshop: Catuscia Palamidessi on Quantitative Aspects of Information Flow and Privacy, and Mikolaj Bojanczyk on Computing in Sets with Atoms. WoLLIC is a series of annual workshops which started in Latin America in 1994 with the aim of fostering interdisciplinary research in pure and applied logic. The idea of the workshop is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction across logic-related disciplines. In recent years WoLLIC has alternated between Latin America and other countries. We are grateful to the many people who contributed to the success of the meeting and to this special issue: Programme Committee members, invited speakers, and authors and presenters of contributed papers; the external reviewers who often provided detailed and highly valuable feedback; the hard-working Organising Committee in Darmstadt, led with great enthusiasm by the members of the TUD Logic Group; and the referees of the papers invited to the special issue. On behalf of the entire WoLLIC community, we also express our gratitude to our institutional sponsors and supporters. We acknowledge the financial support of Technische Universität Darmstadt (Fachbereich Mathematik), and the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG), as well as the scientific sponsorship of the following organizations: Technische Universität Darmstadt (Fachbereich Mathematik), Universidade Federal de Pernambuco, Brazil, the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). http://dx.doi.org/10.1016/j.jcss.2017.05.009 0022-0000/© 2017 Published by Elsevier Inc.
2
Editorial
Leonid Libkin, Programme Chair School of Informatics, Laboratory for Foundations of Computer Science, University of Edinburgh, UK E-mail address: [email protected] Ulrich Kohlenbach, Workshop Chair Department of Mathematics, Technische Universität Darmstadt, Germany E-mail address: [email protected] Ruy J.G.B. de Queiroz, General Chair Centro de Informática, Universidade Federal de Pernambuco, Brazil E-mail address: [email protected]
Contents lists available at ScienceDirect
Journal of Computer and System Sciences www.elsevier.com/locate/jcss
Editorial
20th workshop on logic, language, information and computation – WoLLIC 2013 Preface This special issue of JCSS brings a selection of papers presented at the 20th Workshop on Logic, Language, Information and Computation (WoLLIC 2013), which was held on August 20–23, 2013, at Fachbereich Mathematik, Technische Universität Darmstadt, Germany. Short versions of twenty-three papers presented at the Workshop were published in Logic, Language, Information and Computation – 20th International Workshop, WoLLIC 2013, edited by Leonid Libkin, Ulrich Kohlenbach, and Ruy de Queiroz, Springer Lecture Notes in Computer Science 8071, a volume in the FoLLI-LNCS series. For the present issue, six of those papers were selected and appear here in fuller versions. All papers have been selected and refereed by a fresh panel of referees according to the usual JCSS standards. Held over the course of four days, WoLLIC 2013 included both extended tutorial sessions and general lectures, given by an international panel of the world’s top experts in the fields of theoretical and applied logic, linguistics, and computer science. The composition of the speakers and the other participants of the workshop reflected the diversity of the event: included were members of theoretical computer science, mathematics, philosophy, and linguistics communities from several geographical locales. The close contact between the speakers and the other participants ensured, within the intensive workshop environment, an intimate setting in which the free and fruitful exchange of ideas could take place. The invited talks were given by: Natasha Alechina (University of Nottingham) on Logic and Agent Programming Languages; Steve Awodey (Carnegie Mellon University) on Natural Models of Homotopy Type Theory; Mikolaj Bojanczyk (Warsaw University) on Modelling Infinite Structures with Atoms; Wim Martens (Universität Bayreuth) on The Logic and Illogic of SPARQL property paths; Catuscia Palamidessi (INRIA Saclay and LIX) on Quantitative approaches to information protection; and Thomas Schwentick (TU Dortmund) on Perspectives of dynamic complexity In addition, two of the invited speakers gave tutorials at the workshop: Catuscia Palamidessi on Quantitative Aspects of Information Flow and Privacy, and Mikolaj Bojanczyk on Computing in Sets with Atoms. WoLLIC is a series of annual workshops which started in Latin America in 1994 with the aim of fostering interdisciplinary research in pure and applied logic. The idea of the workshop is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation, and yet is small enough to allow for concrete and useful interaction across logic-related disciplines. In recent years WoLLIC has alternated between Latin America and other countries. We are grateful to the many people who contributed to the success of the meeting and to this special issue: Programme Committee members, invited speakers, and authors and presenters of contributed papers; the external reviewers who often provided detailed and highly valuable feedback; the hard-working Organising Committee in Darmstadt, led with great enthusiasm by the members of the TUD Logic Group; and the referees of the papers invited to the special issue. On behalf of the entire WoLLIC community, we also express our gratitude to our institutional sponsors and supporters. We acknowledge the financial support of Technische Universität Darmstadt (Fachbereich Mathematik), and the Deutsche Vereinigung für Mathematische Logik und für Grundlagenforschung der Exakten Wissenschaften (DVMLG), as well as the scientific sponsorship of the following organizations: Technische Universität Darmstadt (Fachbereich Mathematik), Universidade Federal de Pernambuco, Brazil, the Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), the Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL). http://dx.doi.org/10.1016/j.jcss.2017.05.009 0022-0000/© 2017 Published by Elsevier Inc.
2
Editorial
Leonid Libkin, Programme Chair School of Informatics, Laboratory for Foundations of Computer Science, University of Edinburgh, UK E-mail address: [email protected] Ulrich Kohlenbach, Workshop Chair Department of Mathematics, Technische Universität Darmstadt, Germany E-mail address: [email protected] Ruy J.G.B. de Queiroz, General Chair Centro de Informática, Universidade Federal de Pernambuco, Brazil E-mail address: [email protected]