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

RAMiCS 2023 - Second call for papers
by Michael Winter 20 Jul '22

20 Jul '22

SECOND CALL FOR PAPERS 20th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2023 3 to 6 April 2023, Technologiezentrum Augsburg, Germany https://ramics20.lis-lab.fr/ IMPORTANT DATES: Abstract Submission: September 23, 2022 Paper Submission: September 30, 2022 Author Notification: December 09, 2022 Final Version: January 06, 2023 RAMiCS 2021: April 03-06, 2023 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 2023 will take place at the Technologiezentrum Augsburg. Depending on the Covid-19 situation, it will take the form of a physical conference, a virtual conference, or a hybrid between the two. 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 INVITED SPEAKERS Alexander Knapp, Augsburg University, Germany John Stell, University of Leeds, UK Valeria Vignudelli, CNRS/ENS Lyon, France SUBMISSION INSTRUCTIONS: Submission is via EasyChair at https://www.easychair.org/conferences/?conf=ramics2023 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: Roland Glück, Deutsches Zentrum für Luft- und Raumfahrt, Germany Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France Conf. & PC Co-Chair: Michael Winter, Brock University, Canada Programme Committee ------------------- Adriana Balan, University Politechnic of Bucharest, Romania Manuel Bodirsky, Technical University Dresden, Germany Paul Brunet, Paris-East Créteil University, France Miguel Couceiro, Loria, Nancy, France Manfred Droste, Leipzig University, Germany Uli Fahrenberg, Epita, France Hitoshi Furusawa, Kagoshima University, Japan Wesley Fussner, University of Bern, Switzerland Silvio Ghilardi, University of Milan, Italy Roland Glueck, German Aerospace Center, Augsburg, Germany Walter Guttmann, University of Canterbury, New Zealand Robin Hirsch, University College London, UK Peter Höfner, Australian National University, Canberra, Australia Marcel Jackson, La Trobe University, Melbourne, Australia Ali Jaoua, Qatar University, Qatar Peter Jipsen, Chapman University, Orange, USA Sebastian Joosten, Dartmouth College, Hanover, USA Barbara König, University of Duisburg/Essen, Germany Wendy MacCaull, St. Francis Xavier University, Antigonish, Canada Roger Maddux, Iowa State University, Ames, USA Nelma Moreira, University of Porto, Portugal Martin Mueller, University of Applied Sciences, Bonn-Rhein-Sieg, Germany Damien Pous, CNRS, ENS Lyon, France Luigi Santocanale, Aix-Marseille University, France Ana Sokolova, University of Salzburg, Austria Sara Ugolini, Artificial Intelligence Research Institute of the CSIC, Spain Michael Winter, Brock University, St. Catharines, Canada Sam van Gool, University Paris, France

1 0

[Vardi-list] How to be an ethical computer scientist
by Moshe Y Vardi 18 Jul '22

18 Jul '22

For a link to this webinar, register here: https://www.eventbrite.com/e/moshe-vardi-vardifest-lecture-how-to-be-an-eth… Moshe _______________________________________________ Vardi-list mailing list Vardi-list(a)mailman.rice.edu https://mailman.rice.edu/mailman/listinfo/vardi-list

1 0

Call for participation DaLí 2022
by Carlos Areces 13 Jul '22

13 Jul '22

*** Call for participation *** DaLí - Dynamic Logic: new trends and applications (DaLí 2022) Workshop affiliated with LICS, as part of FLOC http://dali2022.campus.ciencias.ulisboa.pt/ A *free* and *online* event on the 31 July and 1 August 2022 DaLí is an online event exclusively dedicated to Dynamic Logics (broadly conceived). Its aim is to bring together the community of colleagues which share an interest in Dynamic logic - from Academia to Industry, from Mathematics to Computer Science, - to promote their works, and to foster great discussions and new collaborations. Follow the link below to register (free) https://forms.gle/1RLxcE9R9TDqLbrf9 List of Invited Speakers * Marta Bílková (Institute of Computer Science, Czech Academy of Sciences, CZ) * Nina Gierasimczuk (Technical University of Denmark, DK) * Elaine Pimentel (University College London, UK) * Fernando Velázquez Quesada (University of Bergen, NO) List of Accepted Papers (alphabetical, by first author) * C. Areces, R. Fervari, A. Saravia and F. Velázquez-Quesada. First Steps in Updating Knowing How * P. Balbiani. Parametrized modal logic: the unidimensional case * B. Bedregal, R. Santiago, M. Martins and A. Madeira. Relating Kleene algebras with pseudo uninorms * V. Dolgorukov and M. Gladyshev. Dynamic Epistemic Logic for Budget-Constrained Agents * R. Galimullin and T. Ågotnes. Action Models for Coalition Logic * T. Kawano. Quantum Logic for Observation of Physical Quantities * J. Lindqvist, F. Velázquez-Quesada and T. Ågotnes. Cautious distributed belief * A. Ramírez Abarca and J. Broersen. A Stit Logic of Intentionality List of Accepted Short Papers (alphabetical, by first author) * M. Tashiro, E. Pacuit and I. Canavotto. Public Announcement Logic with Misinterpretations * E. Ternovska. Dynamic Logic for Descriptive Complexity * H. Wu, H. van Ditmarsch and J. Chen. A Labelled Sequent Calculus for Public Announcement Logic We look forward to meeting you all at DaLI 2022. Diana Costa and Carlos Areces DaLI 2021 Chairs. Program Committee: T. Ågotnes (U. Bergen, NO), N. Alechina (Utrecht U., NL), C. Areces (U. Córdoba, AR), P. Balbiani (IRIT, FR), D. Costa (U. Lisbon, PT), G. D'Agostino (U. Udine, IT), S. Demri (CNRS, FR), H. van Ditmarsch (Open University, NL), R. Fervari (U. Córdoba, AR), S. Frittella (LIFO, FR), N. Gierasimczuk (TU Denmark, DK), R. Goré (Vienna U. of Technology, AU and Polish A. of Science, PO), R. Hennicker (LMU Munich, DE), R. Hähnle (TU Darmstadt, DE), S. Knight (U. Minnesota, USA), C. Kupke (U. Strathclyde, UK), S. Kuznetsov (Steklov Mathematical Institute, RU), A. Madeira (U. Aveiro, PT), S. Marin (U. Birmingham, UK), M. Martins (U. Aveiro, PT), L. Moss (Indiana University Bloomington, USA), C. Nalon (U. Brasília, BR), N. Olivetti (Aix-Marseille U., FR), E. Pacuit (U. Maryland, USA), A. Palmigiano (Vrije Universiteit Amsterdam, NL), V. Punčochář (Czech Academy of Sciences, CZ), K. Sano (Hokkaido U., JP), I. Sedlár (Czech Academy of Sciences, CZ), R. Verbrugge (U. Groningen, NL), F. Wolter (U. Liverpool, UK), S. Cerrito (U. d'Evry Val d'Essonne, FR), Steering Committee: A. Baltag (U. Amsterdam, NL), A. Madeira (U. Aveiro, PT), A. Herzig (IRIT, U. Paul Sabatier, FR), D. Harel (The Weizmann Institute of Science, IL) Dexter Kozen (Cornell U., USA), F. Liu (Tsinghua U., CH), J. van Benthem (U. Amsterdam, NL), H. van Ditmarsch (Open University, NL), I. Sedlár (Czech Academy of Sciences, CZ), L. Soares Barbosa (U. Minho, PT), M. Martins (U. Aveiro, PT), M. Benevides (Federal U. Rio de Janeiro, BR), N. Gierasimczuk (Technical University of Denmark, DM), S. Smets (U. Amsterdam, NL), V. Pratt (Stanford U., USA)

1 0

Axiomatization of Some Basic and Modal Boolean Connexive Logics
by jean-yves beziau 13 Jul '22

13 Jul '22

The next session of the Logica Universalis Webinar (LUW) will take place Thursday July 14 at 4pm CET Talk by Mateusz Klonowski (Nicolaus Copernicus University in Toruń, Poland): "Axiomatization of Some Basic and Modal Boolean Connexive Logics" https://link.springer.com/article/10.1007/s11787-021-00291-4 Everybody is welcome to attend, register here: https://www.springer.com/journal/11787/updates/20065848 Jean-Yves Beziau Organizer of LUW and Editor-in-Chief of Logica Universalis http://www.jyb-logic.org/

1 0

30 Years Finite Model Theory in Finland: Last call for Participation
by Jonni T Virtema 08 Jul '22

08 Jul '22

30 Years of Finite Model Theory in Finland Hanaholmen, Espoo, Finland, August 21-23, 2022 The registration is open until 14 July 2022. https://www.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-f… <https://www.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-f…> We solicit proposals for short presentations fitting the wide topic of the workshop. If you are interested in presenting your work at the workshop, please send a brief email to fmt-30(a)helsinki.fi <mailto:fmt-30@helsinki.fi> with your proposed title and a short (one paragraph) abstract. Keynote speakers: Anuj Dawar <https://www.cl.cam.ac.uk/~ad260/> (University of Cambridge) Phokion G. Kolaitis <https://users.soe.ucsc.edu/~kolaitis/> (University of California, Santa Cruz and IBM Almaden Research Center) Jouko Väänänen <http://www.math.helsinki.fi/logic/people/jouko.vaananen/> (University of Helsinki and University of Amsterdam) Other confirmed speakers: Miika Hannula (University of Helsinki) Lauri Hella (Tampere University) Antti Kuusisto (Tampere University) Kerkko Luosto (Tampere University) Johann Makowsky (Technion) Miikka Vilander (Tampere University) Jonni Virtema (University of Sheffield) Registration for the workshop is now open (https://www2.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-… <https://www2.helsinki.fi/en/conferences/30-years-of-finite-model-theory-in-…>). The registration fee is 250€ covering full board during the workshop but not accommodation. The registration is open until 14 July 2022.

1 0

FSTTCS 2022 - second call for papers
by Anuj Dawar 07 Jul '22

07 Jul '22

FSTTCS 2022 ---------- https://www.fsttcs.org.in/2022/ FSTTCS 2022 is the 42nd conference on Foundations of Software Technology and Theoretical Computer Science. It is organised by IARCS, the Indian Association for Research in Computing Science, in association with ACM India. It is a forum for presenting original results in foundational aspects of Computer Science and Software Technology. FSTTCS 2022 will be held in IIT Madras during December 18–20, 2022. List of Topics ----------- Track A ------ Algebraic Complexity Algorithms and Data Structures Algorithmic Graph Theory and Combinatorics Approximation Algorithms Combinatorial Optimization Communication Complexity Computational Biology Computational Complexity Computational Geometry Computational Learning Theory Cryptography and Security Data Streaming and Sublinear algorithms Economics and Computation Parallel, Distributed and Online Algorithms Parameterized Complexity Proof Complexity Quantum Computing Randomness in Computing Theoretical Aspects of Mobile and High-Performance Computing Track B ------ Automata, Games and Formal Languages Logic in Computer Science Modal and Temporal Logics Models of Concurrent, Distributed and Mobile Systems Models of Timed, Reactive, Hybrid and Stochastic Systems Model Theory Principles and Semantics of Programming Languages Program Analysis and Transformation Security protocols Specification, Verification and Synthesis Theorem Proving and Decision Procedures Invited Speakers ------------- Patricia Bouyer-Decitre (CNRS & ENS Paris-Saclay) Irit Dinur (Weizmann Institute) Anupam Gupta (Carnegie Mellon) Akash Lal (Microsoft Research) Rahul Santhanam (University of Oxford) Submission Guidelines ------------------ Submissions must be in electronic form via EasyChair (using the following link: https://easychair.org/my/conference?conf=fsttcs2022) in the LIPIcs LaTeX style which is available here: https://submission.dagstuhl.de/documentation/authors. Submissions must not exceed 15 pages (excluding bibliography), but may include a clearly marked appendix containing technical details. The appendix will be read only at the discretion of the program committee. Simultaneous submissions to journals or other conferences with published proceedings are disallowed. Accepted papers will be published as proceedings of the conference in the Leibniz International Proceedings in Informatics (LIPIcs) as a free, open, electronic archive with access to all. Authors will retain full rights over their work. The accepted papers will be published under a CC-BY license. For an accepted paper to be included in the proceedings, one of the authors must commit to presenting the paper at the conference. Important Dates Submission deadline: July 14, 2022 AoE (firm) Notification to authors: September 16, 2022 FSTTCS 2022: December 18–20, 2022. Programme Committee ------------------ Track A ------ Venkatesan Guruswami (University of California, Berkeley) – Co-chair V. Arvind (The Institute of Mathematical Sciences) Divesh Aggarwal (National University of Singapore) Diptarka Chakraborty (National University of Singapore) Radu Curticapean (IT University of Copenhagen) Sumegha Garg (Harvard University) Badih Ghazi (Google Research) Tom Gur (University of Warwick) Euiwoong Lee (University of Michigan) Debmalya Panigrahi (Duke University) Pravesh Kothari (Carnegie Mellon University) Nicole Megow (Universität Bremen) Prajakta Nimbhorkar (Chennai Mathematical Institute) Rishi Saket (Google Research, India) Ramprasad Saptharishi (Tata Institute of Fundamental Research) Rakesh Venkat (Indian Institute of Technology, Hyderabad) David Wajc (Stanford University) Amir Yehudayoff (Technion, Israel) Meirav Zahavi (Ben-Gurion University, Israel) Track B ------ Anuj Dawar (University of Cambridge) – Co-chair Ashutosh Trivedi (University of Colorado Boulder) Deepak D’Souza (Indian Institute of Science) Igor Walukiewicz (Université de Bordeaux, France) Jonni Virtema (University of Sheffield, UK) Laura Bozzelli (University of Naples, Italy) Laure Daviaud (City University of London) Maribel Fernandez (King's College London) Mohamed Faouzi Atig (Uppsala University, Sweden) Natasha Alechina (Utrecht University, Netherlands) Nathan Lhote (Aix-Marseille University, France) Olaf Beyersdorff (Friedrich Schiller University Jena, Germany) Radha Jagadeesan (DePaul University) Shaull Almagor (Technion, Israel) Shibashis Guha (Tata Institute of Fundamental Research) Supratik Chakraborty (Indian Institute of Technology, Bombay) Organizing Committee ------------------ Meghana Nasre (IIT Madras) – co-chair Chandrashekhar Sahasrabudhe (ACM India, Member) Jayalal Sarma (IIT Madras) – co-chair Contact Information All questions about submissions should be emailed to the PC chairs: anuj.dawar(a)cl.cam.ac.uk or venkatg(a)berkeley.edu

1 0

Advancing Separation Logic 2022, July 31, Haifa, Israel -- Call for
by RADU IOSIF 06 Jul '22

06 Jul '22

Workshop on Advances in Separation Logics (ASL 2022), Haifa, Israel, July 31st 2022 Homepage: https://asl-workshop.github.io/asl22/ Program: https://easychair.org/smart-program/FLoC2022/ASL-index.html Keynote Speakers * Philippa Gardner, Imperial College London * Ralf Jung, MIT CSAIL ASL 2022 is a workshop affiliated to IJCAR 2022 at FLOC 2022. Due to the ongoing Covid-19 and overall international situation, ASL 2022 will be organized as a virtual event. Virtual participation is free of charge but requires registration via the following link: https://asl2022.rsvpify.com/ Program Committee Nadia Polikarpova (UCSD, San Diego, USA) James Brotherston (UCL, London, UK) Qinxiang Cao (Shanghai Jiaotong University) Dan Frumin (University of Groningen, The Netherlands) Lennart Beringer (Princeton University, USA) Arthur Charguéraud (INRIA Strasbourg, France) Radu Iosif (Verimag, CNRS, Univ. Grenoble Alpes, France) Le Quang Loc (UCL, London, UK) Alessio Mansutti (University of Oxford, UK) Christoph Matheja (DTU, Lyngby, Denmark) Daniel Méry (University of Loraine, France) Koji Nakazawa (Nagoya University, Japan) Nicolas Peltier (LIG, CNRS, Grenoble, France) Adam Rogalewicz (Brno University of Technology, Czech Republic) Mihaela Sighireanu (LMF, ENS Paris-Saclay, France) Florian Zuleger (Vienna University of Technology, Austria) Organizing committee Radu Iosif (Verimag, CNRS, Univ. Grenoble Alpes, France) Nikos Gorogiannis (Meta, London, UK) Robbert Krebbers (Radboud Univ. Nijmegen, The Netherlands) Mihaela Sighireanu (LMF, ENS Paris-Saclay, France) Makoto Tatsuta (NII, Tokyo, Japan) Thomas Noll (RWTH, Aachen, Germany)

1 0

[Vardi-list] Digital Humanism Summer School 2022 in September at TU
by Moshe Y Vardi 05 Jul '22

05 Jul '22

Dear colleagues, we are pleased to announce that the Digital Humanism Summer School 2022 will take place from September 19th to 23rd, 2022 at TU Wien, Austria. Digital Humanism (DigHum) is an interdisciplinary approach (integrating humanities, social, and technical sciences) that aims to describe, to analyse and, above all, to influence the complex interplay between IT and humanity - for a society that fully respects universal human rights. Pursuing these goals, we will deal at the summer school with topics such as AI, humans, and control; ethics and responsible design; fair systems; participation and democracy; platform power, regulation; work in a new world; or sovereignty and geopolitics. The summer school targets PhD students from engineering, social science and humanities as well as interested persons from industry, institutions and civil society. Leading scientists from the different fields involved will introduce the topics. A typical course is broad enough to provide a general introduction to the chosen topic, whilst one can learn the most relevant contributions in depth. In addition, there is enough room for discussions and presentations of participants’ projects. The summer school is organized by the Center for Artificial Intelligence and Machine Learning/CAIML (TU Wien) [1], the Digital Enlightenment Forum [2], and the Digital Humanism Initiative [3]. Please find further details about the program and the application process here: https://dighum.ec.tuwien.ac.at/summerschool2022/. We are looking forward to seeing you there! Moshe Vardi [1] https://www.tuwien.at/caiml/ [2] https://www.digitalenlightenment.org/ [3] https://dighum.ec.tuwien.ac.at/ ----- Sign the Vienna Manifesto: https://dighum.ec.tuwien.ac.at Follow us on Twitter @DigHumTUWien ----- _______________________________________________ Vardi-list mailing list Vardi-list(a)mailman.rice.edu https://mailman.rice.edu/mailman/listinfo/vardi-list

1 0

LUW July 6: Unification in Pretabular Extensions of S4
by jean-yves beziau 05 Jul '22

05 Jul '22

This coming Wednesday, July 6 at 4pm CET, we will have in the Logica Universalis Webinar the talk "Unification in Pretabular Extensions of S4" by Stepan I. Bashmakov Abstract: L.L. Maksimova and L. Esakia, V. Meskhi showed that the modal logic S4 has exactly 5 pretabular extensions PM1–PM5. In this paper, we study the problem of unification for all given logics. We showed that PM2 and PM3 have finitary, and PM1, PM4, PM5 have unitary types of unification. Complete sets of unifiers in logics are described. https://link.springer.com/article/10.1007/s11787-021-00287-0 To attend, register here: https://springer.zoom.us/meeting/register/tJMvdu6vrzMiHda_iDhjxw9vA9d7we9gT… Jean-Yves Beziau Organizer of the Logica Universalis Webinar Editor-in-Chief Logica Universalis http://www.jyb-logic.org

1 0

Advancing Separation Logic 2022, July 31, Haifa, Israel -- Call for
by RADU IOSIF 01 Jul '22

01 Jul '22

Workshop on Advances in Separation Logics (ASL 2022), Haifa, Israel, July 31st 2022 Homepage: https://asl-workshop.github.io/asl22/ Program: https://easychair.org/smart-program/FLoC2022/ASL-index.html Keynote Speakers * Philippa Gardner, Imperial College London * Ralf Jung, MIT CSAIL ASL 2022 is a workshop affiliated to IJCAR 2022 at FLOC 2022. In-person registration is done via the FLOC 2022 registration link: https://www.floc2022.org/registration Virtual participation is free of charge but requires registration via the following link: https://asl2022.rsvpify.com/ Program Committee Nadia Polikarpova (UCSD, San Diego, USA) James Brotherston (UCL, London, UK) Qinxiang Cao (Shanghai Jiaotong University) Dan Frumin (University of Groningen, The Netherlands) Lennart Beringer (Princeton University, USA) Arthur Charguéraud (INRIA Strasbourg, France) Radu Iosif (Verimag, CNRS, Univ. Grenoble Alpes, France) Le Quang Loc (UCL, London, UK) Alessio Mansutti (University of Oxford, UK) Christoph Matheja (DTU, Lyngby, Denmark) Daniel Méry (University of Loraine, France) Koji Nakazawa (Nagoya University, Japan) Nicolas Peltier (LIG, CNRS, Grenoble, France) Adam Rogalewicz (Brno University of Technology, Czech Republic) Mihaela Sighireanu (LMF, ENS Paris-Saclay, France) Florian Zuleger (Vienna University of Technology, Austria) Organizing committee Radu Iosif (Verimag, CNRS, Univ. Grenoble Alpes, France) Nikos Gorogiannis (Meta, London, UK) Robbert Krebbers (Radboud Univ. Nijmegen, The Netherlands) Mihaela Sighireanu (LMF, ENS Paris-Saclay, France) Makoto Tatsuta (NII, Tokyo, Japan) Thomas Noll (RWTH, Aachen, Germany)

1 0