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

von Marmsoler, Diego

[ 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>

2 Monate, 3 Wochen

1
0
0 0

Extension to abstract submission deadline - WADT 2024

von WADT 2024

[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

2 Monate, 3 Wochen

1
0
0 0

Modern vs. classical structures of opposition: A discussion - LUW

von jean-yves beziau

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

2 Monate, 3 Wochen

1
0
0 0

IJCAR: Woody Bledsoe Award: Call for Nominations

von Peter Lammich

[[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/

2 Monate, 3 Wochen

1
0
0 0

Structure meets Power 2024 - call for contributions

von Anuj Dawar

**************************************** 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

2 Monate, 4 Wochen

1
0
0 0

PostDoc in using Formal Methods for finding security vulnerabilities

von Achim D. Brucker

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

3 Monate

1
0
0 0

Funded PhD Position in Formalizing/Verification of Golang

von Achim D. Brucker

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

3 Monate, 2 Wochen

1
0
0 0

Paraconsistent Newsletter Winter-Summer 2024

von jean-yves beziau

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

3 Monate, 2 Wochen

1
0
0 0

1st cfp of SEFM'24

von Alexandre Madeira

========= 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/

3 Monate, 2 Wochen

1
0
0 0

Joint CFP NLS and SLSS 2024

von Lauri Hella (TAU)

Call for Participation – Fifth Nordic Logic Summer School (NLS 2024) Call for Abstracts – Twelfth Scandinavian Logic Symposium (SLSS 2024) Reykjavik University, Iceland Event Dates: NLS 2024: 10-13/6 SLSS 2024: 14-16/6 Website: https://scool24.github.io/ deadline for students to apply for ASL funding: March 19 https://aslonline.org/student-travel-awards/ The Nordic Logic Summer School (NLS) and Scandinavian Logic Symposium (SLSS) are respectively the Summer School and the Symposium organized by the Scandinavial Logic Society. This year, both events will take place this June 2024 in Reykjavik, Iceland. NLS will take place from June 10 to 13, and SLSS from June 14 to 16. NLS 2024 Call for Participation: The intended audience for NLS is advanced master students, PhD-students, postdocs and experienced researchers wishing to learn the state of the art in a particular subject. As usual, this year we have an exciting lineup of five lecturers on a wide spectrum of topics. Lecturers: Jandson Ribeiro (Philosophical logic) Sandra Kiefer (Learning and logic) Miika Hannula (Model theory) Greg Restall (Proof theory) Rineke Verbrugge (Logic, CS and AI) For updated information about the summer school and to register, please follow the link: https://scool24.github.io/NLS/ SLSS 2024 Call for Abstracts: The primary aim of the Symposium is to promote research in the field of logic (broadly conceived) carried out in research communities in Scandinavia. Moreover, it warmly invites the participation of logicians from all over the world. The meeting will include invited lectures and a forum for participants to present contributed talks. Suggested topics The scope of SLSS is broad, ranging over the whole areas of Mathematical and Philosophical Logic, as well as Logical Methods in Computer Science, Artificial Intelligence, Linguistics, among others. Major topics include (but are not limited to): Proof Theory Constructivism Model Theory Set Theory Computability Theory Algebra and Logic Categorical Logic Modal and Temporal Logics Dynamic Logics Logic and Computer Science Logic in AI and Multi-Agent Systems Logic and Linguistics Philosophical Logic Philosophy of Logic, Mathematics and Computation Programme Committee Antonios Achilleos (Reykjavik University, co-chair) Dag Westerståhl (Stockholm University, Tsinghua University, co-chair) Gaia Belardinelli (University of Copenhagen) Jens Classen (Roskilde University) Salvatore Florio (University of Oslo) Juha Kontinen (University of Helsinki) Vera Koponen (Uppsala University) Maria Magdalena Ortiz de la Fuente (TU Wien) Mina Young Pedersen (University of Bergen) Esko Turunen (TU Wien) Invited Speakers Fausto Barbero (University of Helsinki) Sara Negri (University of Genoa) Aybüke Özgün (ILLC, University of Amsterdam) Submissions Abstracts of contributed talks, in PDF format, not exceeding two A4 (11pt) pages, should be submitted through EasyChair: https://easychair.org/conferences/?conf=slss2024 by April 7 2024 (AoE).Abstracts should be typeset following the format of a LaTeX class file SLS2014.cls, or in a similar format if you prefer to not use LaTeX. Sponsorship by the Association for Symbolic Logic NLS 2024 and SLSS 2024 are sponsored by the ASL. This means that any student who wants to attend these events can apply for an ASL Student Travel Award, to partially cover their expenses. Please not that to do so, the student must be an ASL member and they must send their application to ASL by March 19 at the latest. For more information and to apply for an ASL award, please follow this link: https://aslonline.org/student-travel-awards/ Important dates Submission deadline: April 7 Notification: April 30 Final programme: TBA ASL travel award deadline: March 19 Conference: 14-16 June, 2024

3 Monate, 3 Wochen

1
0
0 0

2024

2023

2022

2021

2020

2019

2018

finite-model-theory