- finite-model-theory - lists.rwth-aachen.de

FSCD 2023: Extended deadline (Abstract: February 4/ Submission:
by Carsten Fuhs 01 Feb '23

01 Feb '23

============================================================================== Updated information on: EXTENDED DEADLINE for submission ============================================================================== LAST CALL FOR PAPERS Eighth International Conference on Formal Structures for Computation and Deduction (FSCD 2023) July 3-6, 2023, Rome, Italy https://easyconferences.eu/fscd2023/ In-cooperation with ACM SIGLOG and SIGPLAN IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Abstract: EXTENDED to February 4, 2023 Submission: EXTENDED to February 9, 2023 Rebuttal: March 24-28, 2023 (not changed) Notification: April 13, 2023 (not changed) Final version: April 27, 2023 (not changed) CO-LOCATION AND AFFILIATED WORKSHOPS ------------------------------------ FSCD 2023 will be co-located with CADE-29. The following workshops are affiliated with FSCD and CADE in 2023: - WIL: 7th Workshop Women in Logic (July 1, 2023) - WPTE: 10th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (July 1, 2023) - TLLA: 7th International Workshop on Trends in Linear Logic and Applications (July 1-2, 2023) - LSFA: 8th Logical and Semantic Frameworks with Applications (July 1-2, 2023) - DCM: 13th International Workshop on Developments in Computational Models (July 2, 2023) - LFMTP: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (July 2, 2023) - UNIF: 37th International Workshop on Unification (July 2, 2023) - CASC: The CADE ATP System Competition (July 3, 2023) - HOR: 11th International Workshop on Higher-Order Rewriting (July 4, 2023) - SMT: 21st International Workshop on Satisfiability Modulo Theories (July 4-6, 2023) - ADeMaL: Automated Deduction for Machine Learning (July 5, 2023) - ThEdu: Theorem proving components for Educational software (July 5, 2023) - Vampire: 7th Vampire Workshop (July 5, 2023) - IFIP WG 1.6: Annual Meeting of IFIP Working Group 1.6 on Rewriting (July 5, 2023) OVERVIEW -------- FSCD (https://fscd-conference.org/) covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logic, models of computation, semantics and verification in new challenging areas. The suggested, but not exclusive, list of topics for submission is: 1. Calculi: - Rewriting systems (string, term, higher-order, graph, conditional, modulo, infinitary, etc.); - Lambda calculus; - Logics (first-order, higher-order, equational, modal, linear, classical, constructive, etc.); - Proof theory (natural deduction, sequent calculus, proof nets, etc.); - Type theory and logical frameworks; - Homotopy type theory; - Quantum calculi. 2. Methods in Computation and Deduction: - Type systems (polymorphism, dependent, recursive, intersection, session, etc.); - Induction, coinduction; - Matching, unification, completion, orderings; - Strategies (normalization, completeness, etc.); - Tree automata; - Model building and model checking; - Proof search and theorem proving; - Constraint solving and decision procedures. 3. Semantics: - Operational semantics and abstract machines; - Game Semantics and applications; - Domain theory and categorical models; - Quantitative models (timing, probabilities, etc.); - Quantum computation and emerging models in computation. 4. Algorithmic Analysis and Transformations of Formal Systems: - Type inference and type checking; - Abstract Interpretation; - Complexity analysis and implicit computational complexity; - Checking termination, confluence, derivational complexity and related properties; - Symbolic computation. 5. Tools and Applications: - Programming and proof environments; - Verification tools; - Proof assistants and interactive theorem provers; - Applications in industry; - Applications of formal systems in other sciences; - Applications of formal systems in education. 6. Formal Systems for Semantics and Verification in new challenging areas: - Certification; - Security; - Blockchain protocols; - Data bases; - Deep learning and machine learning algorithms; - Planning. PUBLICATION ----------- The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access. SPECIAL ISSUE ------------- Authors of selected papers will be invited to submit an extended version to a special issue of Logical Methods in Computer Science, or to TheoretiCS. SUBMISSION GUIDELINES --------------------- The submission site is: https://easychair.org/conferences/?conf=fscd2023 Submissions must be formatted using the LIPIcs style files (https://submission.dagstuhl.de/series/details/5#author) and submitted via EasyChair. Submissions can be made in two categories. Regular research papers are limited to 15 pages, excluding references and appendices. They must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages, excluding references. Shorter papers are welcome and will be given equal consideration. A system description must present new software tools, or significantly new versions of such tools, in which FSCD topics play an important role. An archive of the code with instructions on how to install and run the tool must be submitted. In addition, a webpage where the system can be experimented with should be provided. One author of each accepted paper is expected to register and present the work in person at the conference. Alternatively to in-person presentation, also online presentation is possible, but in-person registration by at least one author will still be required. BEST PAPER AWARD BY JUNIOR RESEARCHERS -------------------------------------- The program committee will select a paper in which at least one author is a junior researcher, i.e. either a student or whose PhD award date is less than three years from the first day of the meeting. When submitting the paper, other authors should declare to the PC Chairs that at least 50% of contribution is made by the junior researcher(s). PROGRAM COMMITTEE CHAIRS ------------------------ Marco Gaboardi, Boston University Femke van Raamsdonk, Vrije Universiteit Amsterdam Email: fscd2023 at easychair.org PROGRAM COMMITTEE ----------------- Martin Avanzini, INRIA Patrick Bahr, ITU Copenhagen Pablo Barenbaum, University of Quilmes (CONICET) & ICC Filippo Bonchi, University of Pisa Sabine Broda, University of Porto Valeria De Paiva, Topos Institute Andrej Dudenhefner, TU Dortmund Santiago Escobar, Universitat Politècnica de València Claudia Faggian, University of Paris (IRIF) Frank (Peng) Fu, Dalhousie University Silvio Ghilardi, University of Milano Clemens Grabmayer, GSSI or Gran Sasso Science Institute Nao Hirokawa, JAIST Mirai Ikebuchi, National Institute of Informatics Ambrus Kaposi, Eotvos Lorand University Ian Mackie, University of Sussex Radu Mardare, University of Strathclyde Aart Middeldorp, University of Innsbruck Anders Mortberg, University of Stockholm Daniele Nantes-Sobrinho, Imperial College London / University of Brasília Vincent van Oostrom, Independent researcher Grigore Rosu, University of Illinois Urbana-Champaign Luca Roversi, University of Torino Aleksy Schubert, University of Warsaw Jakob G. Simonsen, University of Copenhagen Alwen Tiu, Australian National University Valeria Vignudelli, CNRS/ENS Lyon Johannes Waldmann, HTWK Leipzig Sarah Winkler, University of Bolzano CONFERENCE CHAIR ---------------- Daniele Gorla, University of Rome - Sapienza WORKSHOP CHAIR -------------- Ivano Salvo, University of Rome - Sapienza STEERING COMMITTEE WORKSHOP CHAIR -------------------------------- Cynthia Kop, Radboud University Nijmegen PUBLICITY CHAIR --------------- Carsten Fuhs, Birkbeck, University of London FSCD STEERING COMMITTEE ----------------------- Zena Ariola, University of Oregon Alejandro Díaz-Caro, Quilmes University & ICC/CONICET Amy Felty, University of Ottawa Carsten Fuhs, Birkbeck, University of London Herman Geuvers (Chair), Radboud University Nijmegen Silvia Ghilezan, University of Novi Sad Jürgen Giesl, RWTH Aachen University Stefano Guerrini, Université de Paris 13 Delia Kesner, Université de Paris Diderot Naoki Kobayashi, University of Tokyo Cynthia Kop, Radboud University Nijmegen Luigi Liquori, Inria Daniele Nantes, Imperial College London / University of Brasília

1 0

Call for Papers: DaLí - Special Issue of the J. of Logical and Algebraic Methods in Programming
by Carlos Areces 30 Jan '23

30 Jan '23

Call for Papers (apologies for multiple copies of this email) *** DaLí - Dynamic Logic: new trends and applications *** special issue of the Journal of Logical and Algebraic Methods in Programming === General Description === Dynamic Logic (DL), a generalization of the logic of Floyd-Hoare introduced in the 70s by Pratt, is a well-known and particularly powerful way of combining propositions, for capturing static properties of program states, and structured actions, responsible for transitions from a state to another (and typically combined through a Kleene algebra to express sequential, non-deterministic, iterative behavior of systems), into a formal framework to reason about, and verify, classic imperative programs. Over time DL grew to encompass a family of logics increasingly popular in the verification of computational systems, and able to evolve and adapt to new, and complex validation challenges. In particular, the dynamic logic community is interested in the study of operators that can modify the structure in which they are being evaluated. Examples include dynamic logics tailored to specific programming problems or paradigms (e.g., separation logics to model the evolution of a program heap); languages to reason and represent evolving information (e.g., dynamic epistemic logics); and formalism that aim to model new computing domains, including probabilistic, continuous and quantum computation. This special issue is dedicated to new advances in Dynamic Logic. Its aim is to bring together papers on both pure and applied aspects of various branches of DL, and foster the exchange of ideas between researchers working in DL and other disciplines. We invite submissions on both (a) theoretical topics from all branches of mathematical logic (e.g., proof-theory, model theory, game theory, computational complexity, etc.) in connection with DL, as well as (b) their applications in various areas (including computer science, linguistics, mathematics, philosophy, etc.). === Topics of Interest === We invite submissions on the general field of Dynamic Logic, its variants and applications, including, but not restricted to: - Dynamic logic, foundations and applications - Logics with regular modalities - Modal/temporal/epistemic logics - Kleene and action algebras and their variants - Quantum dynamic logic - Coalgebraic modal/dynamic logics - Graded and fuzzy dynamic logics - Dynamic logics for cyber-physical systems - Dynamic epistemic logic - Complexity and decidability of variants of dynamic logics and temporal logics - Model checking, model generation and theorem proving for dynamic logics === Relevant dates and deadlines === Deadline for submission of papers: May 1st, 2023 Notification of acceptance/rejection: September 1st, 2023 Submission of final versions: October 1st, 2023 === Submissions === Papers should be submitted via EasyChair ( https://easychair.org/conferences/?conf=dalsi2023). The submissions should be formatted according to the Journal's guidelines ( https://www.elsevier.com/authors/policies-and-guidelines/latex-instructions ). All submissions will undergo the usual peer-review process by the standards of the Journal of Logical and Algebraic Methods in Programming. === Guest editors === Diana Costa (LASIGE, University of Lisbon, Portugal) dianafcosta(a)ua.pt Carlos Areces (FAMAF, Universidad Nacional de Córdoba, Argentina) carlos.areces(a)unc.edu.ar You can contact us if you have any questions. === A related conference === This special issue is a follow-up of the workshop “DaLí - Dynamic Logic: new trends and applications” (affiliated with LICS, as part of FLOC) that took part on the 31st of July and 1st of August 2022, ( http://dali2022.campus.ciencias.ulisboa.pt/). Although the scope of the special issue coincides with that of the workshop, submissions are not restricted to papers presented there or papers by the participants. Rather, the call is open and all papers within the scope of the special issue are welcome. Best regards, Diana & Carlos DaLí 2022 special issue editors.

1 0

[fm-announcements] FMICS 2023 - Call for Papers
by Titolo, Laura (LARC-D320)[NATIONAL INSTITUTE OF AEROSPACE] via fm-announcements 30 Jan '23

30 Jan '23

FMICS 2023: 28th International Conference on Formal Methods for Industrial Critical Systems Antwerp, Belgium, 20-22 September 2023 https://www.uantwerpen.be/en/conferences/confest-2023/fmics/ The aim of the FMICS conference series is to provide a forum for researchers and practitioners who are interested in the development and application of formal methods in the industry. FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS conference series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. IMPORTANT DATES: Paper submission: 15 May 2023 Authors’ response period: 28-30 June 2023 Notification: 14 July 2023 Camera-ready version: July 31, 2023 Conference: 20-22 September 2023 TOPICS: Topics of interest include (but are not limited to): - Case studies and experience reports on industrial applications of formal methods, focusing on lessons learned or identification of new research directions. - Methods, techniques, and tools to support automated analysis, certification, debugging, learning, optimization, and transformation of complex, distributed, real-time, embedded, mobile and autonomous systems. - Verification and validation methods (model checking, theorem proving, SAT/SMT constraint solving, abstract interpretation, etc.) that address the shortcomings of existing methods with respect to their industrial applicability (e.g., scalability and usability issues, tool qualification, and certification). - Impact of the adoption of formal methods on the development process and associated costs. - Application of formal methods in standardization and industrial forums. PAPER SUBMISSION: Papers must describe original research work and results. Submitted papers must not have previously appeared in a journal or conference with published proceedings and must not be concurrently submitted to any other peer-reviewed workshop, symposium, conference, or archival journal. Any partial overlap with any such published or concurrently submitted paper must be clearly indicated. Submissions should clearly motivate relevance to industrial applications. Case study papers should identify lessons learned, validate theoretical results (such as scalability of methods) or provide specific motivation for further research and development. Papers should not exceed 15 pages formatted according to the LNCS style (Springer). All submissions will be reviewed by the Programme Committee, which will make a selection among the submissions based on the novelty, soundness, and applicability of the presented ideas and results. Papers must be written in English and should be submitted as PDF files using the EasyChair submission site: https://easychair.org/conferences/?conf=fmics2023. PROCEEDINGS: The conference proceedings will be published by Springer in the LNCS series. At least one author of each accepted paper is expected to present the paper at the conference as a registered participant. BEST PAPER AWARD: An award will be presented to the authors of the submission selected by the Program Committee as the FMICS 2023 Best Paper. This submission will be awarded a 1.000 Euro prize sponsored by Springer. SPECIAL ISSUE: The Program Committee of FMICS 2023 will invite a selection of accepted papers to submit extended versions to a special issue of an International Journal. PC CHAIRS: Alessandro Cimatti, FBK, Italy Laura Titolo, NIA/NASA LaRC, USA PROGRAM COMMITTEE: Jasmin Blanchette (Vrije Universiteit Amsterdam, the Netherlands) Supratik Chakraborty (IIT Bombay, India) Pedro D'Argenio (Universidad Nacional de Cordoba, Argentina) Jennifer Davis (Collins Aerospace, USA) David Deharbe (Federal University of Rio Grande do Norte, Brazil) Alexandre Duret-Lutz (Laboratoire de Recherche et Développement de l'Epita, France) Alessandro Fantechi (University of Florence, Italy) Alessio Ferrari (CNR, Italy) Hubert Garavel (INRIA, France) Pierre-Loic Garoche (ENAC, France) Klaus Havelund (JPL, USA) Jean-Baptiste Jeannin (University of Michigan, USA) Barbara Jobstmann (EPFL, Switzerland) Laura Kovac (TU Wien, Austria) Tiziana Margaria (University of Limerick and LERO, Ireland) Paolo Masci (NIA/NASA Langley, USA) Stefan Mitsch (CMU, USA) Rosemary Monahan (Maynooth University, Ireland) David Monniaux (VERIMAG, France) Sergio Mover (Ecole Politechnique, France) Yannick Moy (ADACORE, France) Jorge Navas (Certora, USA) Dejan Nickovic (Austrian Institute of Technology, Austria) Kristine Yvonne Rozier (Iowa State University, USA) Cristina Seceleanu (Malardalen University, Sweden) Martina Seidl (Johannes Kepler University, Austria) Jaco van de Pol (Aarhus University, Denmark) Alicia Villanueva (Universitat Politecnica de Valencia, Spain) Virginie Wiels (Onera, France) FMICS STEERING COMMITTEE: Maurice ter Beek (ISTI-CNR, Italy) Alessandro Fantechi (University of Florence, Italy) Hubert Garavel (INRIA, France) Tiziana Margaria (University of Limerick and LERO, Ireland) Radu Mateescu (INRIA, France) Jaco van de Pol (Aarhus University, Denmark) VENUE: As in previous years, FMICS 2023 is part of the CONFEST umbrella conference. In addition to FMICS, CONFEST also comprises CONCUR, FORMATS, and QEST, as well as workshops and tutorials. CONFEST will be held in Antwerp, Belgium on 18-23 September 2023. --- To opt-out from this mailing list, send an email to fm-announcements-request(a)lists.nasa.gov with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-announcements-owner(a)lists.nasa.gov

1 0

Two PhD Positions in AUTOSARD
by Florian Zuleger 30 Jan '23

30 Jan '23

Two 4-year PhD positions @ AUTOSARD ====================================================================== Within the AUTOSARD project, led by Georg Moser (University of Innsbruck) and Florian Zuleger (Vienna University of Technology), both in Austria, there are two openings for 4 year PhD student positions. In AUTOSARD, we target an automated complexity analysis of the most common data structures with good, ie. sublinear, complexity, as they are typically used in standard libraries of programming languages. Our goals are the verification of textbook data structures, the confirmation and improvement (on coefficients) of previously reported complexity bounds, as well as the automated analysis of realistic data structure implementations. For more details, kindly see https://tcs-informatik.uibk.ac.at/projects/autosard/ The PhD positions will be be jointly supervised by Georg and Florian and are either located at Innsbruck or Vienna. Applications (including CV, short letter of motivation, three references, preferred location) should be submitted to either - Georg Moser (georg.moser(a)uibk.ac.at) or - Florian Zuleger (florian.zuleger(a)tuwien.ac.at) no later than *March 12, 2023*. Informal inquiries may be sent to either Florian or Georg. The city of Innsbruck is superbly located in the beautiful surroundings of the Tyrolean Alps. The combination of urban life in this historic town and the Alpine environment provides a high quality of living. On the other hand, Vienna has just last year reclaimed the title of the world’s most liveable city; a title it frequently held in the last years. Further information on the hosting groups and institutions is available from the following links: - Theoretical Computer Science Group https://tcs-informatik.uibk.ac.at/ - University of Innsbruck https://www.uibk.ac.at/ - Formal Methods in Systems Engineering https://informatics.tuwien.ac.at/orgs/e192-04 - Vienna University of Technology https://www.tuwien.at/ Best wishes, Florian and Georg

1 0

CiE 2023: FINAL CALL FOR PAPERS
by acie＠acie.eu 27 Jan '23

27 Jan '23

CIE 2023: FINAL CALL FOR PAPERS COMPUTABILITY IN EUROPE 2023 Unity of Logic and Computation Batumi, Georgia July 24-28, 2023 https://www.viam.science.tsu.ge/cie2023/ Submission link: https://easychair.org/conferences/?conf=cie2023 IMPORTANT DATES: * Deadline for article registration (abstract submission): February 8, 2023 (AOE) * Deadline for article submission: February 15, 2023 (AOE) * Notification of acceptance: April 20, 2023 * Final versions due: May 1, 2023 * Deadline for informal presentations submission: June 8, 2023 (The notifications of acceptance for informal presentations will be sent a few days after submission.) * Early registration before: June 10, 2023. GENERAL INFORMATION CiE 2023 is the 19th conference organized by CiE (Computability in Europe), a European association of mathematicians, logicians, computer scientists, philosophers, physicists and others interested in new developments in computability and their underlying significance for the real world. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), Turku (2017), Kiel (2018), Durham (2019), Salerno (2020, virtually), Ghent (2021, virtually), and Swansea (2022). TUTORIAL SPEAKERS * Ludovic Perret (Sorbonne University) * Ludovic Patey (Université Paris Diderot) INVITED SPEAKERS * Andrei Bulatov (Simon Fraser University) * Anne Condon (University of British Columbia) * Stephanie Dick (University of Pennsylvania) * Kirsten Eisenträger (Pennsylvania State University) * Neil Lutz (Iowa State University) * Mark Steedman (University of Edinburgh) SPECIAL SESSIONS We are going to have 6 special sessions. The topics of the special sessions will be announced soon. CONFERENCE TOPICS The CiE conferences serve as an interdisciplinary forum for research in all aspects of computability, foundations of computer science, logic, and theoretical computer science, as well as the interplay of these areas with practical issues in computer science and with other disciplines such as biology, mathematics, philosophy, or physics. PAPER SUBMISSION THE PROGRAM COMMITTEE cordially invites all researchers, European and non-European, to submit their papers in all areas related to the above for presentation at the conference and inclusion in the proceedings of CiE 2023 at https://easychair.org/conferences/?conf=cie2023 CONFERENCE PROCEEDINGS Papers submitted to the conference proceedings should represent original work, not simultaneously submitted to another journal or conference with formal proceedings. The Program Committee will rigorously review and select submitted papers. Accepted papers will be published as a proceedings volume in the Lecture Notes in Computer Science (LNCS) series from Springer-Verlag. Papers to be considered in the conferences proceedings must be submitted in PDF format, using the LNCS style (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…) and must have a maximum of 12 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Papers building bridges between different parts of the research community are particularly welcome. INFORMAL PRESENTATIONS Continuing the tradition of past CiE conferences, we invite researchers to present informal presentations of their recent work. A proposal for an informal presentation must be submitted via EasyChair (https://easychair.org/conferences/?conf=cie2023), using the LNCS style file (available at https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu…), and be 1 page long; a brief description of the results suffices and an abstract is not required. Informal presentations will not be published in the LNCS conference proceedings. Results presented as informal presentations at CiE 2023 may appear or may have appeared in other conferences with formal proceedings and/or in journals. PROGRAM COMMITTEE Contributed papers will be selected from submissions received by the PROGRAM COMMITTEE consisting of: * Nikolay Bazhenov (Novosibirsk State University) * Manuel Bodirsky (TU Dresden) * Vasco Brattka (Munich) * Liesbeth De Mol (University of Lille) * Gianluca Della Vedova (University of Milano-Bicocca, co-chair) * Besik Dundua (Kutaisi Intl University) * Giudittta Franco (University of Verona) * Juan Luis Gastaldi (ETH Zurich) * Thomas Graf (Stony Brook University) * Delaram Kahrobaei (CUNY) * Ekaterina Komendantskaya (Heriot-Watt University Edinburgh) * Angeliki Koutsoukou-Argyraki (Cambridge University) * Steffen Lempp (University of Wisconsin-Madison, co-chair) * Florin Manea (Goettingen University) * Klaus Meer (University Cottbus) * Isabel Oitavem (Nova University Lisbon) * Roland Omanadze (Ivane Javakhishvili Tbilisi State University) * Daniel Paulusma (Durham University) * Elaine Pimentel (University College London) * Markus Schmid (Humboldt University Berlin) * Shinnosuke Seki (University Electro Comm Tokyo) * Sebastiaan Terwijn (Radboud University Nijmegen) * Dan Turetsky (Victoria University Wellington) * Linda Westrick (Pennsylvania State University) WOMEN IN COMPUTABILITY We are very happy to announce that within the framework of the Women in Computability program, we are able to offer some grants for junior women researchers who want to participate in CiE 2023. Applications for this grant should be sent to Liesbeth de Mol, liesbeth.de-mol(a)univ-lille.fr, before May 15, 2023 and include a short cv (at most 2 pages) and contact information for an academic reference. Preference will be given to junior women researchers who are presenting a paper (including informal presentations) at CiE 2023. Association CiE [1] CiE Conference Series [2] HOSTED BY Batumi Shota Rustaveli State University Rustaveli str. 32, Batumi, We are grateful for support from Batumi Shota Rustaveli State University and Institute of Applied Mathematics, Tbilisi State University. ORGANIZING COMMITTEE * Davit Begashvili (Kutaisi International University) * Mikheil Donadze (Batumi Shota Rustaveli State University) * Besik Dundua (chair, Kutaisi International University and Institute of Applied Mathematics, Tbilisi State University) * Tsotne Mikadze (Kutaisi International University) * Mikheil Rukhaia (co-chair, Institute of Applied Mathematics, Tbilisi State University) * Lela Turmanidze (Batumi Shota Rustaveli State University) Links: ------ [1] https://www.acie.eu [2] https://www.acie.eu/cie-conference-series/

1 0

Universal Algebraic Logic - Dedicated to the Unity of Science / LUW
by jean-yves beziau 24 Jan '23

24 Jan '23

The next session of LUW (Logica Universalis Webinar) will be Wednesday January 25, 2023 at 4pm CET (Paris-Geneva-Rome) Speaker: Zalán Gyenis, Jagiellonian University, Kraków, Poland Title of the talk: Universal Algebraic Logic - Dedicated to the Unity of Science Abstract: This is the presentation of a book by Hajnal Andréka , Zalán Gyenis, István Németi and Ildikó Sain that gives a comprehensive introduction to Universal Algebraic Logic. The three main themes are (i) universal logic and the question of what logic is, (ii) duality theories between the world of logics and the world of algebra, and (iii) Tarskian algebraic logic proper including algebras of relations of various ranks, cylindric algebras, relation algebras, polyadic algebras and other kinds of algebras of logic. One of the strengths of our approach is that it is directly applicable to a wide range of logics including not only propositional logics but also e.g. classical first order logic and other quantifier logics. Following the Tarskian tradition, besides the connections between logic and algebra, related logical connections with geometry and eventually spacetime geometry leading up to relativity are also part of the perspective of the book. Besides Tarskian algebraizations of logics, category theoretical perspectives are also touched upon. https://link.springer.com/book/10.1007/978-3-031-14887-3 Associate Organization: Studies in Universal Logic, Birkhäuser / Springer-Nature presented by its Publishing Editor: Frida Trotter https://www.springer.com/series/7391 Chair: Razvan Diaconescu Editorial Board SUL Everybody is welcome to attend Register here: https://cassyni.com/s/logica-universalis/seminars/ Jean-Yves Beziau Series Editor Studies in Universal Logic Organizer of the Logica Universalis Webinar http://www.jyb-logic.org/

1 0

29th WoLLIC 2023 - 2nd Call for Papers
by Ruy Jose Guerra Barretto de Queiroz 24 Jan '23

24 Jan '23

[Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2023 29th Workshop on Logic, Language, Information and Computation 11-14 July, 2023 Halifax, Nova Scotia, Canada Website: https://www.mathstat.dal.ca/wollic2023/ ORGANISATION Department of Mathematics and Statistics, Dalhousie University, Canada Centro de Informática, Universidade Federal de Pernambuco, Brazil CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-ninth WoLLIC will be held at the Department of Mathematics and Statistics, Dalhousie University, Canada, 11-14 July, 2023. It is scientifically sponsored by 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) (tbc), European Association for Computer Science Logic (EACSL), and the Sociedade Brasileira de Lógica (SBL). LOCATION AND FORMAT Halifax (https://www.halifax.ca/) is the capital and largest municipality of the Canadian province of Nova Scotia, and the largest municipality in Atlantic Canada. (Wikipedia) WoLLIC 2023 will be a hybrid event. All invited talks are planned to be on-site in order to stimulate discussions and interaction with participants. SCOPE Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing, programming and Artificial Intelligence (AI); novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability and explainable AI; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophical logic; philosophy of language. PAPER SUBMISSION Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see author's instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors either in person or via remote connection. (At least one author is required to pay a full on-site registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2023 EasyChair website https://easychair.org/conferences/?conf=wollic2023. PROCEEDINGS The proceedings of WoLLIC 2023, including both invited and contributed papers, will be published as a volume in Springer's LNCS series. Due to the earlier timeline this year, the proceedings will appear after the workshop. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2023 issue of a scientific journal (to be confirmed). INVITED SPEAKERS Makoto Kanazawa (Hosei University, Japan) Magdalena Ortiz (University of Umeå, Sweden) Aybüke Özgün (University of Amsterdam, Netherlands) Dusko Pavlovic (University of Hawaii, USA) Richard Zach (University of Calgary, Canada) (more to be confirmed) IMPORTANT DATES February 20, 2023: Abstract deadline February 27, 2023: Full paper deadline May 15, 2023: Author notification June 5, 2023: Final version deadline PROGRAMME COMMITTEE Bahareh Afshari (University of Gothenburg, Sweden and University of Amsterdam, Netherlands) Zena Ariola (University of Oregon, USA) Adriana Balan (University Politechnica of Bucharest, Romania) Marta Bílková (Czech Academy of Sciences, Czech Republic) Josée Desharnais (Laval University, Canada) David Fernández-Duque (Czech Academy of Sciences, Czech Republic) Santiago Figueira, Universidad de Buenos Aires, Argentina Silvia Ghilezan (University of Novi Sad & Mathematical Institute SASA, Serbia) Sujata Ghosh (Indian Statistical Institute, India) Nina Gierasimczuk (Danish Technical University, Denmark) Helle Hvid Hansen (University of Groningen, Netherlands) (co-chair) Andreas Herzig (CNRS, University of Toulouse, France) Juha Kontinen (University of Helsinki, Finland) Roman Kuznets (TU Wien, Austria) Martha Lewis (University of Bristol, UK) Johannes Marti (University of Oxford, UK) George Metcalfe (University of Bern, Switzerland) Michael Moortgat (Utrecht University, Netherlands) Cláudia Nalon (University of Brasilia, Brasil) Carlos Olarte (Université Sorbonne Paris Nord, France) Sophie Pinchinat (University of Rennes, France) Francesca Poggiolesi (CNRS, University Paris 1 Panthéon-Sorbonne, France) Sylvain Pogodalla (INRIA Nancy, France) Revantha Ramanayake (University of Groningen, Netherlands) Mehrnoosh Sadrzadeh, University College London, UK Andre Scedrov (University of Pennsylvania, USA) (co-chair) Philip Scott (University of Ottawa, Canada) Viorica Sofronie-Stokkermans (University of Koblenz-Landau, Germany) Kazushige Terui (Kyoto University, Japan) Mladen Vuković (University of Zagreb, Croatia) STEERING COMMITTEE Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de Queiroz, Alexandra Silva, Renata Wassermann. ADVISORY COMMITTEE Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen. ORGANISING COMMITTEE Julien Ross (Dalhousie University) Peter Selinger (Dalhousie University) (co-chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) (tbc) European Association for Theoretical Computer Science (EATCS) (tbc) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Lógica (SBL) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE https://www.mathstat.dal.ca/wollic2023/

1 0

FSCD 2023: Second Call for Papers
by Carsten Fuhs 18 Jan '23

18 Jan '23

============================================================================== Updated information on: co-location, affiliated workshops, hybrid presentation ============================================================================== CALL FOR PAPERS Eighth International Conference on Formal Structures for Computation and Deduction (FSCD 2023) July 3-6, 2023, Rome, Italy https://easyconferences.eu/fscd2023/ In-cooperation with ACM SIGLOG and SIGPLAN IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Abstract: January 30, 2023 Submission: February 3, 2023 Rebuttal: March 24-28, 2023 Notification: April 13, 2023 Final version: April 27, 2023 CO-LOCATION AND AFFILIATED WORKSHOPS ------------------------------------ FSCD 2023 will be co-located with CADE-29. The following workshops are affiliated with FSCD and CADE in 2023: - WIL: 7th Workshop Women in Logic (July 1, 2023) - WPTE: 10th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (July 1, 2023) - TLLA: 7th International Workshop on Trends in Linear Logic and Applications (July 1-2, 2023) - LSFA: 8th Logical and Semantic Frameworks with Applications (July 1-2, 2023) - DCM: 13th International Workshop on Developments in Computational Models (July 2, 2023) - LFMTP: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (July 2, 2023) - UNIF: 37th International Workshop on Unification (July 2, 2023) - CASC: The CADE ATP System Competition (July 3, 2023) - HOR: 11th International Workshop on Higher-Order Rewriting (July 4, 2023) - SMT: 21st International Workshop on Satisfiability Modulo Theories (July 4-6, 2023) - ADeMaL: Automated Deduction for Machine Learning (July 5, 2023) - ThEdu: Theorem proving components for Educational software (July 5, 2023) - Vampire: 7th Vampire Workshop (July 5, 2023) - IFIP WG 1.6: Annual Meeting of IFIP Working Group 1.6 on Rewriting (July 5, 2023) OVERVIEW -------- FSCD (https://fscd-conference.org/) covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logic, models of computation, semantics and verification in new challenging areas. The suggested, but not exclusive, list of topics for submission is: 1. Calculi: - Rewriting systems (string, term, higher-order, graph, conditional, modulo, infinitary, etc.); - Lambda calculus; - Logics (first-order, higher-order, equational, modal, linear, classical, constructive, etc.); - Proof theory (natural deduction, sequent calculus, proof nets, etc.); - Type theory and logical frameworks; - Homotopy type theory; - Quantum calculi. 2. Methods in Computation and Deduction: - Type systems (polymorphism, dependent, recursive, intersection, session, etc.); - Induction, coinduction; - Matching, unification, completion, orderings; - Strategies (normalization, completeness, etc.); - Tree automata; - Model building and model checking; - Proof search and theorem proving; - Constraint solving and decision procedures. 3. Semantics: - Operational semantics and abstract machines; - Game Semantics and applications; - Domain theory and categorical models; - Quantitative models (timing, probabilities, etc.); - Quantum computation and emerging models in computation. 4. Algorithmic Analysis and Transformations of Formal Systems: - Type inference and type checking; - Abstract Interpretation; - Complexity analysis and implicit computational complexity; - Checking termination, confluence, derivational complexity and related properties; - Symbolic computation. 5. Tools and Applications: - Programming and proof environments; - Verification tools; - Proof assistants and interactive theorem provers; - Applications in industry; - Applications of formal systems in other sciences; - Applications of formal systems in education. 6. Formal Systems for Semantics and Verification in new challenging areas: - Certification; - Security; - Blockchain protocols; - Data bases; - Deep learning and machine learning algorithms; - Planning. PUBLICATION ----------- The proceedings will be published as an electronic volume in the Leibniz International Proceedings in Informatics (LIPIcs) of Schloss Dagstuhl. All LIPIcs proceedings are open access. SPECIAL ISSUE ------------- Authors of selected papers will be invited to submit an extended version to a special issue of Logical Methods in Computer Science, or to TheoretiCS. SUBMISSION GUIDELINES --------------------- The submission site is: https://easychair.org/conferences/?conf=fscd2023 Submissions must be formatted using the LIPIcs style files (https://submission.dagstuhl.de/series/details/5#author) and submitted via EasyChair. Submissions can be made in two categories. Regular research papers are limited to 15 pages, excluding references and appendices. They must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages, excluding references. Shorter papers are welcome and will be given equal consideration. A system description must present new software tools, or significantly new versions of such tools, in which FSCD topics play an important role. An archive of the code with instructions on how to install and run the tool must be submitted. In addition, a webpage where the system can be experimented with should be provided. One author of each accepted paper is expected to register and present the work in person at the conference. Alternatively to in-person presentation, also online presentation is possible, but in-person registration by at least one author will still be required. BEST PAPER AWARD BY JUNIOR RESEARCHERS -------------------------------------- The program committee will select a paper in which at least one author is a junior researcher, i.e. either a student or whose PhD award date is less than three years from the first day of the meeting. When submitting the paper, other authors should declare to the PC Chairs that at least 50% of contribution is made by the junior researcher(s). PROGRAM COMMITTEE CHAIRS ------------------------ Marco Gaboardi, Boston University Femke van Raamsdonk, Vrije Universiteit Amsterdam Email: fscd2023 at easychair.org PROGRAM COMMITTEE ----------------- Martin Avanzini, INRIA Patrick Bahr, ITU Copenhagen Pablo Barenbaum, University of Quilmes (CONICET) & ICC Filippo Bonchi, University of Pisa Sabine Broda, University of Porto Valeria De Paiva, Topos Institute Andrej Dudenhefner, TU Dortmund Santiago Escobar, Universitat Politècnica de València Claudia Faggian, University of Paris (IRIF) Frank (Peng) Fu, Dalhousie University Silvio Ghilardi, University of Milano Clemens Grabmayer, GSSI or Gran Sasso Science Institute Nao Hirokawa, JAIST Mirai Ikebuchi, National Institute of Informatics Ambrus Kaposi, Eotvos Lorand University Ian Mackie, University of Sussex Radu Mardare, University of Strathclyde Aart Middeldorp, University of Innsbruck Anders Mortberg, University of Stockholm Daniele Nantes-Sobrinho, Imperial College London / University of Brasília Vincent van Oostrom, Independent researcher Grigore Rosu, University of Illinois Urbana-Champaign Luca Roversi, University of Torino Aleksy Schubert, University of Warsaw Jakob G. Simonsen, University of Copenhagen Alwen Tiu, Australian National University Valeria Vignudelli, CNRS/ENS Lyon Johannes Waldmann, HTWK Leipzig Sarah Winkler, University of Bolzano CONFERENCE CHAIR ---------------- Daniele Gorla, University of Rome - Sapienza WORKSHOP CHAIR -------------- Ivano Salvo, University of Rome - Sapienza STEERING COMMITTEE WORKSHOP CHAIR -------------------------------- Cynthia Kop, Radboud University Nijmegen PUBLICITY CHAIR --------------- Carsten Fuhs, Birkbeck, University of London FSCD STEERING COMMITTEE ----------------------- Zena Ariola, University of Oregon Alejandro Díaz-Caro, Quilmes University & ICC/CONICET Amy Felty, University of Ottawa Carsten Fuhs, Birkbeck, University of London Herman Geuvers (Chair), Radboud University Nijmegen Silvia Ghilezan, University of Novi Sad Jürgen Giesl, RWTH Aachen University Stefano Guerrini, Université de Paris 13 Delia Kesner, Université de Paris Diderot Naoki Kobayashi, University of Tokyo Cynthia Kop, Radboud University Nijmegen Luigi Liquori, Inria Daniele Nantes, Imperial College London / University of Brasília

1 0

CONFEST 2023 -- 2nd Call for Workshop Proposals
by Emmanuel Filiot 16 Jan '23

16 Jan '23

* CONFEST 2023 * Sep 18-23 2023, Antwerpen, Belgium (https://www.uantwerpen.be/en/conferences/confest-2023/ <https://eur01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.uantw…> ) -- 2nd Call for Workshop Proposals -- *Submission deadline* : Feb 02 CONFEST is an umbrella conference comprising four international meetings: - CONCUR (34th International Conference on Concurrency Theory), - QEST (20th International Conference on Quantitative Evaluation of SysTems), - FORMATS (21st International Conference on Formal Modeling and Analysis of Timed Systems), and - FMICS (28th International Conference on Formal Methods for Industrial Critical Systems). Researchers and practitioners are invited to submit proposals for ONE DAY workshops on topics related to theory, formal modeling, verification, performance evaluation and engineering of concurrent, timed, industrial, and other systems. Typically, CONFEST workshops feature a number of invited speakers and a number of contributed presentations. The workshops will take place one day before (18 September) and one day after (23 September) the main conferences. TOPICS The purpose of the workshops is to provide participants with a friendly, stimulating, and interactive atmosphere for - presenting novel ideas, - discussing their applications, - encouraging cross-fertilization between industry and academia, and - fostering opportunities for young and prospective researchers. ORGANIZATION CONFEST’23 is planned as a physical, in-person event, with some support for remote participation. In a limited number of cases, there will be remote-participation support for speakers and for other participants who are unable to come. Please take this into account when preparing a workshop proposal and communicate to participants requiring such support that they should contact the organisers of CONFEST explaining their case. We will provide the following to workshop organisers: - Meeting rooms on demand - Coffee breaks, catering for lunch, both are included - CONFEST'23 website cannot be made accessible for edits by third parties but workshop organisers can either host their own website and provide a link to it that we put on CONFEST website, or they send us their content and we put it in the website. - Registration will be centralized by CONFEST. - Special rates for hotels, which can be found in the website https://www.uantwerpen.be/en/conferences/confest-2023/info/, as well as further local information about Antwerp. INSTRUCTIONS FOR PROPOSAL SUBMISSION Workshop proposals should include: - The name and the preferred date of the proposed workshop. - The names and contact information (web page, email address) of the organisers. - A short scientific summary and justification of the proposed topic for the CONFEST community (500 words max). - A discussion of the proposed format and agenda. - If applicable, a brief description of past versions of the workshop, including dates, organisers, submission and acceptance counts, and attendance. - Procedures for selecting papers and participants. - The publication plan (only invited speakers, no published proceedings, pre-/post-proceedings published with EPTCS/ENTCS/...). - Potentially invited speakers. - Tentative schedule for paper submission and notification of acceptance. The main responsibility for organizing the workshop goes to the workshop organiser(s), including: - workshop publicity (possibly including call for papers, submission and review process) - scheduling of workshop activities in collaboration with the CONFEST workshop chair. Proposals should be sent to Emmanuel Filiot (workshop chair): efiliot(a)gmail.com IMPORTANT DATES - Submission deadline February 2, 2023 - Notification February 16, 2023 - Program of the workshops ready: August 16, 2023 - Workshops: September 18, 23, 2023 - CONFEST conferences: September 18-23, 2023 The CONFEST 2023 workshop chair, Emmanuel Filiot Université libre de Bruxelles, Belgium

1 0

ICDT 2024 - Call for Papers (First Round)
by Graham Cormode 05 Jan '23

05 Jan '23

CALL FOR PAPERS 27th INTERNATIONAL CONFERENCE ON DATABASE THEORY (ICDT 2024) Paestum, Italy 25th-28th March 2024 For more info check https://dastlab.github.io/edbticdt2024/ *About ICDT* ICDT is a series of international scientific conferences on research of data management theory (https://databasetheory.org/icdt-pages). Since 2009, it is annually and jointly held with EDBT (Extending DB Technology). The 27th edition of ICDT, in 2024, will take place in Paestum, Italy. Topics of Interest We welcome research papers on *every* topic related to the principles and theory of data management, provided that there is a clear connection to foundational aspects. This includes, for example, articles on "classical" data management topics such as: The design and study of data models and query languages The development and analysis of algorithms for data management The theoretical investigation of various aspects underlying data management systems (indexes, concurrency, distributed computation, privacy and security, ...) but also includes papers exploring existing or identifying new connections between data management and other areas, such as the areas of: knowledge representation, semantic web information retrieval and data mining machine learning/AI distributed computing theoretical computer science. In all of the above, a clear emphasis on foundational aspects is expected. You may want to check https://dblp.org/db/conf/icdt/index.html to get an overview of previous editions of ICDT. The Program Committee reserves the right to desk reject a submission when it is regarded to be out of scope. *Important dates* ICDT will have two submission cycles for 2024, with deadlines as follows: ICDT Submission Cycle 1 ======================= Abstract deadline: March 20, 2023 Full Submission due: March 27, 2023 Notification: June 5, 2023 ICDT Submission Cycle 2 ======================= Abstract deadline: September 13, 2023 Full Submission due : September 20, 2023 Notification: November 29, 2023 * Program Committee * Program Committee Chair: Graham Cormode (University of Warwick) Program Committee Members: Mahmoud Abo Khamis (Relational.AI) Antoine Amarilli (Telecom Paris) Yael Amsterdamer (Bar Ilan University) Pablo Barceló (PUC Chile) Vladimir Braverman (Rice University) Marco Calautti (Università degli Studi di Milano) Hubie Chen (King's College London) Cristina Feier (University of Warsaw) Diego Figueira (Université de Bordeaux) Dominik Freydenberger (Loughborough University) Martin Grohe (RWTH Aachen University) Daniel Kifer (Penn State University) Benny Kimelfeld (Technion) Paraschos Koutris (University of Wisconsin-Madison) Stefan Mengel (CNRS) Frank Neven (Hasselt University) Matthias Niewerth (Bayreuth University) Jeff M. Phillips (University of Utah) Reinhard Pichler (TU Wien) Cristian Riveros (PUC Chile) Francesco Scarcello (Università della Calabria) Markus Schmid (Humboldt-Universität) Yufei Tao (CUHK) Jef Wijsen (University of Mons) *Submission Instructions* All submissions will be electronic via EasyChair at https://easychair.org/conferences/?conf=icdt2024 Papers must be written in English and provide sufficient detail to allow the program committee to assess their merits. The results must be unpublished and not submitted for publication elsewhere, including the proceedings of other symposia or workshops. Papers must be submitted as PDF documents, using the LIPIcs style (http://www.dagstuhl.de/en/publications/lipics/instructions-for-authors). Papers must be at most 15 pages, excluding references. Additional details may be included in a clearly marked appendix, which, however, will be read at the discretion of the program committee (online appendices are not allowed). Papers not conforming to these requirements may be rejected without further consideration. The proceedings will appear in the Leibniz International Proceedings in Informatics (LIPIcs) series, based at Schloss Dagstuhl. This guarantees that the proceedings will be available online and free of charge, while the authors retain the rights over their work. At least one author of each accepted paper is expected to register at the conference and to present the paper. **ANONYMOUS SUBMISSION** For 2024, ICDT will adopt anonymous submission, in line with other leading conferences in the database community such as SIGMOD and PODS. The intent of anonymous submission is to ensure that the identity of the authors is not presented to the reviewers during the review process. Specifically, submitted papers should not list authors or affiliations, and should not include acknowlegments to funding sources, or other colleagues or collaborators. References to the authors' own prior work should not be distinguished from other references. Where this is not possible (for instance, when referring to a specific system to which the authors have privileged access), anonymized citations are permissible. For more background on the motivation for anonymous submissions, and the mechanisms to achieve it, please consult [Snodgrass, 2007] https://www2.cs.arizona.edu/~rts/pubs/TODS07.pdf Simultaneously, we encouage authors to make their submissions available to the community via pre-print services such as ArXiv and through talks. We do require that work is not labeled as "under submission at ICDT" or indicates that it is under review, but otherwise place no restrictions on sharing results. This does not conflict with the anonymous submission requirement. *Awards* An award will be given to the Best Paper. Also, an award will be given to the Best Newcomer Paper written by newcomers to the field of database theory. The latter award will preferentially be given to a paper written only by students; in that case the award will be called Best Student-Paper Award. The program committee reserves the following rights: not to give any award; to split an award among several papers; and to define the notion of a newcomer. Papers authored or co-authored by program committee members are not eligible for any award.

1 0