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

FSCD 2021: First Call for Papers
by Carsten Fuhs 06 Nov '20

06 Nov '20

CALL FOR PAPERS Sixth International Conference on Formal Structures for Computation and Deduction (FSCD 2021) July 17 - July 24, 2021, Buenos Aires, Argentina https://fscd2021.dc.uba.ar/ In-cooperation with ACM SIGLOG and SIGPLAN NOTE: Due to the Covid 19 pandemic situation, the 2021 edition of FSCD and its satellite workshops will be held online. IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Abstract: February 12, 2021 Submission: February 15, 2021 Rebuttal: April 2-5, 2021 Notification: April 19, 2021 Final version: May 3, 2021 FSCD (http://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 logics, 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. 6. 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. SUBMISSION GUIDELINES --------------------- The submission site is: https://easychair.org/conferences/?conf=fscd2021 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 (including references) and must present new software tools in which FSCD topics play an important role, or significantly new versions of such tools. 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. Complete instructions on submitting a paper can be found on the conference web site: https://fscd2021.dc.uba.ar/ One author of an accepted paper is expected to present it at the conference 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. Other authors should declare to the PC Chair that at least 50% of contribution is made by the junior researcher(s). PROGRAM COMMITTEE CHAIR ----------------------- Naoki Kobayashi, The University of Tokyo fscd2021(a)easychair.org PROGRAM COMMITTEE ----------------- M. Ayala-Rincón, Universidade de Brasília S. Berardi, University of Torino F. Blanqui, INRIA E. Bonelli, Stevens Institute of Technology É. Contejean, CNRS, Université Paris-Saclay T. Coquand, University of Gothenburg T. Ehrhard, Université de Paris, CNRS S. Escobar, Univ. Politècnica de València J. Espírito Santo, University of Minho C. Faggian, Université de Paris, CNRS A. Felty, University of Ottawa S. Figueira, Universidad de Buenos Aires M. Fiore, University of Cambridge M. Gaboardi, Boston University S. Ghilezan, University of Novi Sad I. Hasuo, National Institute of Informatics D. Kesner, Université de Paris R. Krebbers, Radboud University Nijmegen T. Kutsia, Johannes Kepler University Linz B. König, University of Duisburg-Essen M. Lenisa, University of Udine N. Nishida, Nagoya University L. Ong, University of Oxford P. Parys, University of Warsaw J. Rehof, TU Dortmund University C. Rocha, Pontificia Univ. Javeriana Cali A. Silva, University College London N. Szasz, Universidad ORT Uruguay A. Tiu, Australian National University S. Winkler, University of Verona H. Yang, KAIST, South Korea CONFERENCE CHAIR ---------------- Alejandro Díaz-Caro, Quilmes Univ. & ICC/CONICET WORKSHOP CHAIRS -------------- Mauricio Ayala-Rincón, Universidade de Brasília Carlos López Pombo, Universidad de Buenos Aires STEERING COMMITTEE WORKSHOP CHAIR -------------------------------- Jamie Vicary, Oxford University PUBLICITY CHAIR --------------- Carsten Fuhs, Birkbeck, University of London FSCD STEERING COMMITTEE ----------------------- Z. Ariola, University of Oregon M. Ayala-Rincón, University of Brasilia C. Fuhs, Birkbeck, University of London H. Geuvers, Radboud University S. Ghilezan, University of Novi Sad S. Guerrini, University of Paris 13 D. Kesner (Chair), University of Paris Diderot H. Kirchner, Inria C. Kop, Radboud University D. Mazza, University of Paris 13 L. Ong, Oxford University J. Rehof, TU Dortmund J. Vicary, Oxford University

1 0

[fm-announcements] NASA Formal Methods Symposium - 2nd CFP
by Munoz, Cesar (LARC-D320) via fm-announcements 02 Nov '20

02 Nov '20

--- 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

FSCD 2021: Call for Workshop Proposals
by Carsten Fuhs 28 Oct '20

28 Oct '20

-------------------------------------------------------------- Call for Workshop Proposals FSCD 2021 https://fscd2021.dc.uba.ar Buenos Aires, Argentina Main Conference: 19-22 July 2021 Workshops: 17-18 and 23-24 July 2021 -------------------------------------------------------------- FSCD 2021 will be the sixth edition of the International Conference on Formal Structures for Computation and Deduction. Due to the Covid 19 pandemic situation, the 2021 edition of FSCD and its satellite workshops will be held online. We invite proposals for workshops, tutorials or other satellite events, on any topic related to formal structures in computation, deduction and automated reasoning, from theoretical foundations to tools and applications. Satellite events will take place online on the 17-18 and 23-24 July, before and after the main conference (19-22 July). It is expected that satellite events would run for 1 or 2 days, and be open to participants of parallel events. PROPOSALS -------------------- Proposals must be limited to three pages and should be submitted via EasyChair https://easychair.org/conferences/?conf=fscd2021 (Workshops track) Each proposal should consist of the following two parts. 1) A description part including: - a short scientific justification of the proposed topic, Its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant); - a brief description (up to 120 words) of the event for the website and publicity material. 2) An organisational part including: - contact information for the workshop organisers; - name of the organiser in the role of FSCD Workshops Scheduling Committee member (*); - estimate of the number of workshop participants; - proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.) - potential invited speakers; - procedures for selecting papers and participants; - tentative schedule for paper submission and notification of acceptance; - plans for dissemination, if any (e.g. a journal special issue); - duration (which may vary from one day to two days); - preferred period (pre, or post main conference); - any other special requirements. (*) The FSCD Workshops Scheduling Committee will include one of the organisers of each accepted workshop and have the role to concoct a scientifically coherent program of all workshops mitigating superpositions of connected talks. This organisational effort will require that each workshop finalise their selection of talks and invited speakers within a common pertinent deadline to be defined so that possible overlaps can be minimised. Please, consider this when preparing the tentative schedule of your workshop proposal. The Organising Committee of FSCD will determine the final list of accepted workshops based on the recommendations from the Workshop Chairs and availability of space and facilities. The organisers of satellite events are expected to create and maintain a website for the event; handle paper selection, reviewing and acceptance; draw up a tentative programme of talks; advertise their event though specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; and arrange any post-proceedings. Some amount of financial support may be offered to workshops, depending on the number of participants. The FSCD Organising Committee will handle promotion of the event on the main conference website; integration of the event's programme into the overall timetable; registration of participants; arrangement of an appropriate virtual meeting room and technical support will be provided by the FSCD organising committee. IMPORTANT DATES -------------------- Submission of workshop proposals: 6 December, 2020 Notification of success of proposals: 20 December, 2020 -------------------- Best regards, Carlos Lopez Pombo, Mauricio Ayala-Rincon FSCD 2021 Workshop Chairs

1 0

Call for Papers - ICALP 2021 - the 48th International Colloquium on Automata, Languages, and Programming
by Oana Andrei 26 Oct '20

26 Oct '20

================================== ICALP 2021 - First Call for Papers ================================== http://easyconferences.eu/icalp2021/ @ICALPconf<https://twitter.com/ICALPconf/> The 48th International Colloquium on Automata, Languages, and Programming (ICALP) will take place in Glasgow, Scotland, on 13-16 July 2021. ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS)<https://eatcs.org>. As usual, ICALP will be preceded by a series of workshops, which will take place on 12 July 2021. COVID-19: We will monitor the global travel situation and consider whether the conference will be physical, virtual or hybrid. If there is a physical component, remote participation for both speakers and attendees will also be an option. =============== Important dates ======================= Submission deadline: Friday 12 February 2021, 23:59 AoE Notification: Wednesday 28 April 2021 Camera-ready deadline: Friday 7 May 2021 Deadlines are firm; late submissions will not be considered. =========================== Submissions and Proceedings =========================== ICALP proceedings are published in the Leibniz International Proceedings in Informatics (LIPIcs) series. This is a series of high-quality conference proceedings across all fields in informatics established in cooperation with Schloss Dagstuhl - Leibniz Center for Informatics. LIPIcs volumes are published according to the principle of Open Access, i.e., they are available online and free of charge. Submission Guidelines --------------------- Authors are invited to submit an extended abstract of no more than 12 pages, excluding references presenting original research on the theory of computer science. All submissions must be formatted in the LIPIcs style https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/) and submitted via Easychair to the appropriate track of the conference. The use of pdflatex and the LIPIcs style are mandatory: papers that deviate significantly from the required format may be rejected without consideration of merit. No prior publication and no simultaneous submission to other publication outlets (either a conference or a journal) is allowed. Technical details necessary for a proper scientific evaluation of a submission must be included in the 12-page submission or in a clearly labelled appendix, to be consulted at the discretion of program committee members. Authors are strongly encouraged to also make full versions of their submissions freely accessible in an on-line repository such as ArXiv, HAL, ECCC. Best Paper Awards ----------------- As in previous editions of ICALP, there will be best paper and best student paper awards for each track of the conference. In order to be eligible for a best student paper award, a paper should be authored only by students and should be marked as such upon submission. Topics ====== Papers presenting original research on all aspects of theoretical computer science are sought. Typical but not exclusive topics of interest are: Track A: Algorithms, Complexity and Games ----------------------------------------- * Algorithmic and Complexity Aspects of Network Economics * Algorithmic Aspects of Networks and Networking * Algorithmic Aspects of Security and Privacy * Algorithms for Computational Biology * Algorithmic Game Theory and Mechanism Design * Approximation and Online Algorithms * Combinatorial Optimization * Combinatorics in Computer Science * Computational Complexity * Computational Geometry * Computational Learning Theory * Cryptography * Data Structures * Design and Analysis of Algorithms * Distributed and Mobile Computing * Foundations of Machine Learning * Graph Mining and Network Analysis * Parallel and External Memory Computing * Quantum Computing * Randomness in Computation * Theoretical Foundations of Algorithmic Fairness Track B: Automata, Logic, Semantics, and Theory of Programming ------------------------------------------------------------- * Algebraic and Categorical Models of Computation * Automata, Logic, and Games * Database Theory, Constraint Satisfaction Problems, and Finite Model Theory * Formal and Logical Aspects of Learning * Formal and Logical Aspects of Security and Privacy * Logic in Computer Science and Theorem Proving * Models of Computation: Complexity and Computability * Models of Concurrent, Distributed, and Mobile Systems * Models of Reactive, Hybrid, and Stochastic Systems * Principles and Semantics of Programming Languages * Program Analysis, Verification, and Synthesis * Type Systems and Typed Calculi =============================== ICALP 2021 Programme Committees =============================== Track A: Track A: Algorithms, Complexity and Games --------------------------------------------------- * Nikhil Bansal<https://www.win.tue.nl/~nikhil/> (CWI Amsterdam, Netherlands), Chair * Yossi Azar (Tel Aviv University, Israel) * Luca Becchetti (Sapienza University of Rome, Italy) * Aleksander Belov (University of Latvia, Latvia) * Eric Blais (University of Waterloo, Canada) * Niv Buchbinder (Tel Aviv University, Israel) * Kevin Buchin (TU Eindhoven, Netherlands) * Parinya Chalermsook (Aalto University, Finland) * Vincent Cohen-Addad (Google Research, Switzerland) * Shahar Dobzinski (Weizmann Institute, Israel) * Ran Duan (Tsinghua University, China) * Vida Dujmovic (University of Ottawa, Canada) * Yuval Filmus (Technion, Israel) * Samuel Fiorini (Université libre de Bruxelles, Belgium) * Andreas Galanis (University of Oxford, UK) * Mika Göös (EPFL, Switzerland) * Inge Li Gørtz (TU Denmark, Denmark) * Heng Guo (University of Edinburgh, UK) * Prahladh Harsha (TIFR, Mumbai, India) * Sungjin Im (UC Merced, USA) * Stacey Jeffery (CWI Amsterdam, Netherlands) * Iordanis Kerenidis (CNRS - Université Paris Diderot, France) * Michael Kapralov (EPFL, Switzerland) * Ravi Kumar (Google Research, USA) * Stefan Kratsch (HU Berlin, Germany) * Silvio Lattanzi (Google Research, Switzerland) * Shi Li (SUNY Buffalo, USA) * Konstantin Makarychev (Northwestern University, USA) * Marcin Mucha (University of Warsaw, Poland) * Wolfgang Mulzer (FU Berlin, Germany) * Jesper Nederlof (Utrecht University, Netherlands) * Aleksandar Nikolov (University of Toronto, Canada) * Neil Olver (LSE, UK) * Rasmus Pagh (IT University of Copenhagen, Denmark) * Merav Parter (Weizmann Institute, Israel) * Alexandros Psomas (Purdue University, USA) * Barna Saha (UC Berkeley, USA) * Thatchaphol Saranurak (University of Michigan, USA) * Rahul Savani (University of Liverpool, UK) * Mohit Singh (Georgia Tech, USA) * Sahil Singla (IAS/Princeton, USA) * Noah Stephens-Davidowitz (Cornell University, USA) * László Végh (LSE, UK) * Meirav Zehavi (Ben-Gurion University, Israel) Track B: Automata, Logic, Semantics, and Theory of Programming --------------------------------------------------------------- * James Worrell<http://www.cs.ox.ac.uk/people/james.worrell/home.html> (University of Oxford, UK), Chair * Parosh Aziz Abdulla (Uppsala University, Sweden) * S. Akshay (Indian Institute of Technology Bombay, India) * Nathalie Bertrand (Inria Rennes, France) * Michael Blondin (Université de Sherbrooke, Canada) * Olivier Carton (IRIF, Université de Paris, France) * Corina Cîrstea (University of Southampton, UK) * Dana Fisman (Ben Gurion University, Israel) * Paul Gastin (LSV, ENS Paris-Saclay, France) * Stefan Göller (University of Kassel, Germany) * Radha Jagadeesan (DePaul University Chicago, USA) * Bakhadyr Khoussainov (University of Auckland, New Zealand) * Emanuel Kieroński (Wrocław University, Poland) * Bartek Klin (Warsaw University, Poland) * Barbara König (University of Duisburg-Essen, Germany) * Laura Kovacs (Vienna University of Technology, Austria) * Ugo Dal Lago (University of Bologna and Inria, Italy) * Christoph Löding (RWTH Aachen University, Germany) * Madhavan Mukund (Chennai Mathematical Institute, India) * Sebastian Maneth (University of Bremen, Germany) * Richard Mayr (University of Edinburgh, UK) * Annabelle McIver (Macquarie University, Australia) * Sophie Pinchinat (IRISA, Université de Rennes, France) * Cristian Riveros (Pontificia Universidad Católica de Chile, Chile) * Davide Sangiorgi (University of Bologna and Inria, Italy) * Lijun Zhang (Institute of Software, Chinese Academy of Sciences, China) =============================== ICALP 2021 Organizing Committee =============================== [the FATA<https://www.gla.ac.uk/schools/computing/research/researchsections/fata-sect…> research section, School of Computing Science,<https://www.gla.ac.uk/schools/computing/> University of Glasgow<https://www.gla.ac.uk>] Simon Gay<http://www.dcs.gla.ac.uk/~simon/>, Conference Chair Oana Andrei<http://www.dcs.gla.ac.uk/~oandrei/> Ornela Dardha<http://www.dcs.gla.ac.uk/~ornela/> Jessica Enright<https://www.gla.ac.uk/schools/computing/staff/jessicaenright/> David Manlove<http://www.dcs.gla.ac.uk/~davidm/> Kitty Meeks<http://www.dcs.gla.ac.uk/~kitty/> Alice Miller<http://www.dcs.gla.ac.uk/~alice/> Gethin Norman<http://www.dcs.gla.ac.uk/~gethin/> Sofiat Olaosebikan<http://www.dcs.gla.ac.uk/~sofiat/> Michele Sevegnani<http://www.dcs.gla.ac.uk/~michele/> — Dr Oana Andrei Lecturer (Assistant Professor) | School of Computing Science University of Glasgow, UK http://www.dcs.gla.ac.uk/~oandrei | @OanaMAndrei<https://twitter.com/OanaMAndrei> Note: If I send email out of hours, I'm not expecting a reply out of hours.

1 0

ICALP 2021 Call for Workshops
by Ornela Dardha 21 Oct '20

21 Oct '20

================================== ICALP 2021 Call for Workshops ================================== *** We are closely monitoring the development of the COVID-19 pandemic. If it is not viable to hold ICALP 2021 as a physical conference, we will run it virtually on the same dates. We will decide in January 2021 at the latest. If ICALP 2021 can go ahead as a physical conference, accepted authors may still present remotely. *** ICALP 2021 (http://easyconferences.eu/icalp2021/ <http://easyconferences.eu/icalp2021/>) will take place on the 13th - 16th of July 2021 in Glasgow, United Kingdom. The conference will be preceded by one day of workshops, held on July 12th. We invite proposals for workshops affiliated with ICALP 2021 on all topics covered by ICALP, as well as other areas of theoretical computer science. Proposals should be submitted no later than *** November 30th, 2020 *** by sending an email to the workshop selection committee (details at the end of the call). You should expect notification on the acceptance of your proposal by mid December 2020. A workshop proposal submission should consist of: - workshop's name and URL (if already available) - workshop's organisers together with their email addresses and web pages; - short description of the area covered by the workshop and the motivation behind it; - expected number of participants (if available, please include the data of previous years); - planned format of the event; - date preference (July 10th or 11th). As for the format, a standard option is a full one-day workshop consisting of invited talks by leading experts and of shorter contributed talks, either directly invited by the organisers or selected among submissions. Deviations from this standard are also warmly welcome, including a shorter or a longer time span than a full day, or other elements of the schedule like open problem sessions, discussion panels, or working sessions. If you plan to have invited speakers, please specify their expected number and, if possible, tentative names. If you plan a call for papers or for contributed talks followed by a selection procedure, the submission date should be scheduled after ICALP 2021 notification (April 28, 2021), while the notification should take place before the early registration deadline. In your submission please include details on the schedule, planned procedure of selecting papers and/or contributed talks. If you plan to have published proceedings of your workshop, please provide the name of the publisher. Please be advised that ICALP 2021 is not able to provide any financial support for publishing workshop proceedings. Important dates: Workshop Proposals Deadline: Monday November 30, 2020 Workshop Notification: Monday December 14, 2020 Workshops: Monday July 12, 2021 Conference: Tuesday July 13 - Friday July 16, 2021 Workshop selection committee: Ornela Dardha ornela.dardha(a)glasgow.ac.uk <mailto:ornela.dardha@glasgow.ac.uk> Gethin Norman gethin.norman(a)glasgow.ac.uk <mailto:gethin.norman@glasgow.ac.uk>

1 0

ICALP 2021 Call for Papers
by Simon Gay 20 Oct '20

20 Oct '20

================================== ICALP 2021 - First Call for Papers ================================== http://easyconferences.eu/icalp2021/ The 48th International Colloquium on Automata, Languages, and Programming (ICALP) will take place in Glasgow, Scotland, on 13-16 July 2021. ICALP is the main conference and annual meeting of the European Association for Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a series of workshops, which will take place on 12 July 2021. COVID-19: We will monitor the global travel situation and consider whether the conference will be physical, virtual or hybrid. If there is a physical component, remote participation for both speakers and attendees will also be an option. =============== Important dates ======================= Submission deadline: Friday 12 February 2021, 23:59 AoE Notification: Wednesday 28 April 2021 Camera-ready deadline: Friday 7 May 2021 Deadlines are firm; late submissions will not be considered. =========================== Submissions and Proceedings =========================== ICALP proceedings are published in the Leibniz International Proceedings in Informatics (LIPIcs) series. This is a series of high-quality conference proceedings across all fields in informatics established in cooperation with Schloss Dagstuhl - Leibniz Center for Informatics. LIPIcs volumes are published according to the principle of Open Access, i.e., they are available online and free of charge. Submission Guidelines --------------------- Authors are invited to submit an extended abstract of no more than 12 pages, excluding references presenting original research on the theory of computer science. All submissions must be formatted in the LIPIcs style https://www.dagstuhl.de/en/publications/lipics/instructions-for-authors/) and submitted via Easychair to the appropriate track of the conference. The use of pdflatex and the LIPIcs style are mandatory: papers that deviate significantly from the required format may be rejected without consideration of merit. No prior publication and no simultaneous submission to other publication outlets (either a conference or a journal) is allowed. Technical details necessary for a proper scientific evaluation of a submission must be included in the 12-page submission or in a clearly labelled appendix, to be consulted at the discretion of program committee members. Authors are strongly encouraged to also make full versions of their submissions freely accessible in an on-line repository such as ArXiv, HAL, ECCC. Best Paper Awards ----------------- As in previous editions of ICALP, there will be best paper and best student paper awards for each track of the conference. In order to be eligible for a best student paper award, a paper should be authored only by students and should be marked as such upon submission. Topics ====== Papers presenting original research on all aspects of theoretical computer science are sought. Typical but not exclusive topics of interest are: Track A: Algorithms, Complexity and Games ----------------------------------------- * Algorithmic and Complexity Aspects of Network Economics * Algorithmic Aspects of Networks and Networking * Algorithmic Aspects of Security and Privacy * Algorithms for Computational Biology * Algorithmic Game Theory and Mechanism Design * Approximation and Online Algorithms * Combinatorial Optimization * Combinatorics in Computer Science * Computational Complexity * Computational Geometry * Computational Learning Theory * Cryptography * Data Structures * Design and Analysis of Algorithms * Distributed and Mobile Computing * Foundations of Machine Learning * Graph Mining and Network Analysis * Parallel and External Memory Computing * Quantum Computing * Randomness in Computation * Theoretical Foundations of Algorithmic Fairness Track B: Automata, Logic, Semantics, and Theory of Programming ------------------------------------------------------------- * Algebraic and Categorical Models of Computation * Automata, Logic, and Games * Database Theory, Constraint Satisfaction Problems, and Finite Model Theory * Formal and Logical Aspects of Learning * Formal and Logical Aspects of Security and Privacy * Logic in Computer Science and Theorem Proving * Models of Computation: Complexity and Computability * Models of Concurrent, Distributed, and Mobile Systems * Models of Reactive, Hybrid, and Stochastic Systems * Principles and Semantics of Programming Languages * Program Analysis, Verification, and Synthesis * Type Systems and Typed Calculi =============================== ICALP 2021 Programme Committees =============================== Track A: Track A: Algorithms, Complexity and Games --------------------------------------------------- * Nikhil Bansal (CWI Amsterdam, Netherlands), Chair * Yossi Azar (Tel Aviv University, Israel) * Luca Becchetti (Sapienza University of Rome, Italy) * Aleksander Belov (University of Latvia, Latvia) * Eric Blais (University of Waterloo, Canada) * Niv Buchbinder (Tel Aviv University, Israel) * Kevin Buchin (TU Eindhoven, Netherlands) * Parinya Chalermsook (Aalto University, Finland) * Vincent Cohen-Addad (Google Research, Switzerland) * Shahar Dobzinski (Weizmann Institute, Israel) * Ran Duan (Tsinghua University, China) * Vida Dujmovic (University of Ottawa, Canada) * Yuval Filmus (Technion, Israel) * Samuel Fiorini (Université libre de Bruxelles, Belgium) * Andreas Galanis (University of Oxford, UK) * Mika Göös (EPFL, Switzerland) * Inge Li Gørtz (TU Denmark, Denmark) * Heng Guo (University of Edinburgh, UK) * Prahladh Harsha (TIFR, Mumbai, India) * Sungjin Im (UC Merced, USA) * Stacey Jeffery (CWI Amsterdam, Netherlands) * Iordanis Kerenidis (CNRS - Université Paris Diderot, France) * Michael Kapralov (EPFL, Switzerland) * Ravi Kumar (Google Research, USA) * Stefan Kratsch (HU Berlin, Germany) * Silvio Lattanzi (Google Research, Switzerland) * Shi Li (SUNY Buffalo, USA) * Konstantin Makarychev (Northwestern University, USA) * Marcin Mucha (University of Warsaw, Poland) * Wolfgang Mulzer (FU Berlin, Germany) * Jesper Nederlof (Utrecht University, Netherlands) * Aleksandar Nikolov (University of Toronto, Canada) * Neil Olver (LSE, UK) * Rasmus Pagh (IT University of Copenhagen, Denmark) * Merav Parter (Weizmann Institute, Israel) * Alexandros Psomas (Purdue University, USA) * Barna Saha (UC Berkeley, USA) * Thatchaphol Saranurak (University of Michigan, USA) * Rahul Savani (University of Liverpool, UK) * Mohit Singh (Georgia Tech, USA) * Sahil Singla (IAS/Princeton, USA) * Noah Stephens-Davidowitz (Cornell University, USA) * László Végh (LSE, UK) * Meirav Zehavi (Ben-Gurion University, Israel) Track B: Automata, Logic, Semantics, and Theory of Programming --------------------------------------------------------------- * James Worrell (University of Oxford, UK), Chair * Parosh Aziz Abdulla (Uppsala University, Sweden) * S. Akshay (Indian Institute of Technology Bombay, India) * Nathalie Bertrand (Inria Rennes, France) * Michael Blondin (Université de Sherbrooke, Canada) * Olivier Carton (IRIF, Université de Paris, France) * Corina Cîrstea (University of Southampton, UK) * Dana Fisman (Ben Gurion University, Israel) * Paul Gastin (LSV, ENS Paris-Saclay, France) * Stefan Göller (University of Kassel, Germany) * Radha Jagadeesan (DePaul University Chicago, USA) * Bakhadyr Khoussainov (University of Auckland, New Zealand) * Emanuel Kieroński (Wrocław University, Poland) * Bartek Klin (Warsaw University, Poland) * Barbara König (University of Duisburg-Essen, Germany) * Laura Kovacs (Vienna University of Technology, Austria) * Ugo Dal Lago (University of Bologna and Inria, Italy) * Christoph Löding (RWTH Aachen University, Germany) * Madhavan Mukund (Chennai Mathematical Institute, India) * Sebastian Maneth (University of Bremen, Germany) * Richard Mayr (University of Edinburgh, UK) * Annabelle McIver (Macquarie University, Australia) * Sophie Pinchinat (IRISA, Université de Rennes, France) * Cristian Riveros (Pontificia Universidad Católica de Chile, Chile) * Davide Sangiorgi (University of Bologna and Inria, Italy) * Lijun Zhang (Institute of Software, Chinese Academy of Sciences, China) =============================== ICALP 2021 Organizing Committee =============================== Simon Gay, Conference Chair Oana Andrei Ornela Dardha Jessica Enright David Manlove Kitty Meeks Alice Miller Gethin Norman Sofiat Olaosebikan Michele Sevegnani

1 0

LICS 2021 Call for Papers
by Sam Staton 19 Oct '20

19 Oct '20

CALL FOR PAPERS Thirty-Sixth Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS) June / July 2021 (Rome) Co-located with ITP 2021 and ICTCS 2021 http://easyconferences.eu/lics2021/cfp/ SCOPE The LICS Symposium is an annual international forum on theoretical and practical topics in computer science that relate to logic, broadly construed. We invite submissions on topics that fit under that rubric. Suggested, but not exclusive, topics of interest include: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, games and logic, higher-order logic, knowledge representation and reasoning, lambda and combinatory calculi, linear logic, logic programming, logical aspects of AI, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification. COVID-19 The organizers are carefully monitoring the development of the COVID-19 pandemic, and take guidance from the health authorities, to determine whether LICS 2021 will be held physically, virtually or in a hybrid manner. IMPORTANT DATES Authors are required to submit a paper title and a short abstract of about 100 words in advance of submitting the extended abstract of the paper. The exact deadline time on these dates is given by anywhere on earth (AoE). Titles and Short Abstracts Due: 20 January 2021 Full Papers Due: 25 January 2021 Author Feedback/Rebuttal Period: 10-14 March 2021 Author Notification: 31 March 2021 Workshops: 27 June -- 28 June 2021 Conference: 29 June -- 2 July 2021 (tentative) Deadlines are firm; late submissions will not be considered. All submissions will be electronic via https://easychair.org/conferences/?conf=lics2021. SUBMISSION INSTRUCTIONS Every paper must be submitted in the IEEE Proceedings 2-column 10pt format (IEEEtran.cls V1.8b) and may be at most 12 pages, excluding references. Paper selection will be merit-based, with no a priori limit on the number of accepted papers. Papers authored or co-authored by members of the program committee are not allowed. Please see the website for further formatting and submission instructions. LICS 2021 will use a lightweight double-blind reviewing process. Following this process means that reviewers will not see the authors’ names or affiliations as they initially review a paper. The authors’ names will then be revealed to the reviewers only once their reviews have been submitted. Please see the website for further details and requirements from the double-blind process. LICS DISTINGUISHED PAPERS (NEW) Starting 2021, around 10% of accepted LICS papers will be selected as distinguished papers. These are papers that, in the view of the LICS program committee, make exceptionally strong contribution to the field and should be read by a broad audience due their relevance, originality, significance and clarity. KLEENE AWARD FOR BEST STUDENT PAPER An award in honour of the late Stephen C. Kleene will be given for the best student paper(s), as judged by the program committee. SPECIAL ISSUES Full versions of up to three accepted papers, to be selected by the program committee, will be invited for submission to the Journal of the ACM. Additional selected papers will be invited to a special issue of Logical Methods in Computer Science. PUBLICATION The official publication date may differ from the first day of the conference. The official publication date may affect the deadline for any patent filings related to published work. We will clarify the official publication date in due course.

1 0

LICS 2021 Call for Workshops
by Sam Staton 19 Oct '20

19 Oct '20

36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2021) Call for Workshop Proposals http://easyconferences.eu/lics2021/ * The thirty-sixth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'21) will be held in Rome, Italy, on June 29-July 2, 2021. The workshops will take place on June 27-28, 2021. * Researchers and practitioners are invited to submit proposals for workshops on topics relating logic - broadly construed - to computer science or related fields. Typically, LICS workshops feature a number of invited speakers and a number of contributed presentations. LICS workshops do not usually produce formal proceedings. However, in the past there have been special issues of journals based in part on certain LICS workshops. * Proposals should include: - A short scientific summary and justification of the proposed topic. This should include a discussion of the particular benefits of the topic to the LICS community. - The proposed duration, which is typically one day (two-day workshops can be accommodated too). - Expected number of participants, providing data on previous years if the workshop has already been organised in the past. - Procedures for selecting participants and papers. - Potential invited speakers. - A discussion of the proposed format, whether it should be a physical meeting only, a virtual meeting only, or a combination thereof, and whether you need special equipments or technologies. - An agenda. - Plans for dissemination (for example, special issues of journals). Proposals should be sent to Frédéric Blanqui: frederic.blanqui(a)inria.fr * IMPORTANT DATES: - Submission deadline: December 6, 2020 - Notification: December 18, 2020 - Program of the workshops ready: May 27, 2021 - Workshops: June 27-28, 2021 - LICS conference: June 29-July 2, 2021 * The workshops selection committee consists of the LICS Workshops Chair, the LICS General Chair, the LICS PC Chairs and the LICS Conference Chairs. * COVID-19: the organisers are watching the evolution of the pandemic very closely and will make a decision later on whether or not the meeting can be held in-person in Rome or not.

1 0

LATA 2020 & 2021: extended submission deadline October 26
by IRDTA 15 Oct '20

15 Oct '20

LATA 2020 & 2021: extended submission deadline October 26*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject line* ******************************************************************************* 14th-15th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2020 & 2021 Milan, Italy March 1-5, 2021 Co-organized by: Department of Informatics, Systems and Communication University of Milano-Bicocca and Institute for Research Development, Training and Advice Brussels/London https://irdta.eu/lata2020-2021/ ******************************************************************************* * Extended submission deadline: October 26 * AIMS: LATA is a conference series on theoretical computer science and its applications. LATA 2020 & 2021 will reserve significant room for young scholars at the beginning of their career. It will aim at attracting contributions from classical theory fields as well as application areas. LATA 2020 & 2021 will merge the scheduled program for LATA 2020, which could not take place because of the Covid-19 crisis, with a new series of papers submitted on this occasion. VENUE: LATA 2020 & 2021 will be held in Milan, the third largest economy among European cities and one of the Four Motors for Europe. The venue will be: University of Milano-Bicocca Viale Piero e Alberto Pirelli 22 Building U6 Aula Mario Martini (Aula U6-04) Milan SCOPE: Topics of either theoretical or applied interest include, but are not limited to: algebraic language theory algorithms for semi-structured data mining algorithms on automata and words automata and logic automata for system analysis and programme verification automata networks automatic structures codes combinatorics on words computational complexity concurrency and Petri nets data and image compression descriptional complexity foundations of finite state technology foundations of XML grammars (Chomsky hierarchy, contextual, unification, categorial, etc.) grammatical inference, inductive inference and algorithmic learning graphs and graph transformation language varieties and semigroups language-based cryptography mathematical and logical foundations of programming methodologies parallel and regulated rewriting parsing patterns power series string processing algorithms symbolic dynamics term rewriting transducers trees, tree languages and tree automata weighted automata STRUCTURE: LATA 2020 & 2021 will consist of: invited talks peer-reviewed contributions KEYNOTE SPEAKERS: Eric Allender (Rutgers University), The New Complexity Landscape around Circuit Minimization Laure Daviaud (City, University of London), About Decision Problems for Weighted Automata Christoph Haase (University College London), Approaching Arithmetic Theories with Finite-state Automata Artur Jeż (University of Wrocław), Recompression: Technique for Word Equations and Compressed Data Jean-Éric Pin (CNRS), How to Prove that a Language Is Regular or Star-free? Thomas Place (University of Bordeaux), Deciding Classes of Regular Languages: A Language Theoretic Point of View PROGRAMME COMMITTEE: Jorge Almeida (University of Porto, PT) Franz Baader (Technical University of Dresden, DE) Alessandro Barenghi (Polytechnic University of Milan, IT) Marie-Pierre Béal (University of Paris-Est, FR) Djamal Belazzougui (CERIST, DZ) Marcello Bonsangue (Leiden University, NL) Flavio Corradini (University of Camerino, IT) Bruno Courcelle (University of Bordeaux, FR) Laurent Doyen (ENS Paris-Saclay, FR) Manfred Droste (Leipzig University, DE) Rudolf Freund (Technical University of Vienna, AT) Paweł Gawrychowski (University of Wrocław, PL) Amélie Gheerbrant (Paris Diderot University, FR) Tero Harju (University of Turku, FI) Lane A. Hemaspaandra (University of Rochester, US) Jarkko Kari (University of Turku, FI) Dexter Kozen (Cornell University, US) Markus Lohrey (University of Siegen, DE) Parthasarathy Madhusudan (University of Illinois, Urbana-Champaign, US) Sebastian Maneth (University of Bremen, DE) Nicolas Markey (IRISA, Rennes, FR) Carlos Martín-Vide (Rovira i Virgili University, ES, chair) Giancarlo Mauri (University of Milano-Bicocca, IT) Victor Mitrana (University of Bucharest, RO) Paliath Narendran (University at Albany, US) Gennaro Parlato (University of Molise, IT) Dominique Perrin (University of Paris-Est, FR) Nir Piterman (Chalmers University of Technology, SE) Sanguthevar Rajasekaran (University of Connecticut, US) Antonio Restivo (University of Palermo, IT) Wojciech Rytter (University of Warsaw, PL) Kai Salomaa (Queen’s University, CA) Helmut Seidl (Technical University of Munich, DE) William F. Smyth (McMaster University, CA) Jiří Srba (Aalborg University, DK) Edward Stabler (University of California, Los Angeles, US) Benjamin Steinberg (City University of New York, US) Frank Stephan (National University of Singapore, SG) Jan van Leeuwen (Utrecht University, NL) Margus Veanes (Microsoft Research, US) Mikhail Volkov (Ural Federal University, RU) ORGANIZING COMMITTEE: Alberto Leporati (Milan, co-chair) Sara Morales (Brussels) Manuel Parra-Royón (Granada) Rafael Peñaloza Nyssen (Milan) Dana Shapira (Ariel) David Silva (London, co-chair) Bianca Truthe (Giessen) Claudio Zandron (Milan, co-chair) SUBMISSIONS: Authors are invited to submit non-anonymized papers in English presenting original and unpublished research. Papers should not exceed 12 single-spaced pages (all included) and should be prepared according to the standard format for Springer Verlag's LNCS series (see http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). If necessary, exceptionally authors are allowed to provide missing proofs in a clearly marked appendix. Upload submissions to: https://easychair.org/conferences/?conf=lata20202021 PUBLICATIONS: A volume of proceedings published by Springer in the LNCS series will be available by the time of the conference. A special issue of Information and Computation (Elsevier, 2019 JCR impact factor: 0.872) will be later published containing peer-reviewed substantially extended versions of some of the papers contributed to the conference. Submissions to it will be by invitation. REGISTRATION: The registration form can be found at: https://irdta.eu/lata2020-2021/registration/ DEADLINES (all at 23:59 CET): Paper submission: October 26, 2020 – EXTENDED - Notification of paper acceptance or rejection: November 23, 2020 Final version of the paper for the LNCS proceedings: November 30, 2020 Early registration: November 30, 2020 Late registration: February 15, 2021 Submission to the journal special issue: June 5, 2021 QUESTIONS AND FURTHER INFORMATION: david (at) irdta.eu ACKNOWLEDGMENTS: Università degli Studi di Milano-Bicocca IRDTA – Institute for Research Development, Training and Advice, Brussels/London

1 0

CfP: Natural Language Processing in Artificial Intelligence - NLPinAI 2021 Online 4-6 February, 2021
by Roussanka Loukanova 15 Oct '20

15 Oct '20

CALL FOR PAPERS Natural Language Processing in Artificial Intelligence - NLPinAI 2021 Online Streaming 4-6 February, 2021 http://www.icaart.org/NLPinAI.aspx?y=2021 Special Session within the 13th International Conference on Agents and Artificial Intelligence - ICAART 2021 http://www.icaart.org ------------------------------------------------------------- SCOPE Computational and technological developments that incorporate natural language are proliferating. Adequate coverage encounters difficult problems related to partiality, underspecification, and context-dependency, which are signature features of information in nature and natural languages. Furthermore, agents (humans or computational systems) are information conveyors, interpreters, or participate as components of informational content. Generally, language processing depends on agents' knowledge, reasoning, perspectives, and interactions. The session covers theoretical work, applications, approaches, and techniques for computational models of information and its presentation by language (artificial, human, or natural in other ways). The goal is to promote computational systems of intelligent natural language processing and related models of thought, mental states, reasoning, and other cognitive processes. TOPICS We invite contributions relevant to the following topics, without being limited to them: - Type theories for applications to language and information processing - Computational grammar - Computational syntax - Computational semantics of natural languages - Computational syntax-semantics interface - Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics - Parsing - Multilingual processing - Large-scale grammars of natural languages - Interfaces between morphology, lexicon, syntax, semantics, speech, text, pragmatics - Models of computation and algorithms for natural language processing - Computational models of partiality, underspecification, and context-dependency - Models of situations, contexts, and agents, for applications to language processing - Information about space and time in language models and processing - Models of computation and algorithms for linguistics - Data science in language processing - Machine learning of language - Interdisciplinary methods - Integration of formal, computational, model theoretic, graphical, diagrammatic, statistical, and other related methods - Logic for information extraction or expression in written and spoken language - Language processing based on biological fundamentals of information and languages - Computational neuroscience of language IMPORTANT DATES Paper Submission: November 26, 2020 Authors Notification: December 14, 2020 Camera Ready and Registration: December 22, 2020 PAPER SUBMISSION Prospective authors are invited to submit papers in any of the topics listed above. Instructions for preparing the manuscript (in LaTeX and Word styles) are available on the ICAART pages. Paper Templates: http://www.icaart.org/Templates.aspx Guidelines: http://www.icaart.org/Guidelines.aspx Papers must be submitted electronically via the web-based submission system using the button SUBMIT PAPER on the pages of NLPinAI 2021 at ICAART 2021. PUBLICATIONS After thorough reviewing by the special session program committee, all accepted papers will be published in a special section of the conference proceedings book - under an ISBN reference and on digital support - and submitted for indexation by Thomson Reuters Conference Proceedings Citation Index (CPCI/ISI), DBLP, EI (Elsevier Engineering Village Index), Scopus, Semantic Scholar and Google Scholar. SCITEPRESS is a member of CrossRef (http://www.crossref.org/) and every paper is given a DOI (Digital Object Identifier). All papers presented at the conference venue will be available at the SCITEPRESS Digital Library We expect a post-conference, post-proceedings Special Issue with extended publications based on selected papers presented at NLPinAI 2021, ICAART 2021. A book of selected works based on NLPinAI 2020 at ICAART 2020 is on its way to appear: Natural Language Processing in Artificial Intelligence - NLPinAI 2020. Book series: Studies in Computational Intelligence (SCI). CHAIR: Roussanka Loukanova CONTACT: Roussanka Loukanova (rloukanova by gmail)

1 0