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

RAMiCS 2021 - 2nd CFP
by luigi.santocanale＠lis-lab.fr 24 Feb '21

24 Feb '21

2nd CALL FOR PAPERS 19th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2021 2 to 5 November 2021, CIRM, Marseille, France https://ramics19.lis-lab.fr/ IMPORTANT DATES: Abstract Submission: 14 May 2021 Paper Submission: 21 May 2021 Author Notification: 9 July 2021 Final Version: 30 July 2021 RAMiCS 2021: 2 to 5 November 2021 INVITED TALKS: Barbara König, Duisburg-Essen University, Germany Wendy MacCaull, St. Francis Xavier University, Canada Dmitriy Zhuk, Lomonosov Moscow State University, Russia GENERAL INFORMATION: Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. RAMiCS 2021 will take place at CIRM, the Centre International de Rencontres Mathématiques at the beautiful Luminy campus close to Marseille. Depending on the Covid-19 situation, it will take the form of a physical conference, a virtual conference, or a hybrid between the two. There will be no inscriptions fees to the conference. A limited number of grants, covering lodging and catering, are supplied by CIRM and the Archimède Institute. TOPICS: We invite submissions in the general fields of algebras relevant to computer science and applications of such algebras. Topics include but are not limited to: * Theory - algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales - their connections with program logics and other logics - their use in the theories of automata, concurrency, formal languages, games, networks and programming languages - the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories - their formalisation with theorem provers * Applications - tools and techniques for program correctness, specification and verification - quantitative and qualitative models and semantics of computing systems and processes - algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control - industrial applications SUBMISSION INSTRUCTIONS: Submission is via EasyChair at https://www.easychair.org/conferences/?conf=ramics2021 All papers will be peer-reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must not be published or under review for publication elsewhere. Submissions must be in English using a PDF not exceeding 16 pages in LNCS style. Submissions must provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for referees. Deviation from these requirements may lead to rejection. One author of each accepted paper is expected to present the paper at the conference. Accepted papers must be produced with LaTeX. Formatting instructions and LNCS style files are available at http://www.springer.de/comp/lncs/authors.html As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers. COMMITTEES: Organising Committee -------------------- Conf. & PC Co-Chair: Mai Gehrke, LJAD CNRS, France Conf. & PC Co-Chair: Uli Fahrenberg, Ecole polytechnique, France Conf. & PC Co-Chair: Michael Winter, Brock University, Canada Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France Programme Committee ------------------- Bahareh Afshari, University of Amsterdam, Holland Christel Baier, Technische Universität Dresden, Germany Manuel Bodirsky, Technische Universität Dresden, Germany Ignacio Fábregas, Universidad Complutense de Madrid, Spain Uli Fahrenberg, Ecole polytechnique, France Marcelo Frias, Buenos Aires Institute of Technology, Argentina Hitoshi Furusawa, Kagoshima University, Japan Mai Gehrke, LJAD CNRS, France Silvio Ghilardi, Università degli Studi di Milano, Italy Roland Glueck, German Aerospace Center, Germany Walter Guttmann, University of Canterbury, New Zealand Peter Höfner, Australian National University, Australia Ali Jaoua, Qatar University, Qatar Peter Jipsen, Chapman University, USA Sebastiaan Joosten, Dartmouth College, USA Laura Kovacz, Technische Universität Wien, Austria Tadeusz Litak, Erlangen-Nürnberg University, Germany Roger Maddux, Iowa State University, USA Dale Miller, Ecole polytechnique, France Martin Mueller, University of Augsburg, Germany Daniela Petrisan, IRIF, University Paris 7, France Damien Pous, CNRS, ENS Lyon, France David Pym, University College, London, UK Mehrnoosh Sadrzadeh, University College, London, UK Luigi Santocanale, LIS, Aix-Marseille University, France Georg Struth, University of Sheffield, UK Sam van Gool, IRIF, University Paris 7, France Michael Winter, Brock University, Canada

1 0

[SIAS 2021] Symposium on Intelligent and Autonomous Systems
by Symposium IAS 22 Feb '21

22 Feb '21

Symposium on Intelligent and Autonomous Systems (SIAS 2021) Tallinn, Estonia. June 21-23, 2021. <https://www.sscc.fr/SIAS2021/> https://www.sscc.fr/SIAS2021/ in conjunction with " <https://cs.ttu.ee/events/medi2021/> 10th International Conference on Model and Data Engineering (MEDI 2021)" SIAS 2021 CFP The needs of our daily life push forward modern systems to be well connected more user independent, autonomous, and smart. Intelligent and Autonomous Systems (IAS), that support IoT and CPS, facilitate difficult daily tasks in large eras of applications, especially in industry where a large amount of collected data should be efficiently analyzed in order to be optimally exploited. IAS offer a great importance and promising outcomes with a direct impact on a society safety, productivity, and development. The difficulty arises on both sides of either developing new IAS or enhancing the deployed ones with the needed features and capabilities. IAS run on different environments and should follow different standards that make it difficult to ensure IAS requirements. Many solutions were developed in academia and applied by industrial to build a smart and autonomous system. Some of them rely on formal methods and system engineering whereas others look forward on big data and data analysis using mainly artificial intelligence techniques, in addition to other research areas such as networking, security, resiliency, etc. SIAS2021 provides a platform for professionals from academia, government, and industry to discuss how to address the increasing challenges facing IAS. IAS design and architecture . IAS modeling (formal models, SysML, UML, etc) . Correct-by-construction in IAS . MBSE, MDA and DDA for IAS . Virtualization and digital twins for IAS . Blockchains and decentralized architecture for IAS . IAS smart Networking . Communication protocols for IAS . Edges, Fog, and Cloud in IAS . Distributed database for IAS . Web services for IAS . Social aspects and human interaction in IAS IAS Analysis . Artificial intelligence, deep learning, and machine learning in IAS . Model checking and theorem proving for IAS . Abstraction and compositional verification for IAS . Optimization and SAT solvers for IAS . Dynamic and static analysis for IAS . Statistical analysis for IAS . Testing for IAS . Smart decision making in IAS . Fog and edge computing for IAS IAS Assurance . Security specification, requirements, and management in IAS . Security in distributed IAS . Modeling, analysis and detection of attacks in IAS . Data mining for cybersecurity in IAS . Security protocols for IAS . Safety policies for IAS . Safety reinforcement models in IAS . Safety standard analysis for IAS . Resilience metrics and models for IAS . Resilience strategies and plans for IAS . Recovery systems for IAS resiliency . Recommendation guided decisions for IAS resiliency IAS Applications, Implementations, and Use cases . Applications and Software Platforms for IAS . IoT and CPS for IAS . Smart cities . IAS for industrial and production CPS . Autonomous robots and vehicles . Human-Robot Interaction . Smart logistics (transportation, supply chain, etc) Important Dates . Submission Date: 25 April,2021 . Notification to Authors: 25 May, 2021 . Camera Ready Submission: 4 June, 2021 Submission System . <https://easychair.org/conferences/?conf=sias2021> https://easychair.org/conferences/?conf=sias2021

1 0

CSL 2022 - call for papers
by Manea, Florin 15 Feb '21

15 Feb '21

===================================== First call for papers (CSL'22) ===================================== Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), see https://www.eacsl.org/. It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL'22 will be held on February 14 - 19, 2022, in Göttingen, Germany. Currently, we expect that the conference will be organized in a hybrid way: both with an in-presence component and an online component. Submission guidelines: ---------------------- Submitted papers must be in English and must provide sufficient detail to allow the Programme Committee to assess the merits of the paper. Full proofs may appear in a clearly marked technical appendix which will be read at the reviewers' discretion. Authors are strongly encouraged to include a well written introduction which is directed at all members of the PC. The CSL 2022 conference proceedings will be published in Leibniz International Proceedings in Informatics (LIPIcs), see https://submission.dagstuhl.de/documentation/authors. Authors are invited to submit contributed papers of no more than 15 pages in LIPIcs style (not including references), presenting unpublished work fitting the scope of the conference. Papers may not be submitted concurrently to another conference with refereed proceedings. The PC chairs should be informed of closely related work submitted to a conference or a journal. Papers authored or co-authored by members of the PC are not allowed. At least one of the authors of each accepted paper is expected to register for the conference and attend it in person or online, in order to present their papers. Important dates: ---------------- Abstract submission: July 5, 2021 (AoE), Paper submission: July 12, 2021 (AoE), Notification: September 30, 2021, Conference: February 14-19, 2022 List of topics: --------------- automated deduction and interactive theorem proving constructive mathematics and type theory equational logic and term rewriting automata and games, game semantics modal and temporal logic model checking decision procedures logical aspects of computational complexity finite model theory computability computational proof theory logic programming and constraints lambda calculus and combinatory logic domain theory categorical logic and topological semantics database theory specification, extraction and transformation of programs logical aspects of quantum computing logical foundations of programming paradigms verification and program analysis linear logic higher-order logic nonmonotonic reasoning Program Committee: ------------------ Thorsten Altenkirch (Nottingham, UK) Benedikt Bollig (Cachan, France) Agata Ciabattoni (Vienna, Austria) Liron Cohen (Ben-Gurion University, Israel) Anupam Das (Birmingham, UK) Claudia Faggian (Paris, France) Francesco Gavazzo (Bologna, Italy) Stefan Göller (Kassel, Germany) Willem Heijltjes (Bath, UK) Sandra Kiefer (Aachen, Germany) Emanuel Kieronski (Wroclaw, Poland) Bartek Klin (Warsaw, Poland) Juha Kontinen (Helsinki, Finland) Anthony Lin (Kaiserslautern, Germany) Karoliina Lehtinen (Marseille, France) Florin Manea (Göttingen, Germany, co-chair) Fredrik Nordvall Forsberg (Strathclyde, UK) Liat Peterfreund (Paris, France and Edinburgh, UK) Daniela Petrisan (Paris, France) Karin Quaas (Lepizig) Alex Simpson (Ljubljana, Slovenia, co-chair) Pawel Sobocinski (Tallin, Estonia) Anna Sokolova (Salzburg, Austria) Linda Brown Westrick (Connecticut, US) Organization Committee: ----------------------- Fundamentals of Computer Science Group (University of Göttingen, Germany; Florin Manea, chair) Contact: -------- Please send all questions about submissions to the PC co-chairs: csl2022(a)easychair.org

1 0

FSCD 2021: Extended deadline (Abstract: February 16/ Submission: February 22)
by Carsten Fuhs 11 Feb '21

11 Feb '21

(Apologies for multiple copies of this announcement. Please circulate.) ================================================================== Updated information on: Abstract and Submission dates ================================================================== 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 16, 2021 *** extended Submission: February 22, 2021 *** extended Rebuttal: April 2-5, 2021 Notification: April 19, 2021 Final version: May 3, 2021 INVITED SPEAKERS ---------------- - Zena M. Ariola, University of Oregon https://ix.cs.uoregon.edu/~ariola/ - Nao Hirokawa, JAIST https://www.jaist.ac.jp/~hirokawa/ - Elaine Pimentel, Federal University of Rio Grande do Norte https://sites.google.com/site/elainepimentel/ - Sam Staton, University of Oxford https://www.cs.ox.ac.uk/people/samuel.staton/main.html AFFILIATED WORKSHOPS -------------------- - HoTT/UF: 6th Workshop on Homotopy Type Theory/Univalent Foundations - ITRS: 10th Workshop on Intersection Types and Related Systems - WPTE: 7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation - UNIF: 35th International Workshop on Unification - LSFA: 16th Logical and Semantics Frameworks with Applications - IWC: 10th International Workshop on Confluence - IFIP WG 1.6: 24th meeting of the IFIP Working Group 1.6: Rewriting 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

Call for Nominations for the 2021 Gödel Prize
by Dan Spielman 04 Feb '21

04 Feb '21

I write to bring your attention to the call for nominations for the 2021 Gödel Prize. The deadline for nominations is Feb. 28. You can find more information from SIGACT or EATCS https://sigact.org/prizes/g%C3%B6del.html The call is attached. Sincerely, Daniel Spielman

1 0

LICS 2021 Online and Call for Workshops
by Sam Staton 04 Feb '21

04 Feb '21

It was recently decided that LICS 2021 will be held online. For this reason we’re making another call for workshop proposals: 36TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2021) 2nd 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 online on June 29-July 2, 2021. The workshops will be held online 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. - 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: - Workshop proposal submission deadline: February 28, 2020 - Notification: March 3, 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.

1 0

TABLEAUX 2021 - Call for Papers. 6-9 September, 2021. Birmingham, UK.
by anupamdotdas＠gmail.com 02 Feb '21

02 Feb '21

TABLEAUX 2021 The 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods Birmingham, UK, September 6-9, 2021 Website: <https://tableaux2021.org/> https://tableaux2021.org/ Submission deadlines: 19 April (abstract), 26 April 2021 (paper) GENERAL INFORMATION The 30th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2021) will be hosted by the University of Birmingham, UK, 6-9 September 2021. TABLEAUX is the main international conference at which research on all aspects -- theoretical foundations, implementation techniques, systems development and applications -- of tableaux-based reasoning and related methods is presented. The first TABLEAUX conference was held in Lautenbach near Karlsruhe, Germany, in 1992. Since then it has been organised on an annual basis (sometimes as a part of IJCAR). TABLEAUX 2021 will be co-located with the 13th International Symposium on Frontiers of Combining Systems (FroCoS 2021). The conferences will provide a rich programme of workshops, tutorials, invited talks, paper presentations and system descriptions. SCOPE OF CONFERENCE Tableaux and other proof based methods offer convenient and flexible tools for automated reasoning for both classical and non-classical logics. Areas of application include verification of software and computer systems, deductive databases, knowledge representation and its required inference engines, teaching, and system diagnosis. Topics of interest include but are not limited to: * tableau methods for classical and non-classical logics (including first-order, higher-order, modal, temporal, description, hybrid, intuitionistic, linear, substructural, fuzzy, relevance and non-monotonic logics) and their proof-theoretic foundations; * sequent, natural deduction, labelled, nested and deep calculi for classical and non-classical logics, as tools for proof search and proof representation; * related methods (SMT, model elimination, model checking, connection methods, resolution, BDDs, translation approaches); * flexible, easily extendable, light-weight methods for theorem proving; novel types of calculi for theorem proving and verification in classical and non-classical logics; * systems, tools, implementations, empirical evaluations and applications (provers, proof assistants, logical frameworks, model checkers, etc.); * implementation techniques (data structures, efficient algorithms, performance measurement, extensibility, etc.); * extensions of tableau procedures with conflict-driven learning; * techniques for proof generation and compact (or humanly readable) proof representation; * theoretical and practical aspects of decision procedures; * applications of automated deduction to mathematics, software development, verification, deductive and temporal databases, knowledge representation, ontologies, fault diagnosis or teaching. We also welcome papers describing applications of tableau procedures to real-world examples. Such papers should be tailored to the TABLEAUX community and should focus on the role of reasoning and on logical aspects of the solution. SUBMISSION GUIDELINES Submissions are invited in the following two categories: (A) research papers reporting original theoretical research or applications, with length up to 15 pages excluding references; (B) system descriptions, with length up to 9 pages excluding references. There will also be a later call inviting position papers and brief reports on work-in-progress. Details will be kept up to date on the website. Submissions will be reviewed by the PC, possibly with the help of external reviewers, taking into account readability, relevance and originality. Any additional material (going beyond the page limit) can be included in a clearly marked appendix, which will be read at the discretion of the committee and must be removed for the camera-ready version. For category (A) submissions, the reported results must be original and not submitted for publication elsewhere. For category (B) submissions, a working implementation must be accessible via the internet. Authors are encouraged to publish the implementation under an open source license. The aim of a system description is to make the system available in such a way that people can use it, understand it, and build on it. Accepted papers in categories (A) and (B) will be published in the conference proceedings. Papers must be edited in LaTeX using the llncs style and must be submitted electronically as PDF files via the EasyChair system: https://easychair.org/conferences/?conf=tableaux21 For all accepted papers at least one author is required to register to the conference and present the paper. A title and a short abstract of about 100 words must be submitted before the paper submission deadline. Formatting instructions and the LNCS style files can be obtained at: http://www.springer.com/br/computer-science/lncs/conference-proceedings-gui… IMPORTANT DATES Abstract submission: 19 April 2021 (AoE) Paper submission: 26 April 2021 (AoE) Notification: 14 June 2021 Conference: 6-9 September 2021 CONFERENCE FORMAT AND COVID-19 TABLEAUX 2021 and FroCoS 2021 are intended to be *hybrid* conferences welcoming both physical and virtual participation. The organisers are closely monitoring the pandemic situation and may choose to make the conference virtual-only if it seems unreasonable to host any sort of physical event. A final decision will be taken before the notification date 14 June (12 weeks before the conference) to leave ample time for potential travel plans to be made. PUBLICATION The conference proceedings will be published in the Springer series Lecture Notes in Artificial Intelligence (LNAI/LNCS). BEST PAPER AWARDS The program committee will select * the TABLEAUX 2021 Best Paper; and, * the TABLEAUX 2021 Best Paper by a Junior Researcher. Researchers will be considered "junior" if either they are students or their PhD degree date is less than two years from the first day of the meeting. The two awards will be presented at the conference. TRAVEL GRANTS FOR STUDENTS Some funding may be available to support students participating at TABLEAUX 2021. More details will be given on the conference website in due time. PROGRAM COMMITTEE Bahareh Afshari (University of Amsterdam, Netherlands, and University of Gothenburg, Sweden) Carlos Areces (Universidad Nacional de Córdoba, Argentina) Arnon Avron (Tel-Aviv University, Israel) Nick Bezhanishvili (University of Amsterdam, Netherlands) Patrick Blackburn (University of Roskilde, Denmark) Serenella Cerrito (Université Paris-Saclay, Univ Evry, France) Kaustuv Chaudhuri (Inria, France) Liron Cohen (Ben-Gurion University, Israel) Anupam Das (University of Birmingham, UK) Stéphane Demri (CNRS, France) Hans de Nivelle (Nazarbayev University, Kazakhstan) Valeria de Paiva (Topos Institute Berkeley, USA) Clare Dixon (University of Manchester, UK) Christian Fermüller (TU Wien, Austria) Didier Galmiche (Université de Lorraine, France) Silvio Ghilardi (Università degli Studi di Milano, Italy) Rajeev Goré (Australian National University, Australia) Andrzej Indrzejczak (University of Łódź, Poland) Hidenori Kurokawa (Kanazawa University, Japan) Stepan Kuznetsov (Russian Academy of Sciences, Russia) Björn Lellmann (SBA Research, Austria) Stéphane Graham-Lengrand (SRI International, USA) George Metcalfe (University of Bern, Switzerland) Neil Murray (University At Albany, USA) Cláudia Nalon (Universidade de Brasília, Brazil) Sara Negri (University of Genoa, Italy) Nicola Olivetti (Aix-Marseille University, France) Eugenio Orlandelli (University of Bologna, Italy) Jens Otten (University of Oslo, Norway) Alessandra Palmigiano (Vrije Universiteit Amsterdam, Netherlands) Dirk Pattinson (Australian National University, Australia) Frank Pfenning (Carnegie Mellon University, USA) Elaine Pimentel (Federal University of Rio Grande do Norte, Brazil) Andrei Popescu (University of Sheffield, UK) Gian Luca Pozzato (University of Turin, Italy) Giselle Reis (Carnegie Mellon University, Qatar) Reuben Rowe (Royal Holloway, UK) José Espírito Santo (University of Minho, Portugal) Lutz Straßburger (Inria, France) Josef Urban (Czech Technical University in Prague, Czech Republic) PC CHAIRS Anupam Das (University of Birmingham, UK) Sara Negri (University of Genoa, Italy)

1 0

After the 3rd World Logic Day
by Antje Herbst 02 Feb '21

02 Feb '21

The 3rd edition of the World Logic Day, January 14, 2021, was a great success with nearly 100 celebrations taking place all around the world. These celebrations were connected by a Welcome Ceremony, in which presidents of logical associations and logicians from all over the world participated. Participants (among others): Ø Jean-Yves Beziau (Creator of the World Logic Day, Editor-in-Chief of Logica Universalis), Ø Maria Edileuza Fontenele Reis (former UNESCO Ambassador of Brazil), Ø Benedikt Löwe (CIPSH/UNESCO - coordinator of the World Logic Day), Ø Jan Wolenski (talking about Alfred Tarski), Ø Daniele Mundici (talking about Kurt Gödel), Ø Luca Scarantino (President of the FISP -International Federation of Philosophical Societies), Ø Gerhard Heinzmann (President of AIPS, International Academy of Philosophy of Science), Ø Jacek Malinowski (Editor-in-Chief of Studia Logica), Ø Otávio Bueno (Editor-in-Chief of Synthese), Ø Ivan Varzinczak (Winner of the 1st World Logic Prizes Contest) Visit http://www.logica-universalis.org/wld3 for all information. The ceremony was streamed and recorded. To watch the recording, visit the YouTube - channel: Universal Logic Project - https://www.youtube.com/channel/UCPS1c5ApuwjuCV9UjXHUN4w On this channel, you can also watch: Ø a video by Maria Edileuza Fontenele Reis, the Brazilian Ambassador at UNESCO, about the successful submission of the proposal to the UNESCO executive committee and general assembly, Ø a video by Jean-Yves Beziau, explaining why he decided to create the World Logic Day, Ø a video by Ivan Varzinczak about the World Logic Prizes Contest. -- Antje Herbst Associate Editor Mathematics Journals Springer Nature Tiergartenstraße 17, 69121 Heidelberg, Germany T +49 62214878984 antje.herbst(a)springernature.com<mailto:antje.herbst@springernature.com> www.springernature.com<http://www.springernature.com/> -- Springer Nature is a leading research, educational and professional publisher, providing quality content to our communities through a range of innovative platforms, products and services. Every day, around the globe, our imprints, books, journals and resources reach millions of people - helping researchers, students, teachers & professionals to discover, learn and achieve. -- Branch of Springer-Verlag GmbH, Heidelberger Platz 3, 14197 Berlin, Germany Registered Office: Berlin / Amtsgericht Berlin-Charlottenburg, HRB 91881 B Directors: Martin Mos, Dr. Ulrich Vest, Dr. Niels Peter Thomas

1 0

ICALP 2021 Second Call for Workshops
by Gethin Norman 26 Jan '21

26 Jan '21

================================================== ICALP 2021 Second Call for Workshops and Tutorials ================================================== *** It has now been decided that ICALP 2021 and its workshops will be online-only, hosted by the University of Glasgow, UK. *** As the decision for online workshops has now been confirmed, we are sending out a second call for those that want to take advantage of the logistics of this format. ICALP 2021 (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 (or tutorials) 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 *** February 19th, 2021 *** 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 within one week. A workshop or tutorial 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. 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: Friday February 19, 2021 Workshop Notification: Monday Friday February 26, 2021 Workshops: Monday July 12, 2021 Conference: Tuesday July 13 - Friday July 16, 2021 Workshop selection committee: Ornela Dardha ornela.dardha(a)glasgow.ac.uk Gethin Norman gethin.norman(a)glasgow.ac.uk

1 0

Final CfP. CiE 2021: Connecting with computability
by acie＠acie.eu 19 Jan '21

19 Jan '21

(Apologies for multiple postings.) ========================= FINAL CALL FOR PAPERS: ========================= CiE 2021: Connecting with computability 5 - 9 July 2021 website: www.CiE2021.ugent.be [1] **Due to the current pandemic CiE 2021 will be held as a virtual conference.** CiE 2021 is the seventeenth conference organized by the Association Computability in Europe. The /Computability in Europe/ conference (CiE) series has built up a strong tradition for developing a scientific program which is interdisciplinary at its core bringing together all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in CS and other disciplines such as biology, mathematics, history, philosophy, and physics. For more information about the CiE conferences and the Association CiE, please have a look at: https://www.acie.eu/ [2]. CiE 2021 will be the second CiE conference that is organized as a virtual event and aims at a high-quality meeting that allows and invites active participation from all participants. It will be hosted virtually by Ghent University. 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) and virtually in Salerno (2020) PLENARY SPEAKERS ========================= * Laura Crosilla (University of Oslo, Norway) * Markus Lohrey (Universität Siegen. Germany) * Russell Miller (tutorial speaker, CUNY, US) * Joan Rand Moschovakis (UCLA, US) * Joël Ouaknine (Max Planck Institute for software systems, Germany) * Christine Tasson (tutorial speaker, Université Paris Diderot, France) * Keita Yokoyama (Japan Advanced Institute of Science and Technology, Japan) * Henry Yuen (University of Toronto, Canada) SPECIAL SESSIONS ========================= /Church's thesis in constructive mathematics (HaPoC session)/ Marianna Antonutti-Marfori (Ludwig-Maximilians-Universität München, Germany) and Alberto Naibo (Université Paris 1 Panthéon-Sorbonne) _/Classical Computability theory: Open problems and solutions/_ Noam Greenberg (Victoria University of Wellington, New Zealand) and Steffen Lempp (University of Wisconsin) Speakers: Marat Faizrakhmanov (Kazan Federal University), Andrea Sorbi (University of Siena), Liang Yu (Nanjing University), Ning Zhong (University of Cincinnati) _/Computational geometry/_ Maike Buchin (Ruhr-Universität Bochum, Germany) and Maarten Löffler (Utrecht University, Netherlands) Speakers: Wolfgang Mulzer (Free University Berlin)_, _Tillmann Miltzow (Utrecht University), Esther Ezra (Bar-Ilan University), Karl Bringmann (Saarland University) /Computational Pangenomics/ Nadia Pisanti (University of Pisa, Italy) and Solon Pissis (University of Amsterdam, Netherlands) Speakers: Francesca Ciccarelli (King's College London, UK), Benedict Paten (University of California Santa Cruz, USA), Brona Brejova (Comenius University in Bratislava, Slovakia), Rayan Chikhi (Pasteur Institute, France) _/Proof theory and computation/_ David Fernández Duque (Ghent University, Belgium) and Juan Pablo Aguilera (Ghent University, Belgium) Speakers: Lorenzo Carlucci (University of Rome I "La Sapienza"), Francesca Poggiolesi (CNRS, Université Paris 1 Panthéon-Sorbonne), Yue Yang (National university of Singapore), Leszek Kolodziejczyk (University of Warsa) _/Quantum computation and information/_ Harry Buhrman (Universiteit van Amsterdam, Netherlands) and Frank Verstraete (Ghent University, Belgium) WOMEN IN COMPUTABILITY ========================= The Computability in Europe conference series has a long tradition in setting up a Women in Computability program. For CiE 2021 we plan a Women in Computability workshop combined with an online mentoring program. For more details on the Special Interest Group Women in Computability, see: https://www.acie.eu/cie-conference-series/cie-cs-women-in-computability/ [3] IMPORTANT DATES: ========================= Deadline for article registration (abstract submission): January 17, 2021 Deadline for article submission: February 5, 2021 Notification of acceptance: April 13, 2021 Final versions due: April 27, 2021 Deadline for informal presentations submission: May 1, 2021 The notifications of acceptance for informal presentations will be sent a few days after submission. Please note that article registration is not necessary for article submission. ORGANIZED BY: ========================= Department of Mathematics WE16, Ghent University Organizing Committee: David Fernández-Duque, chair (Ghent University) Juan Pablo Aguilera (Ghent University) David Belanger (Ghent University) Ana Borges (University of Barcelona) Liesbeth De Mol (University of Lille) Andreas Debrouwere (Ghent University) Lorenz Demey (Catholic University of Leuven) Eduardo Hermo-Reyes (University of Barcelona) Christian Michaux (University of Mons) Fedor Pakhomov (Ghent University) Pawel Pawlowski (Ghent University) Frederik Van De Putte (Ghent University) Peter Verdée (Catholic University of Louvain) Andreas Weiermann (Ghent University) CONTRIBUTED PAPERS: ========================= The Programme Committee cordially invites all researchers (European and non-European) to submit their papers in computability related areas for presentation at the conference and inclusion in the proceedings. Papers building bridges between different parts of the research community are particularly welcome. Papers should be in English and anonymized. They must be submitted in PDF format, using the LNCS style (available at ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip [4]) and should have a maximum of 10 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Authors should submit their papers electronically using EasyChair: https://easychair.org/conferences/?conf=cie2021 [5] Abstracts should be submitted by January 17th 2021, followed by the full papers to be submitted by February 5 2021. Each submitted paper will be peer-reviewed by a panel of PC members based on originality, significance, technical soundness, clarity of exposition, and relevance for the conference. For each accepted paper, at least one author is required to register for the conference and should plan to present the paper. The CONFERENCE PROCEEDINGS will be published with LNCS, Springer Verlag. INFORMAL PRESENTATIONS: ========================= Continuing the tradition of past CiE conferences, in addition to the formal presentations based on the LNCS proceedings volume, CiE 2021 will host a track of informal presentations, that are prepared very shortly before the conference and inform the participants about current research and work in progress. The deadline for the submission of abstracts for informal presentations is May 1st, 2021. PROGRAMME COMMITTEE ========================= Marianna Antonutti Marfori (Ludwig Maximilian University of Munich) Nathalie Aubrun (CNRS, Université Paris-Saclay) Christel Baier (TU Dresden) Nikolay Bazhenov (Sobolev Institute of Mathematics) Marie-Pierre Béal (Université Paris-Est) Arnold Beckmann (Swansea University) David Bélanger (Ghent University) Joel Day (Loughborough University) Liesbeth De Mol (CNRS, Université de Lille, PC co-chair) Carola Doerr (Sorbonne University, CNRS) Jérôme Durand-Lose (Université d'Orléans) David Fernández-Duque (Ghent University) Zuzana Haniková (Academy of Sciences of the Czech Republic) Mathieu Hoyrup (LORIA) Assia Mahboubi (INRIA) Florin Manea (University of Göttingen) Irène Marcovici (Université de Lorraine) Klaus Meer (BTU Cottbus-Senftenberg) Ludovic Patey (Institut Camille Jordan) Cinzia Pizzi (University of Padova) Giuseppe Primiero (University of Milan) Simona Ronchi Della Rocca (Università di Torino) Paul Schafer (University of Leeds) Svetlana Selivanova (KAIST) Monika Seisenberger (Swansea University) Alexander Shen (CNRS & Univ. Montpellier 2) Alexandra Soskova (Sofia University) Mariya Soskova (University of Wisconsin-Madison) Frank Stephan (National University of Singapore) Peter Van Emde Boas (Universiteit van Amsterdam) Sergey Verlan (Université Paris Est - Créteil Val de Marne) Andreas Weiermann (Ghent University, PC co-chair) Damien Woods (Maynooth University) Links: ------ [1] http://www.cie2021.ugent.be/ [2] https://www.acie.eu/ [3] https://www.acie.eu/cie-conference-series/cie-cs-women-in-computability/ [4] ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip [5] https://easychair.org/conferences/?conf=cie2021

1 0