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

Learning and Automata (LearnAut) 2024 -- ICALP 2024 Workshop, second
by Sammartino, Matteo 11 Apr '24

11 Apr '24

Call for papers Learning and Automata (LearnAut) -- ICALP 2024 workshop July 7th - Tallinn, Estonia Website: https://learnaut24.github.io/ Deadline: April 18 Submission portal: https://easychair.org/conferences/?conf=learnaut2024 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 aim 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. 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. ** Program Committee ** Dana Angluin (Yale University, United States) Johanna Björklund (Umeå University, Sweden) Benedikt Bollig (LSV, ENS Cachan, CNRS, France) Tiago Ferreira (University College London, United Kingdom) Colin de la Higuera (Université de Nantes, France) Falk Howar (TU Dortmund, Germany) Andrea Pferscher (University of Oslo, Norway) Guillaume Rabusseau (McGill University) Jurriaan Rot (Radboud University Nijmegen, the Netherlands) Ariadna Quattoni (Universitat Politècnica de Catalunya, Spain) Sergio Yovine (Universidad ORT, Uruguay) ** Invited Speakers ** Bernhard Aichernig (TU Graz) (More to come) ** Submission instructions ** Submissions in the form of anonymized extended abstracts must be at most 8 single-column pages long (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, currently under review or work-in-progress. - Submission url: https://easychair.org/conferences/?conf=learnaut2024 - Submission deadline: April 18 - Notification of acceptance: May 13 - Early registration: May 17 (ICALP) - Workshop: July 7 ** Organizers ** Sophie Fortz (King's College London, UK) Franz Mayr (Universidad ORT Uruguay, UY) Joshua Moerman (Open Universiteit, Heerlen, NL) Matteo Sammartino (Royal Holloway, University of London, UK) This email, its contents and any attachments are intended solely for the addressee and may contain confidential information. In certain circumstances, it may also be subject to legal privilege. Any unauthorised use, disclosure, or copying is not permitted. If you have received this email in error, please notify us and immediately and permanently delete it. Any views or opinions expressed in personal emails are solely those of the author and do not necessarily represent those of Royal Holloway, University of London. It is your responsibility to ensure that this email and any attachments are virus free.

1 0

FACS 24 - Second Call for Papers
by Marmsoler, Diego 11 Apr '24

11 Apr '24

[ Please distribute, apologies for multiple postings. ] ========================================================================= 20th International Conference on Formal Aspects of Component Software (FACS) - Second Call https://facs-conference.github.io/2024/ September 09-10, 2024, Milan, Italy Co-located with the 26th international symposium on formal methods (FM 2024) https://www.fm24.polimi.it/ -------------------------------------------------------------------------- -------------------------------------------------------------------------- OVERVIEW -------------------------------------------------------------------------- FACS 2024 is concerned with how formal methods can be applied to component- based software and system development. Formal methods have provided foundations for component-based software through research on mathematical models for components, composition and adaptation, and rigorous approaches to verification, deployment, testing, and certification. -------------------------------------------------------------------------- -------------------------------------------------------------------------- TOPICS -------------------------------------------------------------------------- The conference seeks to address the applications of formal methods in all aspects of software components and services. FACS aims at developing a community-based understanding of relevant and emerging research problems through formal paper presentations and lively discussions. FACS 2024 welcomes contributions including but not limited to: - Formal methods, models, and languages for software-intensive systems, components and services, including verification techniques (e.g., model checking, theorem proving, testing, constraint solving, runtime analysis), probabilistic techniques, (co-)simulation techniques, composition and deployment, component interaction, software variability, QoS and other nonfunctional properties (e.g., trust, compliance, security, privacy); - Formal aspects of concrete software-intensive systems, including service- oriented architectures, business processes, cloud or edge computing, real- time/safety-critical systems, hybrid and cyber physical systems, quantum systems, components that use artificial intelligence; - Tools supporting formal methods for components and services; - Case studies and experience reports over the above topics; - **Special track: Formal Methods of Component Software in the context of emerging computational paradigms** (e.g. cyber physical human systems, quantum computations, AI systems, blockchain systems, etc) . -------------------------------------------------------------------------- -------------------------------------------------------------------------- SUBMISSION AND PUBLICATION -------------------------------------------------------------------------- We solicit high-quality submissions reporting on: A - full papers: original research, applications and experiences, or surveys (16 pages); B - short papers: tools and demonstrations (6 pages); C - Special track papers (16 pages); The page limit excludes references and appendices. Papers should be prepared in LaTeX, adhering to the Springer LNCS format and Guidelines. Papers should be submitted through the easychair link: https://easychair.org/conferences/?conf=facs2024 All submitted papers should be in LNCS format and unpublished and not submitted for publication elsewhere. All accepted papers will have to be presented at the conference by one of their authors. Accepted papers in all categories will be published in the FACS proceedings and published as a volume in Springer LNCS series. -------------------------------------------------------------------------- -------------------------------------------------------------------------- SPECIAL ISSUE -------------------------------------------------------------------------- The authors of a selected subset of accepted papers will be invited to submit an extended version of their papers to a special issue of the Science of Computer Programming journal. -------------------------------------------------------------------------- -------------------------------------------------------------------------- BEST PAPER AWARD -------------------------------------------------------------------------- FACS 2024 will recognize the most outstanding submissions with a best paper award. -------------------------------------------------------------------------- -------------------------------------------------------------------------- IMPORTANT DATES -------------------------------------------------------------------------- Abstract submission: 8 May, 2024 Full paper submission: 15 May, 2024 Notification: 26 June, 2024 Final version due: 17 July, 2024 Conference: 9-10 September, 2024 -------------------------------- -------------------------------- INVITED SPEAKERS -------------------------------- - Ana Cavalcanti (University of York, UK) - David Parker (University of Oxford, UK) - Geguang Pu (ECNU, China) -------------------------------- -------------------------------- PROGRAM CO-CHAIRS -------------------------------- - Diego Marmsoler (University of Exeter, United Kingdom) - Meng Sun (Peking University, China) -------------------------------- -------------------------------- PROGRAM COMMITTEE -------------------------------- - Achim Brucker (University of Exeter, United Kingdom) - Antónia Lopes (Universidade de Lisboa, Portugal) - Anton Wijs (Eindhoven University of Technology, Netherlands) - Arpit Sharma (IISERB, India) - Brijesh Dongol (University of Surrey, United Kingdom) - Camilo Rocha (Pontificia Universidad Javeriana Cali, Colombia) - Clemens Dubslaff (Eindhoven University of Technology, Netherlands) - Fatemeh Ghassemi (University of Tehran, Iran) - Giorgio Audrito (University of Turin, Italy) - Gwen Salaün (University of Grenoble Alpes, France) - Ivan Lanese (University of Bologna/INRIA, Italy) - Jacopo Mauro (University of Southern Denmark, Denmark) - José Proença (University of Porto, Portugal) - Keigo Imai (DeNA Co., Japan) - Kenneth Johnson (Auckland University of Technology, New Zealand) - Kyungmin Bae (POSTECH, South Korea) - Luís Soares Barbosa (University of Minho, Portugal) - Marie Farrell (The University of Manchester, United Kingdom) - Mario Gleirscher (Universität Bremen, Germany) - Mieke Massink (CNR-ISTI, Italy) - Olga Kouchnarenko (University of Franche-Comté, France) - Peter Ölveczky (University of Oslo, Norway) - Samir Genaim (Universidad Complutense de Madrid, Spain) - Shoji Yuen (Nagoya University, Japan) - Simon Bliudze (INRIA Lille, France) - Simon Foster (University of York, United Kingdom) - Violet Ka I Pun (Western Norway University of Applied Sciences, Norway) - Xiyue Zhang (Oxford University, United Kingdom) - Zhenbang Chen (NUDT, China) -------------------------------- Diego Marmsoler Lecturer (Education and Research), Computer Science University of Exeter, Innovation 1, Room 10 www: marmsoler.com<http://www.marmsoler.com> Twitter: @DiegoMarmsoler<https://twitter.com/DiegoMarmsoler>

1 0

Extension to abstract submission deadline - WADT 2024
by WADT 2024 09 Apr '24

09 Apr '24

[Apologies for cross-posting] ====================================================================== WADT 2024 - Extension to abstract submission deadline 27th International Workshop on Algebraic Development Techniques https://conf.researchr.org/home/wadt-2024 Part of the STAF 2024 multi-conference taking place Mon 8 – Fri 12 July 2024 in Enschede, the Netherlands ====================================================================== 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. TOPICS OF INTEREST Typical, but not exclusive topics of interest are: – Foundations of algebraic specification – Other approaches to formal specification, including process calculi and models of concurrent, distributed, and cyber-physical systems – Specification languages, methods, and environments – Semantics of conceptual modelling methods and techniques – Model-driven development – Graph transformations, term rewriting, and proof systems – Integration of formal specification techniques – Theorem-proving technologies and integration with specification languages – Formal testing and quality assurance, validation, and verification – Algebraic approaches to knowledge representation and cognitive sciences WORKSHOP FORMAT AND LOCATION The workshop will be part of the STAF 2024 multi-conference at Twente, the Netherlands. Presentations will be selected on the basis of submitted abstracts. INVITED SPEAKERS Jan Bergstra (UvA, Netherlands) Bernhard Möller (Uni Augsburg, Germany) IMPORTANT DATES Abstract submission: 22 Apr 2024 Abstract notification: 29 Apr 2024 Full-paper submission: 16 Sep 2024 Full-paper notification: 25 Nov 2024 SUBMISSIONS The scientific programme of the workshop will include presentations of recent results or ongoing research as well as invited talks. The presentations will be selected by the Programme Committee on the basis of submitted abstracts according to originality, significance and general interest. Abstracts must not exceed two pages, including references, in LNCS format. If a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract. The abstracts will have to be submitted electronically via EasyChair at https://easychair.org/conferences/?conf=staf2024. POST-PROCEEDINGS After the workshop, authors will be invited to submit full papers for the refereed proceedings. All submissions will be reviewed by the Programme Committee. The selection of papers will be based on originality, soundness, and significance of the presented ideas and results. The post-proceedings will then be published by Springer as a volume of Lecture Notes in Computer Science. SPONSORSHIP The workshop takes place under the auspices of IFIP WG 1.3. STEERING COMMITTEE Andrea Corradini (Italy) José Fiadeiro (UK) Rolf Hennicker (Germany) Alexander Knapp (Germany) Hans-Jörg Kreowski (Germany) Till Mossakowski (Germany) Fernando Orejas (Spain) Leila Ribeiro (Brazil) Markus Roggenbach (UK) Grigore Roșu (USA) PROGRAMME COMMITTEE Mihai Codescu (Romania) Andrea Corradini (Italy) Tom van Dijk (Netherlands) Fabio Gadducci (Italy) Rolf Hennicker (Germany) Alex Kavvos (UK) Alexander Knapp (Germany) Leen Lambers (Germany) Alexandre Madeira (Portugal) Manuel A. Martins (Portugal) Narciso Martí-Oliet (Spain) Dominique Mery (France) Till Mossakowski (Germany) Renato Neves (Portugal) Peter Ölveczky (Norway) Fernando Orejas (Spain) Florian Rabe (Germany) Adrián Riesco (Spain) Markus Roggenbach (UK) Pierre Yves Schobbens (Belgium) Ionuț Țuțu (Romania) [chair] Uwe Wolter (Norway) CONTACT INFORMATION Email: wadt2024(a)outlook.com Homepage: https://conf.researchr.org/home/wadt-2024

1 0

Modern vs. classical structures of opposition: A discussion - LUW
by jean-yves beziau 09 Apr '24

09 Apr '24

Logica Universalis Webinar April 10, 2024 at 4pm CET Speakers: Didier Dubois, Henri Prade & Agnès Rico Title: "Modern vs. classical structures of opposition: A discussion" Abstract: "The aim of this work is to revisit the proposal made by Dag Westerst° ahl a decade ago when he provided a modern reading of the traditional square of opposition and of related structures. We propose a formalization of this modern view and contrast it with the classical one.We discuss what may be a modern hexagon of opposition and a modern cube, and show their interest in particular for relating quantitative expressions." https://link.springer.com/article/10.1007/s11787-024-00347-1 Associate organization: ADRIA-IRIT, CNRS https://www.irit.fr/en/departement/dep-artificial-intelligence/adria-team/ Presented by Didier Dubois and Henri Prade Chair : Sayantan Roy, Assistant Editor LU Everybody is welcome to join, register here: https://cassyni.com/events/LMSPiEvqN9JUsvzryqD1f3 Jean-Yves Beziau Editor of Logica Universalis and Organizer of LUW https://philpeople.org/profiles/jean-yves-beziau

1 0

IJCAR: Woody Bledsoe Award: Call for Nominations
by Peter Lammich 08 Apr '24

08 Apr '24

[[Apologies if you receive this email multiple times]] The Woody Bledsoe Award honors the memory of Woody Bledsoe [1], for his contributions to mathematics, artificial intelligence, and automated theorem proving, and for his dedication to students. The award is intended to enable selected students to attend the 12th International Joint Conference on Automated Reasoning (IJCAR 2024), by covering part of their expenses. Applications are solicited for the Woody Bledsoe Award 2024. Preference will be given to students who play an active role in the conference (including satellite workshops and competitions) and the SAT/SMT/AR Summer School [2] and who do not have alternative funding. A nomination consists of a recommendation letter of up to 300 words from the student’s advisor. It should be received by email at the addressijcar2024(a)inria.fr by April 28, 2024. Winners of the award are chosen by a committee consisting of the PC chairs of IJCAR 2024 and the local organizers. The awards will be presented at the conference. [1] https://en.wikipedia.org/wiki/Woody_Bledsoe [2] https://sat-smt-ar-school.gitlab.io/www/2024/

1 0

Structure meets Power 2024 - call for contributions
by Anuj Dawar 04 Apr '24

04 Apr '24

**************************************** STRUCTURE MEETS POWER 2024 (LICS/ICALP/FSCD workshop) Call for Contributions **************************************** Workshop dates: 07 July 2024 (Tallinn and online) https://www.cst.cam.ac.uk/conference/structure-meets-power-2024 Aim There is a remarkable divide in the field of logic in Computer Science between two distinct strands: one focuses on semantics and compositionality (?Structure?), the other on expressiveness and complexity (?Power?). These two traditions are studied by almost disjoint research communities using distinct technical languages and methods. We believe that bringing these communities and research fields together is an important objective in Computer Science, which may hold the key to fundamental advances in the field. The aim of this workshop is to attract investigators at the boundary of the two strands, and those on either side of the divide interested in establishing new connections. Previous workshops on this theme were held as affiliated workshops of LiCS 2021, ICALP 2022 and LiCS 2023. This is a LiCS/ICALP 2024 affiliated workshop. It will be a hybrid event, however on-site participation is highly encouraged. Important dates Workshop dates: 07 July 2024 Abstract submission deadline: 17 May 2024 Author notification: 1 June 2024 Invited speakers *Karoliina Lehtinen (LIS, Aix-Marseille University) *Tarmo Uustalu (Reykjavik University) Submission Those wishing to give a talk at the workshop are invited to submit an Extended Abstract of up to three pages (excluding references) describing the key points of the presentation. Submissions should only have a single author ? the speaker. Any co-authors should be clearly credited in the abstract and on the slides. For submissions please follow the instructions on the workshop website: https://www.cst.cam.ac.uk/conference/structure-meets-power-2024 We encourage talks at all levels of progress, including novel contributions, already published results, works in progress, as well as survey-type contributions. Depending on the number of submissions, contributed talks will be 20-30 minutes long. Organising and Programme Committee * Samson Abramsky * Anuj Dawar * Tomas Jakl * Dan Marsden * Yoàv Montacute * Luca Reggio * Nihil Shah

1 0

PostDoc in using Formal Methods for finding security vulnerabilities
by Achim D. Brucker 30 Mar '24

30 Mar '24

Dear all, As part of a US funded project, we have an exciting opportunity for a PostDoc in the Security and Trust of Advanced Systems Group at the University of Exeter (UK) to work applying formal methods to enterprise systems: We will use formal methods (e.g., model checking, SMT solving, interactive theorem proving), to analyze business-process-driven (enterprise) systems (e.g., business logic and workflows described a BPMN models). A particular focus will be the analysis of complex compositions of workflows within one organization as well as across multiple organizations. In particular, we will develop novel techniques to detect faults and vulnerabilities (that can be exploited by both internal and external attackers) in complex business-process-driven systems, contributing to protecting critical workflows such as manufacturing or logistics. In such environments, attackers can exploit such faults and vulnerabilities to cause all kinds of harm such as direct financial losses or causing the production of safety or security critical products to stop. Overall, the project aims to develop automated techniques for assessing the risk of business process or workflows as well as finding and mitigating such attacks. This is a unique opportunity for somebody wanting to use/apply formal methods to the security of large enterprise systems. More information and application details can be found at: * <https://jobs.exeter.ac.uk/hrpr_webrecruitment/wrd/run/etrec179gf.open?WVID=…> Application deadline is the 18th of April 2024. Please contact me for more details. Best, Achim -- Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking

1 0

Funded PhD Position in Formalizing/Verification of Golang
by Achim D. Brucker 20 Mar '24

20 Mar '24

We have an exciting opportunity for PhD study with myself and Prof. Burkhart Wolff form the Université Paris-Saclay on developing a formal semantics for Go(lang) in Isabelle/HOL. This is part of a new 'double PhD' programme leading to a PhD award from the University of Exeter and the Université Paris-Saclay. More information and application details can be found at: * https://www.exeter.ac.uk/study/pg-research/funding/phdfunding/paris-saclay/ * https://adum.fr/as/ed/voirproposition.pl?site=adumR&matricule_prop=53822#ve… Application deadline is the 31st of March 2024. Please contact me for more details. Best, Achim -- Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of Exeter https://www.brucker.ch | https://logicalhacking.com/blog @adbrucker | @logicalhacking

1 0

Paraconsistent Newsletter Winter-Summer 2024
by jean-yves beziau 20 Mar '24

20 Mar '24

Just released, including an interview with João Marcos papers, books, videos, events of interest for paraconsistentists and a contest to win holidays on the island of inconsistency Enjoy ! Paraconsistent Newsletter Winter-Summer-2024 https://sites.google.com/view/paranews-2024-1 Jean-Yves Beziau Editor of the Paraconsistent Newsletter https://philpeople.org/profiles/jean-yves-beziau

1 0

1st cfp of SEFM'24
by Alexandre Madeira 15 Mar '24

15 Mar '24

========= FIRST CALL FOR PAPERS ============ 22nd International Conference on Software Engineering and Formal Methods 4-8 November 2024 University of Aveiro, Portugal https://sefm-conference.github.io/2024/ ============================================ The 21st edition of the International Conference on Software Engineering and Formal Methods will be held between 6 and 8 November 2024, with workshops taking place on 4 and 5 November 2024. *Important dates* Abstract submission: 7 June 2024 (AoE) Paper submission: 14 June 2024 (AoE) Author notification: 15 August 2024 Workshops: 4-5 November 2024 Conference: 6-8 November 2024 *Overview and Scope* The conference aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. The topics of interest include, but are not limited to, the following aspects of software engineering and formal methods. -Software Development Methods .Formal modelling, specification, and design .Software evolution, maintenance, re-engineering, and reuse .Design Principles -Programming languages .Domain-specific languages .Type theory .Abstraction and refinement -Software Testing, Validation, and Verification .Model checking, theorem proving, and decision procedures .Testing and runtime verification .Statistical and probabilistic analysis .Synthesis .Performance estimation and analysis of other non-functional properties .Other light-weight and scalable formal methods .Security and Safety -Security, privacy, and trust .Safety-critical, fault-tolerant, and secure systems .Software certification .Applications and Technology Transfer -Service-oriented and cloud computing systems, Internet of Things .Component, object, multi-agent and self-adaptive systems .Real-time, hybrid, and cyber-physical systems .Intelligent systems and machine learning .Quantum systems .HCI, interactive systems, and human error analysis .Education -Case studies, best practices, and experience reports *Paper submission* We solicit two categories of papers: .Regular papers - describing original research results, case studies, or surveys, should not exceed 16 pages (excluding bibliography of at most two pages). .Tool papers - that describe an operational tool and its contributions should not exceed 8 pages. Papers must be formatted according to the guidelines for Springer LNCS papers. All submissions must be original, unpublished, and not submitted concurrently for publication elsewhere. Papers can be submitted through Easychair: https://easychair.org/conferences/?conf=sefm2024. *Artifact Evaluation* This edition of SEFM introduces an artifact evaluation (AE). An artifact contains any necessary material to support the claims made in the paper and ideally makes the results fully reproducible. Submission of an artifact is optional for regular papers and mandatory for tool papers. The artifacts will be judged by the Artifact Evaluation Committee (AEC). More details will be available soon. *Publication* All accepted papers will appear in the proceedings of the conference that will be published as a volume in Springer’s LNCS series. ------------------------------------------------------- Alexandre Madeira http://sweet.ua.pt/madeira/

1 0