finite-model-theory

Download

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

February 2022

20 participants
22 discussions

[Vardi-list] Webinar & Call for Model-Checking Community Feedback
by Moshe Y Vardi 01 Feb '22

01 Feb '22

*** Apologies for multiple postings ********************************************************************* Webinar & Call for Model-Checking Community Feedback "Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research Community" https://modelchecker.temporallogic.org ********************************************************************* Research Goal: --------------- This is an NSF (U.S. National Science Foundation)-funded effort to develop an open-source, state-of-the-art symbolic model-checking framework for the international model-checking research community. Our goal is to fill the current gap in model checking research platforms: building a freely-available, open-source, scalable model checking infrastructure that accepts expressive models and efficiently interfaces with the currently-maintained state-of-the-art back-end algorithms to provide an extensible research and verification tool. We will create a community resource with a well-documented intermediate representation to enable extensibility, and a web portal, facilitating new modeling languages and back-end algorithmic advances. To add new modeling languages or algorithms, researchers need only to develop a translator to/from the new intermediate language, and will then be able to integrate each advance with the full state-of-the-art in model checking. Project Status: ---------------- We have developed a candidate intermediate representation for symbolic model checking and revised it via feedback from a Technical Advisory Board. We are now ready for wider community feedback to fuel our next round of revisions and developments. Visit our project website for more details, presentation slides, and more opportunities to interact, including providing comments, joining our mailing list, registering for future webinars, and suggesting names for the new framework. Webinar: -------- Our first workshop will be held online via zoom: 15 February 2022 1:00pm-3:00pm US-CST (GMT-6) Registration is at: https://modelchecker.temporallogic.org Agenda: 15 minutes: Project overview and introduction 45 minutes: Candidate intermediate representation details 60 minutes: Moderated community feedback and questions *** Additional webinars will be held to accommodate other time-zones; please register for a future workshop on the website and provide your timezone when asked. Research Leads: --------------- Kristin Yvonne Rozier, Iowa State University Natarajan Shankar, SRI Cesare Tinelli, University of Iowa Moshe Y. Vardi, Rice University _______________________________________________ Vardi-list mailing list Vardi-list(a)mailman.rice.edu https://mailman.rice.edu/mailman/listinfo/vardi-list

1 0

CSL 2022: 2nd Call for Participation
by Manea, Florin 01 Feb '22

01 Feb '22

===================================== Call for Participation (CSL'22) ===================================== News: Registration is open; Schedule. ===================================== 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 Schedule: ----------------- http://csl2022.uni-goettingen.de/#schedule 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: ----------------- 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

1 0