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

DaLí 2022 - Call for Papers

by Carlos Areces

DaLí 2022 - Call for Papers http://dali2022.campus.ciencias.ulisboa.pt ***Important Dates*** - Abstract submission deadline: 03 May 2022 - Full paper submission deadline: 10 May 2022 - Author notifications: 15 June 2022 ************ ****Overview***** Dynamic logic (DL), a generalization of the logic of Floyd-Hoare introduced in the 70s by Pratt, is a well-known and particularly powerful way of combining propositions, for capturing static properties of program states, and structured actions, responsible for transitions from a state to another (and typically combined through a Kleene algebra to express sequential, non-deterministic, iterative behaviour of systems), into a formal framework to reason about, and verify, classic imperative programs. Over time Dynamic logic grew to encompass a family of logics increasingly popular in the verification of computational systems, and able to evolve and adapt to new, and complex validation challenges. In particular, the dynamic logic community is interested in the study of operators that can modify the structure in which they are being evaluated. Examples include dynamic logics tailored to specific programming problems or paradigms (e.g., separation logics to model the evolution of a program heap); languages to reason and represent evolving information (e.g., dynamic epistemic logics); and formalism that aim to model new computing domains, including probabilistic, continuous and quantum computation. Dynamic logic is not only theoretically relevant, but it also shows enormous practical potential and it is indeed a topic of interest in several scientific venues, from wide-scope software engineering conferences to modal logic specific events. That being said, DaLí is the only event exclusively dedicated to this topic. It is our aim to once again bring together in a single place the heterogeneous community of colleagues which share an interest in Dynamic logic - from Academia to Industry, from Mathematics to Computer Science, - to promote their works, to foster great discussions and new collaborations. Previous editions of DaLí took place in Brasília (2017) and Porto (2019), and an online edition (2020). ****List of Topics**** Submissions are invited on the general field of dynamic logic, its variants and applications, including, but not restricted to: - Dynamic logic, foundations and applications - Logics with regular modalities - Modal/temporal/epistemic logics - Kleene and action algebras and their variants - Quantum dynamic logic - Coalgebraic modal/dynamic logics - Graded and fuzzy dynamic logics - Dynamic logics for cyber-physical systems - Dynamic epistemic logic - Complexity and decidability of variants of dynamic logics and temporal logics - Model checking, model generation and theorem proving for dynamic logics ****Submission and Proceedings**** Submissions of original papers (unpublished and not submitted for publication elsewhere), up to 15 pages in LNCS style, are invited through https://easychair.org/conferences/?conf=dali2020 A post-proceedings volume and a special issue of a journal are planned. ****Invited Speakers**** TBA ****Program Committee Chairs**** Carlos Areces (FaMAF, Universidad Nacional de Córdoba, AR) Diana Costa (LASIGE, FCUL, University of Lisbon, PT) ****Program Commitee**** Thomas Ågotnes (U. Bergen, NO) Natasha Alechina (Utrecht U., NL) Carlos Areces (U. Córdoba, AR) Philippe Balbiani (IRIT, FR) Serenella Cerrito (IBISC, U. Evry, U. Paris-Saclay, FR) Diana Costa (U. Lisbon, PT) Giovanna D'Agostino (U. Udine, IT) Stéphane Demri (CNRS, FR) Hans van Ditmarsch (Open University, NL) Raul Fervari (U. Córdoba, AR) Sabine Frittella (LIFO, FR) Nina Gierasimczuk (TU Denmark, DK) Rajeev Gore (Vienna U. of Technology, AU and Polish A. of Science, PO) Reiner Hähnle (TU Darmstadt, DE) Rolf Hennicker (LMU Munich, DE) Sophia Knight (U. Minnesota, USA) Clemens Kupke (U. Strathclyde, UK) Stepan Kuznetsov (Steklov Mathematical Institute, RU) Alexandre Madeira (U. Aveiro, PT) Sonia Marin (U. Birmingham, UK) Manuel Martins (U. Aveiro, PT) Larry Moss (Indiana University Bloomington, USA) Cláudia Nalon (U. Brasília, BR) Nicola Olivetti (Aix-Marseille U., FR) Eric Pacuit (U. Maryland, USA) Alessandra Palmigiano (Vrije Universiteit Amsterdam, NL) Vít Punčochář (Czech Academy of Sciences, CZ) Katsuhiko Sano (Hokkaido U., JP) Igor Sedlár (Czech Academy of Sciences, CZ) Rineke Verbrugge (U. Groningen, NL) Frank Wolter (U. Liverpool, UK)

2 years, 7 months

1
0
0 0

Learning and Automata (LearnAut) 2022 -- ICALP 2022 Workshop

by Tobias Kappé

Learning and Automata (LearnAut) -- ICALP 2022 workshop July 4th - Paris, France and virtually Website: https://learnaut22.github.io Learning models defining recursive computations, like automata and formal grammars, are the core of the field called Grammatical Inference (GI). The expressive power of these models and the complexity of the associated computational problems are major research topics within mathematical logic and computer science. Historically, there has been little interaction between the GI and ICALP communities, though recently some important results started to bridge the gap between both worlds, including applications of learning to formal verification and model checking, and (co-)algebraic formulations of automata and grammar learning algorithms. The goal of this workshop is to bring together experts on logic who could benefit from grammatical inference tools, and researchers in grammatical inference who could find in logic and verification new fruitful applications for their methods. We invite submissions of recent work, including preliminary research, related to the theme of the workshop. The Program Committee will select a subset of the abstracts for oral presentation. At least one author of each accepted abstract is expected to represent it at the workshop (in person, or virtually). Note that accepted papers will be made available on the workshop website but will not be part of formal proceedings (i.e., LearnAut is a non-archival workshop). Topics of interest include (but are not limited to): - Computational complexity of learning problems involving automata and formal languages. - Algorithms and frameworks for learning models representing language classes inside and outside the Chomsky hierarchy, including tree and graph grammars. - Learning problems involving models with additional structure, including numeric weights, inputs/outputs such as transducers, register automata, timed automata, Markov reward and decision processes, and semi-hidden Markov models. - Logical and relational aspects of learning and grammatical inference. - Theoretical studies of learnable classes of languages/representations. - Relations between automata or any other models from language theory and deep learning models for sequential data. - Active learning of finite state machines and formal languages. - Methods for estimating probability distributions over strings, trees, graphs, or any data used as input for symbolic models. - Applications of learning to formal verification and (statistical) model checking. - Metrics and other error measures between automata or formal languages. ** Invited speakers ** Jeffrey Heinz (Stony Brook University) Ariadna Quattoni (Universitat Politècnica de Catalunya) ** Submission instructions ** Submissions in the form of extended abstracts must be at most 8 single-column pages long at most (plus at most four for bibliography and possible appendixes) and must be submitted in the JMLR/PMLR format. The LaTeX style file is available here: https://ctan.org/tex-archive/macros/latex/contrib/jmlr We do accept submissions of work recently published or currently under review. - Submission url: https://easychair.org/conferences/?conf=learnaut2022 - Submission deadline: March 31st - Notification of acceptance: April 30th - Early registration: TBD ** Program Committee ** TBD ** Organizers ** Remi Eyraud (University of Saint-Étienne) Tobias Kappé (ILLC, University of Amsterdam) Guillaume Rabusseau (Mila & DIRO, Université de Montréal) Matteo Sammartino (Royal Holloway, University of London & University College London)

2 years, 7 months

1
0
0 0

FSCD 2022: Second Call for Papers

by Carsten Fuhs

(Apologies for multiple copies of this announcement. Please circulate.) ======================================================================= Updated information on: invited speakers, affiliated workshops ======================================================================= CALL FOR PAPERS Seventh International Conference on Formal Structures for Computation and Deduction (FSCD 2022) August 2 - 5, 2022, Haifa, Israel https://fscd2022.github.io In-cooperation with ACM SIGLOG and SIGPLAN IMPORTANT DATES --------------- All deadlines are midnight anywhere-on-earth (AoE); late submissions will not be considered. Abstract: February 8, 2022 Submission: February 11, 2022 Rebuttal: March 29-April 1, 2022 Notification: April 15, 2022 Final version: April 30, 2022 INVITED SPEAKERS ---------------- - Cynthia Kop, Radboud University Nijmegen (FSCD Invited Speaker) - Alwen Tiu, The Australian National University (FSCD Invited Speaker) - Orna Kupferman, Hebrew University (FLoC Plenary Speaker) - Catuscia Palamidessi, INRIA Saclay and LIX (FLoC Keynote Speaker) AFFILIATED WORKSHOPS -------------------- - IFIP-WG1.6: Annual Meeting of the IFIP Working Group 1.6 on Term Rewriting (July 31, only invited talks) - HoTT/UF: 7th Workshop on Homotopy Type Theory/Univalent Foundations (July 31-August 1) - IWC: 11th International Workshop on Confluence (August 1) - LFMTP: International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice (August 1) - Linearity-TLLA: 3rd Joint International Workshop (July 31-August 1) - TERMGRAPH: 12th International Workshop on Computing with Terms and Graphs (August 1) - WiL: 6th Workshop on Women in Logic (July 31) - WPTE: 9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (July 31) OVERVIEW -------- 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=fscd2022 Submissions must be formatted using the LIPIcs style files (https://submission.dagstuhl.de/series/details/5#author). Submissions can be made in two categories. Regular research papers are limited to 15 pages, excluding references and appendices. They must present original research which is unpublished and not submitted elsewhere. System descriptions are limited to 15 pages, excluding references. They must present new software tools, or significantly new versions of such tools, in which FSCD topics play an important role. An archive of the code with instructions on how to install and run the tool must be submitted. In addition, a webpage where the system can be experimented with should be provided. One author of an accepted paper is expected to present it at the (physical) conference, unless Covid restrictions prevent travel. 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 ----------------------- Amy Felty, University of Ottawa fscd2022 at easychair.org PROGRAM COMMITTEE ----------------- Amal Ahmed, Northeastern University Thorsten Altenkirch, Nottingham University Takahito Aoto, Niigata University Kazuyuki Asada, Tohoku University Franz Baader, TU Dresden James Cheney, University of Edinburgh Agata Ciabattoni, Vienna University of Technology Horatiu Cirstea, Loria Nachum Dershowitz, Tel Aviv University Gilles Dowek, Inria & ENS Paris-Saclay Carsten Fuhs, Birkbeck, University of London Hugo Herbelin, Inria & Université de Paris Patricia Johann, Appalachian State University Daniel Licata, Wesleyan University Salvador Lucas, Universitat Politècnica de València Christopher Lynch, Clarkson University Ralph Matthes, IRIT, CNRS, TU Toulouse Paul-André Melliès, CNRS, Université de Paris Alexandre Miquel, Universidad de la República Georg Moser, Universität Innsbruck Daniele Nantes, Universidade de Brasília Vivek Nigam, Huawei ERC & UFPB Carlos Olarte, UFRN Valeria de Paiva, Topos Institute Giselle Reis, CMU Qatar Masahiko Sakai, Nagoya University Renate Schmidt, University of Manchester Martina Seidl, Johannes Kepler University Sam Staton, University of Oxford Christine Tasson, Sorbonne Université Benoît Valiron, LRI & Université de Paris Stephanie Weirich, University of Pennsylvania CONFERENCE CHAIR ---------------- Nachum Dershowitz, Tel Aviv University WORKSHOP CHAIRS -------------- Shaull Almagor, Technion Guillermo A. Pérez, University of Antwerp STEERING COMMITTEE WORKSHOP CHAIR -------------------------------- Jamie Vicary, Oxford University PUBLICITY CHAIR --------------- Carsten Fuhs, Birkbeck, University of London FSCD STEERING COMMITTEE ----------------------- Zena Ariola, University of Oregon Alejandro Díaz-Caro, Quilmes University & ICC/CONICET Carsten Fuhs, Birkbeck, University of London Herman Geuvers (Chair), Radboud University Silvia Ghilezan, University of Novi Sad Stefano Guerrini, Université de Paris 13 Delia Kesner, Université de Paris Diderot Naoki Kobayashi, The University of Tokyo Luigi Liquori, Inria Damiano Mazza, Université de Paris 13 Jakob Rehof, TU Dortmund Jamie Vicary, Oxford University

2 years, 7 months

1
0
0 0

Logica Universalis Webinar - January 14 - Celebrating the World Logic

by Antje Herbst

Join the Logica Universalis Webinar! The next session will be held on Friday, January 14 at 4pm CET. Please register in advance. Registration is now open!<https://springer.zoom.us/meeting/register/tJMvdu6vrzMiHda_iDhjxw9vA9d7we9gT…> To celebrate the World Logic Day<https://www.springer.com/journal/11787/updates/17236846> we will have a roundtable on The Exceptionality of Logic<https://www.jyb-logic.org/ILE> with the participation of Jean-Yves Beziau<https://www.jyb-logic.org/> (Editor-in-Chief LU, President of the Logica Universalis Association, Creator of the World Logic Day) Yuri Gurevich<https://en.wikipedia.org/wiki/Yuri_Gurevich> (Former Principal Researcher at MICROSOFT RESEARCH, Professor Emeritus at the University of Michigan, USA) María del Rosario Martínez-Ordaz<https://www.mariamartinezordaz.com/> (Federal University of Rio de Janeiro, Brazil and Coordinator of LógicaMX) Srecko Kovac<https://www.ifzg.hr/~skovac/index_files/Page328.html> (Institute of Philosophy, Zagreb, President of the Croatian Logic Association) Mihir Chakraborty<https://sites.google.com/site/mihirkchakraborty/> (Jadavpur University and Coordinator of the Calcutta Logic Circle, India) István Németi<https://www.renyi.hu/~nemeti/> and Hajnal Andreka (Alfred Renyi Institute of Mathematics, Hungarian Academy of Sciences, Budapest, Hungary) Chair: Katarzyna Gan-Krzywoszynska<https://filozofia.amu.edu.pl/struktura-instytutu/zaklad-logiki-i-metodologi…> (Adam Mickiewicz University, Poznań, Poland, Secretary of the Logica Universalis Association) Associate Organization: Logica Universalis Association<http://www.logica-universalis.org/LUAD> --- The Logica Universalis Webinar is a World Seminar Series connected to the journal Logica Universalis<https://www.springer.com/journal/11787/>, the book series Studies in Universal Logic<https://www.springer.com/series/7391> and the Universal Logic Project<https://logica-universalis.org/>. It is an open platform for all scholars interested in the many aspects of logic. (See the full program here<https://www.springer.com/journal/11787/updates/18988758>.) Each session of the webinar is chaired by a member of the editorial board of the journal Logica Universalis (LU), the book series Studies in Universal Logic (SUL) or an organizer of an event of the Universal Logic Project (ULP). Sessions will start with a short presentation of a logical organization related to the region of the speaker or the topic of the talk. The talk (30 min) will focus on a recently published paper in LU, on a book in SUL, on an event or on the ULP. Talks are followed by a discussion (15 min). Video recordings of the seminars are uploaded on the YouTube channel Universal Logic Project<https://www.youtube.com/channel/UCPS1c5ApuwjuCV9UjXHUN4w>. --- To unsubscribe from these notifications for the Logica Universalis Webinar please send a message with 'Unsubscribe' to this e-mail address (antje.herbst(a)springernature.com<mailto:antje.herbst@springernature.com>). -- 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

2 years, 8 months

1
0
0 0

Logica Universalis Webinar - January 14 - Celebrating the World Logic

by Antje Herbst

Join the Logica Universalis Webinar! The next session will be held on Wednesday, January 14 at 4pm CET. Please register in advance. Registration is now open!<https://springer.zoom.us/meeting/register/tJMvdu6vrzMiHda_iDhjxw9vA9d7we9gT…> To celebrate the World Logic Day<https://www.springer.com/journal/11787/updates/17236846> we will have a roundtable on The Exceptionality of Logic<https://www.jyb-logic.org/ILE> with the participation of Jean-Yves Beziau<https://www.jyb-logic.org/> (Editor-in-Chief LU, President of the Logica Universalis Association, Creator of the World Logic Day) Yuri Gurevich<https://en.wikipedia.org/wiki/Yuri_Gurevich> (Former Principal Researcher at MICROSOFT RESEARCH, Professor Emeritus at the University of Michigan, USA) María del Rosario Martínez-Ordaz<https://www.mariamartinezordaz.com/> (Federal University of Rio de Janeiro, Brazil and Coordinator of LógicaMX) Srecko Kovac<https://www.ifzg.hr/~skovac/index_files/Page328.html> (Institute of Philosophy, Zagreb, President of the Croatian Logic Association) Mihir Chakraborty<https://sites.google.com/site/mihirkchakraborty/> (Jadavpur University and Coordinator of the Calcutta Logic Circle, India) Chair: Katarzyna Gan-Krzywoszynska<https://filozofia.amu.edu.pl/struktura-instytutu/zaklad-logiki-i-metodologi…> (Adam Mickiewicz University, Poznań, Poland, Secretary of the Logica Universalis Association) Associate Organization: Logica Universalis Association<http://www.logica-universalis.org/LUAD> The Logica Universalis Webinar is a World Seminar Series connected to the journal Logica Universalis<https://www.springer.com/journal/11787/>, the book series Studies in Universal Logic<https://www.springer.com/series/7391> and the Universal Logic Project<https://logica-universalis.org/>. It is an open platform for all scholars interested in the many aspects of logic. (See the full program here<https://www.springer.com/journal/11787/updates/18988758>.) Each session of the webinar is chaired by a member of the editorial board of the journal Logica Universalis (LU), the book series Studies in Universal Logic (SUL) or an organizer of an event of the Universal Logic Project (ULP). Sessions will start with a short presentation of a logical organization related to the region of the speaker or the topic of the talk. The talk (30 min) will focus on a recently published paper in LU, on a book in SUL, on an event or on the ULP. Talks are followed by a discussion (15 min). Video recordings of the seminars are uploaded on the YouTube channel Universal Logic Project<https://www.youtube.com/channel/UCPS1c5ApuwjuCV9UjXHUN4w>. --- To unsubscribe from these notifications for the Logica Universalis Webinar please send a message with 'Unsubscribe' to this e-mail address (antje.herbst(a)springernature.com<mailto:antje.herbst@springernature.com>). -- 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

2 years, 8 months

1
0
0 0

Logic for the Friendship of Nations (Jan 14-15, 2022)

by Ali Sadegh Daghighi

Dear colleagues, It is our pleasure to invite you to participate in the *Logic for the Friendship of Nations* *online* workshop which will take place between *January 14 - 15, 2022*. it is a unique celebration of the UNESCO World Logic Day in the International Year of Basic Sciences and Sustainable Development which for the first time is taking place as a joint international program representing several countries including Iran, Iraq, India, Norway, Iceland, Denmark, Sweden, Finland, Thailand, Malaysia, Japan, Korea, Bosnia, France, the United States, and the United Kingdom. Feel free to write to us via *a.s.daghighi(a)gmail.com <a.s.daghighi(a)gmail.com>* if you or your institutes are willing to join the global movement of logicians for peace and dialogue. More info on the conference website: http://araku.ac.ir/web/irfs/friendship Best regards, Ali Sadegh Daghighi, Ph.D., https://alidaghighi.org/ Vice President at the Institute for Interdisciplinary Research in Fundamental Sciences (IRFS), Iran [image: Mailtrack] <https://mailtrack.io?utm_source=gmail&utm_medium=signature&utm_campaign=sig…> Sender notified by Mailtrack <https://mailtrack.io?utm_source=gmail&utm_medium=signature&utm_campaign=sig…> ۰۰/۱۰/۲۰،‏ ۲۳:۳۰:۱۵

2 years, 8 months

1
0
0 0

CSL 2022 - Call for participation

by Manea, Florin

===================================== Call for Participation (CSL'22) ===================================== News: Online conference; Registration is open; List of accepted papers; Ackermann awards. ===================================== Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL), see https://www.eacsl.org/. CSL 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, online. The conference is hosted by the University of Göttingen. More details, including the schedule, will be announced soon on the website: http://csl2022.uni-goettingen.de/ Invited speakers: ------------------ Annabelle McIver Macquarie (University, Sydney, Australia) Udi Boker (IDC Herzliya, Israel) Martin Escardo (University of Birmingham, UK) Rosalie Iemhoff (Utrecht University, The Netherlands) Karen Lange (Wellesley College, USA) Accepted papers: ----------------- The Program Committee selected 35 accepted papers for presentation at CSL 2022. Their titles and authors can be seen here: http://csl2022.uni-goettingen.de/#acceptedpaper Registration: -------------- To register for CSL 2022, please fill in the registration form at: https://events.gwdg.de/event/95/ The participation fee for CSL 2022 is as follows: - members of EACSL (2022): free - students: 5 Euro - members of EATCS or ACM SIGLOG (2022): 15 Euro - regular: 20 Euro This fee covers participation in CSL 2022 and includes membership of EACSL for 2022 (https://www.eacsl.org/membership/). This fee has to be paid directly to the EACSL, as indicated in the registration process, and is processed by the EACSL. There is no participation fee for the collocated workshops (see below), and they can be attended without paying the CSL registration fee, but the CSL-registration form should still be filled. These participation fees are made possible only due to the generous financial support by the German Research Foundation (DFG) and the University of Göttingen. Important dates: ----------------- Speaker registration deadline: January 31st, 2022. At least one author of every contributed paper must register as a speaker. Non-speaker registration deadline: February 6th, 2022. All participants must register. Helena-Rasiowa-Award: ---------------------- The Helena Rasiowa Award is the best student paper award for the CSL conference series, starting from CSL 2022. The award will be given to the best paper (as decided by the PC) written solely by students or for which students were the main contributors. The Helena-Rasiowa-Award will be announced during the conference. Read more about the contribution of Helena Rasiowa to logic and computer science, and their interplay, here: https://www.eacsl.org/?page_id=1104 Ackermann Award 2021: ---------------------- The Ackermann Award is the EACSL Outstanding Dissertation Award for Logic in Computer Science. The award for 2021 will be presented during CSL 2022. The Ackermann Award 2021 is given to two PhD theses (in alphabetic order): Marie Fortin for her thesis "Expressivity of first-order logic, star-free propositional dynamic logic and communicating automata" defended at ENS Paris-Saclay, (France) in 2020. Supervisors: Paul Gastin and Benedikt Bollig and Sandra Kiefer for her thesis "Power and Limits of the Weisfeiler-Leman Algorithm" defended at RWTH Aachen, (Germany) in 2020. Examiners: Martin Grohe, Pascal Schweitzer, Neil Immerman Colocated events: ------------------ LCC 2022: Logic and Computational Complexity --------- Meetings of the workshop "Logic and Computational Complexity" are aimed at the foundational interconnections between logic and computational complexity, as present, for example, in implicit computational complexity (descriptive and type-theoretic methods); deductive formalisms as they relate to complexity (e.g. ramification, weak comprehension, bounded arithmetic, linear logic and resource logics); complexity aspects of finite model theory and databases; complexity-mindful program derivation and verification; computational complexity at higher type; and proof complexity. LCC 2022 will be the 23rd workshop in the series, see https://www.cs.swansea.ac.uk/lcc/. The program will consist of invited lectures as well as contributed papers selected by the Program Committee. LMW@CSL: Logic Mentoring Workshop --------- The Logic Mentoring Workshop introduces young researchers to the technical and practical aspects of a career in logic research. It is targeted at students, from senior undergraduates to graduates, and will include talks and panel sessions from leaders in the subject. Building on successful LMW editions from past years, its first winter edition will be collocated with CSL 2022. Website: https://lmw.mpi-sws.org/csl/ Contact: --------- Please send all questions about submissions to the PC co-chairs and main organizers: csl2022(a)easychair.org

2 years, 8 months

1
0
0 0

Call for Nominations: Church Award 2022

by Jagadeesan, Radha

CALL FOR NOMINATIONS The 2022 Alonzo Church Award for Outstanding Contributions to Logic and Computation INTRODUCTION An annual award, called the Alonzo Church Award for Outstanding Contributions to Logic and Computation, was established in 2015 by the ACM Special Interest Group for Logic and Computation (SIGLOG), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), and the Kurt Goedel Society (KGS). The award is for an outstanding contribution represented by a paper or by a small group of papers published within the past 25 years. This time span allows the lasting impact and depth of the contribution to have been established. The award can be given to an individual, or to a group of individuals who have collaborated on the research. For the rules governing this award, see https://siglog.org/alonzo-church-award/, https://www.eatcs.org/index.php/church-award/, and https://www.eacsl.org/alonzo-church-award/ . The 2021 Alonzo Church Award was given jointly to Georg Gottlob, Christoph Koch, Reinhard Pichler, Luc Segoufin and Klaus U. Schulz for their ground-breaking work on logic-based web-data extraction, and querying tree-structured data. Lists containing this and all previous winners can be found through the links above. ELIGIBILITY AND NOMINATIONS The contribution must have appeared in a paper or papers published within the past 25 years. Thus, for the 2022 award, the cut-off date is January 1, 1997. When a paper has appeared in a conference and then in a journal, the date of the journal publication will determine the cut-off date. In addition, the contribution must not yet have received recognition via a major award, such as the Turing Award, the Kanellakis Award, or the Goedel Prize. (The nominee(s) may have received such awards for other contributions.) While the contribution can consist of conference or journal papers, journal papers will be given a preference. Nominations for the 2022 award are now being solicited. The nominating letter must summarize the contribution and make the case that it is fundamental and outstanding. The nominating letter can have multiple co-signers. Self-nominations are excluded. Nominations must include: a proposed citation (up to 25 words); a succinct (100-250 words) description of the contribution; and a detailed statement (not exceeding four pages) to justify the nomination. Nominations may also be accompanied by supporting letters and other evidence of worthiness. Nominations should be submitted to rjagadee(a)depaul.edu by April 2, 2022. PRESENTATION OF THE AWARD The 2022 award will be presented at the Federated Logic Conference 2022, which is scheduled to take place in Haifa, Israel in July/August 2022. The award will be accompanied by an invited lecture by the award winner, or by one of the award winners. The awardee(s) will receive a certificate and a cash prize of USD 2,000. If there are multiple awardees, this amount will be shared. AWARD COMMITTEE The 2022 Alonzo Church Award Committee consists of the following five members: Thomas Colcombet, Mariangiola Dezani, Javier Esparza, Radha Jagadeesan (chair), and Igor Walukiewicz.

2 years, 8 months

1
0
0 0

28th WoLLIC 2022 - 2nd Call for Papers

by Ruy Jose Guerra Barretto de Queiroz

[Please distribute. Apologies for multiple postings] CALL FOR PAPERS WoLLIC 2022 28th Workshop on Logic, Language, Information and Computation September 20 to 23, 2022 Iași, Romania ORGANISATION Faculty of Computer Science, Alexandru Ioan Cuza University, Romania Centro de Informática, Universidade Federal de Pernambuco, Brazil CALL FOR PAPERS WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The twenty-eighth WoLLIC will be held at the Faculty of Computer Science, Alexandru Ioan Cuza University, Iași, Romania, September 20 to 23, 2022. It is scientifically sponsored by the European Association for Computer Science Logic (EACSL), the Interest Group in Pure and Applied Logics (IGPL), the The Association for Logic, Language and Information (FoLLI), the Association for Symbolic Logic (ASL) (tbc), the European Association for Theoretical Computer Science (EATCS) (tbc), and the Sociedade Brasileira de Lógica (SBL). ABOUT THE LOCATION Iași https://www.uaic.ro/en/iasi-2/ PAPER SUBMISSION Contributions are invited on all pertinent subjects, with particular interest in cross-disciplinary topics. Typical but not exclusive areas of interest are: foundations of computing, programming and Artificial Intelligence (AI); novel computation models and paradigms; broad notions of proof and belief; proof mining, type theory, effective learnability and explainable AI; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection; foundations of mathematics; philosophical logic; philosophy of language. Proposed contributions should be in English, and consist of a scholarly exposition accessible to the non-specialist, including motivation, background, and comparison with related works. Articles should be written in the LaTeX format of LNCS by Springer (see author's instructions at http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must not exceed 12 pages, with up to 5 additional pages for references and technical appendices. The paper's main results must not be published or submitted for publication in refereed venues, including journals and other scientific meetings. It is expected that each accepted paper be presented at the meeting by one of its authors. (At least one author is required to pay the registration fee before granting that the paper will be published in the proceedings.) Papers must be submitted electronically at the WoLLIC 2022 EasyChair website https://easychair.org/conferences/?conf=wollic2022. PROCEEDINGS The proceedings of WoLLIC 2022, including both invited and contributed papers, will be published in advance of the meeting as a volume in Springer's LNCS series. In addition, abstracts will be published in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published (after a new round of reviewing) as a special post-conference WoLLIC 2022 issue of Mathematical Structures in Computer Science (MSCS). INVITED SPEAKERS (TBA) IMPORTANT DATES April 30, 2022: Abstract deadline May 7, 2022: Full paper deadline June 15, 2022: Author notification June 26, 2022: Final version deadline (firm) PROGRAM COMMITTEE Arthur Azevedo de Amorim (Boston University) Agata Ciabattoni (Technische Universität Wien) (Co-Chair) Diana Costa (University of Lisbon) Denisa Diaconescu (University of Bucharest) Hans van Ditmarsch (Open University of the Netherlands) Rajeev Goré (The Australian National University) Roman Kuznets (Technische Universität Wien) João Marcos (Univ Federal do Rio Grande do Norte) Larry Moss (Indiana University Bloomington) Valeria de Paiva (Topos Institute and PUC-Rio) Elaine Pimentel (University College London) (Co-Chair) Revantha Ramanayake (University of Groningen) Mehrnoosh Sadrzadeh (University College London) Alexandra Silva (Cornell University) Alex Simpson (University of Ljubljana) Sonja Smets (University of Amsterdam) Alwen Tiu (The Australian National University) Leon van der Torre (University of Luxembourg) Andrea Aler Tubella (Umeå University) Andres Villaveces (Universidad Nacional de Colombia) Renata Wassermann (Universidade de São Paulo) STEERING COMMITTEE Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de Queiroz, Alexandra Silva, Renata Wassermann. ADVISORY COMMITTEE Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen. ORGANISING COMMITTEE Ștefan Ciobâcă (Alexandru Ioan Cuza Univ) (Co-Chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) SCIENTIFIC SPONSORSHIP European Association for Computer Science Logic (EACSL) Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) (tbc) European Association for Theoretical Computer Science (EATCS) (tbc) Sociedade Brasileira de Lógica (SBL) SPECIAL SESSION: SCREENING OF MOVIES ABOUT MATHEMATICIANS It is planned to have a special session with the exhibition of a one-hour documentary film about a remarkable mathematician who is considered a father of modern differential geometry. "Taking the Long View: The Life of Shiing-shen Chern" (George Scisery, 2011) examines the life of a remarkable mathematician whose formidable mathematical contributions were matched by an approach and vision that helped build bridges between China and the West. The biographical documentary follows Shiing-shen Chern (1911-2004) through many of the most dramatic events of the 20th century, portraying a man who dedicated his life to pure mathematics with the style of a classical Chinese sage. (zalafilms.com) FURTHER INFORMATION Contact one of the Co-Chairs of the Organising Committee. WEB PAGE https://wollic2022.github.io/

2 years, 8 months

1
0
0 0

WADT'22 1st cfp

by Alexandre Madeira

=================================================================================== WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022 ** First call for papers ** http://wadt2022.web.ua.pt Aveiro, 28-30 June, 2022 =================================================================================== ** Aims and Scope ** The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as a formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. In 2020 WADT features additionally two special thematic tracks: one in *Algebra for timed and hybrid systems* and another in *Algebraic approaches to quantum computation*. ** Main track ** Typical, but not exclusive topics of interest for the main track are: - Foundations of algebraic specification - Other approaches to formal specification, including process calculi and models of concurrent and distributed systems - Specification languages, methods, and environments - Semantics of conceptual modelling methods and techniques - Integration of formal specification techniques - Formal testing and quality assurance, validation, and verification ** Algebra for timed and hybrid systems ** Track Chair: Renato Neves (UM, PT) The track 'Algebra for timed and hybrid systems' seeks algebraic contributions towards a better understanding of timed and hybrid systems, including their design and verification. A non-exhaustive list of topics includes: - (co)algebraic syntax and semantics, - observational notions of equivalence, - equational reasoning and variants thereof, - distributed and/or concurrent computing; - modal and temporal logic, - (co)algebraic verification tools, - experience reports on the use of (co)algebraic tools. ** Algebraic approaches to quantum computation ** Track Chair: Rui Soares Barbosa (INL, PT) This track seeks contributions on algebraic methods in the context of quantum computing, broadly understood, ranging from foundations to applications and tools. A non-exhaustive list of topics includes: - foundational structures for quantum computing - quantum calculi and logics - quantum programming languages - algebraic and categorical semantics for quantum computing - algebraic approaches to verification of quantum programs - rewriting and automated reasoning with applications to quantum compilation and optimisation - tool support - application of quantum algebra to quantum computing and beyond ** Invited Speakers (to be completed)** - José Meseguer University of Illinois at Urbana-Champaign, US - Peter Selinger Dalhousie University, Canada ** Workshop format and location ** WADT'22 is planned to be realized in a family-owned guesthouse with panoramic views to lagoon Pateira de Fermentelos, 20 minutes from the centre of Aveiro. Information about accommodation will be available in http://wadt2022.web.ua.pt. Being planned as a physical, in-person event, due the COVID19 current situation, we will provide certain support for remote presence, both for speakers and for other participants who are unable or unwilling to come, depending on the pandemic situation. ** Submissions and Publications ** Presentations will be selected on the basis of submitted abstracts. The abstracts must be up to two pages long including references. If a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract. The abstracts have to be submitted electronically via the EasyChair link https://easychair.org/conferences/?conf=wadt2022. WADT 2022 is organised by IFIP WG 1.03. As an IFIP event, post-proceedings will be published by Springer in the LNCS series (requested). The deadline for the submission of full papers to be considered in this volume, to be announced during the workshop, are expected to the end of September 2022. ** Important dates ** April 1 Contributed Abstracts April 17 Notifications about the contributed talks TBA: full papers, for the post-proceeding volume ** Organisation ** * Steering Committee * Andrea Corradini (IT) José Fiadeiro (UK) Rolf Hennicker (GE) Alexander Knapp (GE) Hans-Jörg Kreowski (GE) Till Mossakowski (GE) Fernando Orejas (SP) Leila Ribeiro (BR) Markus Roggenbach (UK) Grigore Roșu (US) * Program Committee (to be completed) * Erika Abraham (RWTH Aachen, NL) Luis S. Barbosa (U. Minho, PT) Rui S. Barbosa (INL, PT) [Track Chair] Carlos Caleiro (U. Lisboa, PT) Andrea Corradini (U. Pisa, IT) José Luiz Fiadeiro (U. Dundee, UK) Ichiro Hasuo (National Institute of Informatics, JP) Rolf Hennicker (LMU, DE) Marieke Huisman (U. Twente, NL) Martti Karvonen (U. Ottawa, CN) Aleks Kissinger (U. Oxford, UK) Alexander Knapp (U. Augsburg, DE) Alexandre Madeira (U. Aveiro, PT) [Co-chair] Manuel A. Martins (U. Aveiro, PT) [Co-chair] Narciso Marti-Oliet (U. Complutense de Madrid, SP) Dominique Mery (LORIA, FR) Till Mossakowski (U. Magdeburg, DE) Renato Neves (U. Minho, PT) [Track Chair] Peter Ölveczky (U. Oslo, NR) Fernando Orejas (U. Politècnica Catalunya, SP) Markus Roggenbach (Swansea University, UK) Georg Struth (U. Sheffield, UK) Ionut Tutu (Simion Stoilow Institute of Mathematics, RO) Benoît Valiron (Univ. Paris Saclay, FR) Vladimir Zamdzhiev (Inria, FR) ** Contacts ** For any information, please contact us to wadt2022(a)easychair.org<mailto:wadt2022@easychair.org> ------------------------------------------------------- Alexandre Madeira http://sweet.ua.pt/madeira/

2 years, 8 months

1
0
0 0

2024

2023

2022

2021

2020

2019

2018

finite-model-theory January 2022