You can subscribe to this list here.
2003 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
(12) |
Sep
(8) |
Oct
(20) |
Nov
(21) |
Dec
(3) |
---|---|---|---|---|---|---|---|---|---|---|---|---|
2004 |
Jan
(16) |
Feb
(11) |
Mar
(26) |
Apr
(15) |
May
(17) |
Jun
(10) |
Jul
(3) |
Aug
(4) |
Sep
(11) |
Oct
|
Nov
(11) |
Dec
(8) |
2005 |
Jan
(16) |
Feb
(18) |
Mar
(22) |
Apr
(23) |
May
(17) |
Jun
(22) |
Jul
(10) |
Aug
(9) |
Sep
(13) |
Oct
(26) |
Nov
(26) |
Dec
(31) |
2006 |
Jan
(29) |
Feb
(35) |
Mar
(20) |
Apr
(23) |
May
(35) |
Jun
(17) |
Jul
(18) |
Aug
(11) |
Sep
(18) |
Oct
(12) |
Nov
(16) |
Dec
(27) |
2007 |
Jan
(27) |
Feb
(22) |
Mar
(15) |
Apr
(38) |
May
(26) |
Jun
(24) |
Jul
(8) |
Aug
(20) |
Sep
(21) |
Oct
(23) |
Nov
(20) |
Dec
(24) |
2008 |
Jan
(16) |
Feb
(19) |
Mar
(24) |
Apr
(54) |
May
(24) |
Jun
(21) |
Jul
(20) |
Aug
(12) |
Sep
(19) |
Oct
(28) |
Nov
(26) |
Dec
(34) |
2009 |
Jan
(22) |
Feb
(15) |
Mar
(20) |
Apr
(33) |
May
(27) |
Jun
(30) |
Jul
(23) |
Aug
(13) |
Sep
(21) |
Oct
(19) |
Nov
(29) |
Dec
(22) |
2010 |
Jan
(36) |
Feb
(30) |
Mar
(58) |
Apr
(38) |
May
(36) |
Jun
(35) |
Jul
(22) |
Aug
(8) |
Sep
(40) |
Oct
(27) |
Nov
(29) |
Dec
(23) |
2011 |
Jan
(31) |
Feb
(39) |
Mar
(30) |
Apr
(49) |
May
(38) |
Jun
(27) |
Jul
(11) |
Aug
(13) |
Sep
(20) |
Oct
(28) |
Nov
(23) |
Dec
(18) |
2012 |
Jan
(36) |
Feb
(39) |
Mar
(61) |
Apr
(71) |
May
(188) |
Jun
(117) |
Jul
(132) |
Aug
(153) |
Sep
(32) |
Oct
(44) |
Nov
(64) |
Dec
(56) |
2013 |
Jan
(85) |
Feb
(36) |
Mar
(44) |
Apr
(130) |
May
(47) |
Jun
(33) |
Jul
(34) |
Aug
(25) |
Sep
(20) |
Oct
(49) |
Nov
(20) |
Dec
(39) |
2014 |
Jan
(38) |
Feb
(61) |
Mar
(83) |
Apr
(56) |
May
(42) |
Jun
(37) |
Jul
(24) |
Aug
(16) |
Sep
(28) |
Oct
(33) |
Nov
(21) |
Dec
(22) |
2015 |
Jan
(12) |
Feb
(43) |
Mar
(46) |
Apr
(36) |
May
(57) |
Jun
(29) |
Jul
(19) |
Aug
(21) |
Sep
(17) |
Oct
(20) |
Nov
(77) |
Dec
(30) |
2016 |
Jan
(20) |
Feb
(39) |
Mar
(53) |
Apr
(32) |
May
(47) |
Jun
(53) |
Jul
(30) |
Aug
(17) |
Sep
(17) |
Oct
(56) |
Nov
(14) |
Dec
(23) |
2017 |
Jan
(87) |
Feb
(39) |
Mar
(49) |
Apr
(83) |
May
(65) |
Jun
(25) |
Jul
(65) |
Aug
(45) |
Sep
(60) |
Oct
(136) |
Nov
(22) |
Dec
(47) |
2018 |
Jan
(77) |
Feb
(39) |
Mar
(57) |
Apr
(76) |
May
(63) |
Jun
(45) |
Jul
(45) |
Aug
(60) |
Sep
(48) |
Oct
(15) |
Nov
(23) |
Dec
(29) |
2019 |
Jan
(62) |
Feb
(72) |
Mar
(69) |
Apr
(51) |
May
(30) |
Jun
(19) |
Jul
(19) |
Aug
(26) |
Sep
(23) |
Oct
(16) |
Nov
(17) |
Dec
(12) |
2020 |
Jan
(9) |
Feb
(23) |
Mar
(22) |
Apr
(18) |
May
(17) |
Jun
(18) |
Jul
(23) |
Aug
(12) |
Sep
(16) |
Oct
(6) |
Nov
(13) |
Dec
(9) |
2021 |
Jan
(28) |
Feb
(25) |
Mar
(29) |
Apr
(17) |
May
(18) |
Jun
(23) |
Jul
(19) |
Aug
(8) |
Sep
(9) |
Oct
(7) |
Nov
(9) |
Dec
(15) |
2022 |
Jan
(24) |
Feb
(22) |
Mar
(25) |
Apr
(23) |
May
(18) |
Jun
(12) |
Jul
(8) |
Aug
(4) |
Sep
(11) |
Oct
(8) |
Nov
(11) |
Dec
(15) |
2023 |
Jan
(15) |
Feb
(15) |
Mar
(18) |
Apr
(13) |
May
(19) |
Jun
(9) |
Jul
(10) |
Aug
(6) |
Sep
(5) |
Oct
(7) |
Nov
(11) |
Dec
(8) |
2024 |
Jan
(14) |
Feb
(18) |
Mar
(24) |
Apr
(21) |
May
(17) |
Jun
(21) |
Jul
(14) |
Aug
(8) |
Sep
(7) |
Oct
(6) |
Nov
|
Dec
|
From: Petra v. d. B. <p.v...@ut...> - 2024-10-07 10:02:25
|
FINAL CALL FOR PAPERS (DEADLINE EXTENDED) Eleventh International Conference on Fundamentals of Software Engineering 2025 - Theory and Practice (FSEN '25) https://conf.researchr.org/home/fsen-2025 <https://conf.researchr.org/home/fsen-2025> Västerås, Sweden 7,8 April 2025 ###################################################################### -- About FSEN -- Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Västerås, Sweden, April 7-8, 2025. -- Important Dates -- * Abstract Submission extended for 2 weeks: October 21, 2024 (AoE)* *Paper Submission extended for 2 weeks: October 28, 2024 (AoE)* /*The new deadlines are strict!* / Notification: December 2, 2024 Final Camera-ready Submission: January 13, 2025 (AoE) Conference: April 7-8, 2025 -- Keynote Speakers (confirmed) -- Işıl Dillig, University of Texas at Austin Alexander Serebrenik, Eindhoven University of Technology Marielle Stoelinga, University of Twente and Radboud University, Nijmegen -- Topics of Interest -- The topics of this conference include, but are not restricted to, the following: * Models of programs and software systems * Software specification, validation, and verification * Software testing * Software architectures and their description languages * Object, actor and multi-agent systems * Coordination, feature interaction and software product lines * Integration of formal and informal methods * Integration of different formal methods * Component-based and service-oriented software systems * Collective, self-adaptive and cyber-physical software systems * Model checking and theorem proving * Quantitative formal methods * Software and hardware verification * CASE tools and tool integration * Industrial applications -- Paper Submission -- Authors are invited to submit full papers (up to 15 pages including references) describing original research, applications and tools; or short papers (up to 6 pages including references) describing ongoing research or new ideas that have not yet been fully validated. Both categories of papers must be submitted electronically in PDF using the online submission process via the Easychair conference system at the following link: https://www.easychair.org/conferences/?conf=fsen2025 <https://www.easychair.org/conferences/?conf=fsen2025>. Contributions must be written in English, should be formatted according to the Springer LNCS style (LaTeX2e Proceedings Templates) that can be found at the following link (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines <http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines>) and not exceed the page limit for the category (including figures and references). Each submission will be thoroughly reviewed by at least three reviewers considering scientific originality, significance, relevance to the FSEN conference, technical soundness, clarity, self-containedness and discussion of appropriate related work. The reviewers will be asked to rate the submissions and evaluate whether they can be accepted as: 1) Full paper for the LNCS proceedings 2) Short paper for the LNCS proceedings 3) Poster (not included in the proceedings) Papers accepted in the first 2 categories will be invited for presentation at the conference. Posters will be illustrated by the authors in separate poster sessions. Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere (cf. IFIP's Author Code of Conduct, see http://www.ifip.org/ <http://www.ifip.org/> under Publications/Links). -- Proceedings and Special Issue -- The post-proceedings of FSEN'25 will be published by Springer in the LNCS series. Following the tradition of FSEN, we plan to have a special issue of the Science of Computer Programming journal devoted to FSEN'25. After the conference a selection of papers will be invited for this special issue. The invited papers should be revised and extended and will undergo a new round of review by an international program committee. Please see the websites of previous editions of FSEN for more information on post-proceedings and special issues related to those editions. -- General Chairs -- Marjan Sirjani, Malardalen University, Sweden Robbert Jongeling, Malardalen University, Sweden Antonio Cicchetti, Malardalen University, Sweden -- Program Chairs -- Georgiana Caltais - University of Twente, Netherlands Hossein Hojjat - Tehran Institute for Advanced Studies, Iran -- Publicity Chair -- Petra van den Bos, University of Twente, The Netherlands -- Steering Committee -- Farhad Arbab - CWI, the Netherlands; Leiden University, the Netherlands Christel Baier - University of Dresden, Germany Mieke Massink, CNR-ISTI Pisa, Italy Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Mälardalen University, Sweden; Reykjavik University, Iceland (Chair) Carolyn Talcott - SRI International, USA Martin Wirsing - LMU Munich, Germany -- Program Committee -- See website: https://conf.researchr.org/home/fsen-2025 <https://conf.researchr.org/home/fsen-2025> |
From: Wijs, A. <A.J...@tu...> - 2024-10-04 20:41:30
|
> 40th Annual ACM/SIGAPP Symposium on Applied Computing > Software Verification and Testing Track > Sicily, Italy, March 31 - April 4, 2025 > Submission deadline : October 13, 2024 > > SAC 2025 website: https://www.sigapp.org/sac/sac2025/ > SAC-SVT 2025 website: https://sac-svt.github.io/sac-svt-2025/ > > ==== Important dates ==== > > Oct 13, 2024 - Deadline submission of regular papers and SRC research abstracts > Nov 20, 2024 - Paper notification > Nov 29, 2024 - Camera-ready and author registration > Mar 31 - Apr 4, 2025 - ACM Symposium on Applied Computing > > ==== ACM Symposium on Applied Computing ==== > > The ACM Symposium on Applied Computing (SAC) has gathered scientists > from different areas of computing over the last thirty years. The forum > gives participants an opportunity to interact with different communities sharing > an interest in applied computing. > > SAC 2025 is sponsored by the ACM Special Interest Group on Applied > Computing (SIGAPP), and will take place on March 31 - Apr 4, 2025, Sicily, Italy. > > ==== Software Verification and Testing Track (SVT) ==== > > The Software Verification and Testing track aims to contribute to the > challenge of improving the usability of formal methods in software > engineering. The track covers areas such as formal methods for > verification and testing, based on theorem proving, model checking, > static analysis, and run-time verification. We invite authors to submit > new results in formal verification and testing, as well as development > of technologies to improve the usability of formal methods in software > engineering. We also welcome detailed descriptions of applications of > mechanical verification to large scale software. > > ==== Topics ==== > > Possible topics include, but are not limited to: > * model checking > * theorem proving > * correct by construction development > * model-based testing > * software testing > * symbolic execution > * static and dynamic analysis > * abstract interpretation > * analysis methods for dependable systems > * software certification and proof carrying code > * fault diagnosis and debugging > * verification and validation of large scale software systems > * real-world applications and case studies applying software testing and verification > * benchmarks and data sets for software testing and verification > > ==== Submission Guidelines ==== > > Paper submissions must report on original, unpublished work. Submitted > papers will undergo a double-blind review process. Author(s) name(s) and > address(es) must not appear in the body of the paper, and self-reference > should be avoided and made in the third person. We welcome research > papers and posters. Research papers should have at most 8 two-column > pages in ACM format (further two pages, to a total of 10 pages, may be > available at a charge). The length of a poster is limited to 2 pages (one > extra page may be available at a charge). Please comply to this page limit > already at submission time. > > Furthermore, in the context of the Student Research Competition (SRC) > program to provide graduate students the opportunity to meet and exchange > ideas with researchers and practitioners in their areas of interest, graduate > students are invited to submit research abstracts (single author, maximum > of 3 pages in ACM camera-ready format) following the instructions published > at the SAC 2025 website. Submission of the same abstract to multiple tracks > is not allowed. > > Accepted papers will be published in the ACM SAC 2025 proceedings in the > ACM digital library. Paper registration is required, allowing the inclusion of > the paper/poster in the conference proceedings. An author or a proxy attending > SAC MUST present the paper. This is a requirement for the paper/poster to be > included in the ACM digital library. No-show of registered papers and posters > will result in excluding them from the ACM digital library. > > The submission system for regular papers: > https://easychair.org/my/conference?conf=sac-2025 > The submission system for SRC (Student Research Competition) abstracts: > https://easychair.org/my/conference?conf=sacsrc-2025 > > ==== Track Chairs ==== > > Justyna Petke, University College London, United Kingdom > Anton Wijs, Eindhoven University of Technology, Netherlands |
From: Alexandre M. <ma...@ua...> - 2024-10-03 12:37:42
|
========= Call for Participation ============ 22nd International Conference on Software Engineering and Formal Methods 4-8 November 2024 University of Aveiro, Portugal https://sefm-conference.github.io/2024/ ============================================ The 22nd 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. *** Registration *** The registration website is open, see https://sefm-conference.github.io/2024/registration/ The deadline for early registration is October 15, 2024. **Invited Talks** Luís S. Barbosa, University of Minho, PT - "Paraconsistency for the working software engineer" Paula Herber, Universitat Munster, DE - "Formal Verification of Cyber-physical Systems using Domain-specific Abstractions" John van de Wetering, University of Amsterdam, the Netherlands - "Picturing Quantum Software" ** Accepted Papers ** The list of accepted papers is online on https://sefm-conference.github.io/2024/acceptedpapers/ ** Co-located events ** Some workshops are co-located with the main conference, see https://sefm-conference.github.io/2024/workshops/ ------------------------------------------------------- Alexandre Madeira http://sweet.ua.pt/madeira/ |
From: Ian S. <Ian...@an...> - 2024-10-03 07:02:38
|
24th ANU Logic Summer School December 2 – 13, 2024 Canberra, Ngunnawal and Ngambri Country, Australia https://comp.anu.edu.au/lss/ OVERVIEW The ANU Logic Summer School is an annual event that offers a two week long programme of lectures on modern logic, the foundational discipline of the information sciences. Topics include not only the science of reasoning but also computability theory, type theory and other tools for understanding processes, declarative programming, automatic proof generation, program verification and much more. The school is primarily geared at late undergraduate and masters students, but is open to all, including postgraduate and PhD students, postdocs, and participants from industry. PROGRAMME The school features four introductory courses in the first week, and a series of five lectures covering more advanced topics in the second week. The courses are given by a mix of local, domestic and international speakers. Week 1: John Slaney (ANU): Foundations of Metalogic Michael Norrish (ANU): Computability and Incompleteness Fabian Muehlboeck (ANU): Formalizing and Reasoning About Programming Languages Ranald Clouston (ANU): Propositions and Types, Proofs and Programs Week 2: Iris van der Giessen (U. of Amsterdam): Interpolation through the Lens of Proof Theory Mark Reynolds (U. of Western Australia): Reasoning in Temporal Logic Tomasz Kowalski (La Trobe U. / Jagiellonian U.): Qualitative Calculi via Relation Algebras Sophie Pinchinat (U. of Rennes): Automatic Structures and their Logical theory Thomas Sewell (U. of New South Wales): Applying Logic in Software and Inefficient Computation SOCIAL EVENTS The summer school hosts a welcome reception on Sunday December 1, a social dinner on Thursday December 5, and organises an excursion to Canberra’s surrounds on Saturday December 7. ACCOMMODATION We do not organise accommodation for participants. The Canberra Accommodation Centre (https://www.canberra-accommodation.com.au<https://www.canberra-accommodation.com.au/>) is reasonably priced and in walking distance from the ANU campus. REGISTRATION The registration fee for students is A$160 and includes the social events. Details on how to register, and fees for other categories of participants, are on the school’s website: https://comp.anu.edu.au/lss/registration/. GRANTS The Organising Committee of the ANU Logic Summer School is pleased to announce a limited number of grants that might cover, in part, the registration fee, accommodation costs, travel expenses. The deadline for applications is 15th October 2024. For more details on conditions and application, please consult: https://comp.anu.edu.au/lss/grants/. ORGANISATION The logic summer school is organised by Peter Hoefner, Dirk Pattinson, Pramo Samarasinghe and Ian Shillito. Please direct all enquiries to lss...@an...<mailto:lss...@an...>. |
From: Dutle, A. M. (LARC-D. v. fm-a. <fm-...@li...> - 2024-10-02 20:10:17
|
--- To opt-out from this mailing list, send an email to fm-...@li... with the word 'unsubscribe' as subject or in the body. You can also make the request by contacting fm-...@li... |
From: <ge...@cs...> - 2024-10-02 18:41:46
|
********************************************************************** CALL FOR PAPERS CADE-30: 30th international Conference on Automated Deduction DHBW Stuttgart Stuttgart, Germany, July 28th - August 2nd, 2025 https://www.dhbw-stuttgart.de/cade-30/ ********************************************************************** CADE is the major international forum for presenting research on all aspects of automated deduction. High-quality submissions on the general topic of automated deduction, including logical foundations, theory and principles, applications in and beyond computer science and mathematics, and implementations of automated reasoning systems are solicited. CADE-30 aims to present research that reflects the broad range of interesting and relevant topics in automated deduction. CADE-30 proceedings will be published in Springer's Lecture Notes in Artificial Intelligence series in Gold Open Access mode at a CADE special rate of EUR 200 per paper. Authors of accepted papers who cannot cover the fee can apply for funding. SUBMISSION INSTRUCTIONS Submissions can be made in two categories: * Regular papers. Up to 15 pages in LNCS style, excluding references. Proofs of theoretical results that do not fit in the page limit may be provided in an appendix. * Short papers. This includes system descriptions, user experiences, case studies and domain models. Up to 10 pages in LNCS style, excluding references. Submissions must be unpublished and not submitted for publication elsewhere. They will be judged on relevance, significance, originality, correctness, and readability. Reviewers may consider material provided in appendices, but submissions must be self-contained within the page limit. If software or data is relevant to a paper, a link that provides access to the software/data must be provided to enable reproduction of results. The review process will include a feedback/rebuttal period, where authors will have the option to respond to reviewer comments. The Program Committee Chairs may solicit further reviews after the rebuttal period. Selected accepted papers will be considered by the Program Committee for the CADE Best Paper Award or Best Student Paper Award (provided that at least one author is a student). Papers must be submitted to https://easychair.org/conferences/?conf=cade30 in the Main Conference track. All submissions must be formatted in the LNCS style and must include the ORCID id of at least the corresponding author, and preferably of all authors. IMPORTANT DATES Abstract deadline: February 17, 2025 Submission deadline: February 24, 2025 Rebuttal period: April 14-18, 2025 Notification: April 28, 2025 Final version deadline: May 30, 2025 Main conference: July 28-31, 2025 Satellite events: August 1-2, 2025 PROGRAM COMMITTEE CHAIRS Clark Barrett, Stanford University Uwe Waldmann, Max Planck Institute for Informatics PROGRAM COMMITTEE Erika Ãbráham, RWTH Aachen Haniel Barbosa, Universidade Federal de Minas Gerais Clark Barrett, Stanford University Jasmin Blanchette, Ludwig-Maximilians-Universität München Maria Paola Bonacina, Università degli Studi di Verona Liron Cohen, Ben-Gurion University Stéphane Demri, LMF, CNRS & ENS Paris-Saclay Huimin Dong, TU Wien Katalin Fazekas, TU Wien Mathias Fleury, University of Freiburg Pascal Fontaine, Université de Liège Carsten Fuhs, Birkbeck, University of London Silvio Ghilardi, Università degli Studi di Milano Alessandro Gianola, INESC-ID and Universidade de Lisboa Iris van der Giessen, University of Birmingham Alberto Griggio, Fondazione Bruno Kessler Nao Hirokawa, JAIST Mikolas Janota, Czech Technical University in Prague Moa Johansson, Chalmers University of Technology Martin Jonáš, Masaryk University, Czechia Cezary Kaliszyk, University of Innsbruck Konstantin Korovin, The University of Manchester Katherine Kosaian, Iowa State University Laura Kovács, TU Wien Peter Lammich, University of Twente Kuldeep S. Meel, University of Toronto Stephan Merz, Inria Nancy Cláudia Nalon, University of BrasÃlia Jakob Nordström, University of Copenhagen and Lund University Nicola Olivetti, LSIS, Aix-Marseille University Elaine Pimentel, University College London André Platzer, Karlsruhe Institute of Technology Florian Rabe, FAU Erlangen-Nürnberg Andrew Reynolds, University of Iowa Philipp Rümmer, University of Regensburg Tanja Schindler, University of Basel Renate A. Schmidt, The University of Manchester Carsten Schuermann, IT University of Copenhagen Mihaela Sighireanu, ENS Paris-Saclay Alexandra Silva, University College London Viorica Sofronie-Stokkermans, University of Koblenz Martin Suda, Czech Technical University in Prague Yong Kiam Tan, Institute for Infocomm Research and NTU Singapore Guilherme Toledo, State University of Campinas Sophie Tourret, INRIA Nancy Ali Kemal Uncu, University of Bath Uwe Waldmann, MPI for Informatics Christoph Weidenbach, MPI for Informatics Bohua Zhan, Huawei Technologies Co., Ltd. Yoni Zohar, Bar-Ilan University CONFERENCE CHAIR Stephan Schulz, DHBW Stuttgart WORKSHOP CHAIR Sophie Tourret, INRIA Nancy PUBLICITY CHAIR Geoff Sutcliffe, University of Miami CONTACTS All questions about CADE-30 paper submissions should be emailed to the Chairs (cade30 AT easychair.org). |
21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024)-Call for Participation 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 November 2 - November 8, 2024, Hanoi, Vietnam Conference web site: www.kr.org/KR2024 --Call For Participation-- Early Registration: Deadline GMT+7 (i.e. Vietnam time) Friday 20 September, 2024 --Conference Format and Registration-- KR 2024 will be organized as in-person and welcomes all researchers interested in KR to participate! Information about how to register for the main conference and associated events can be found at: www.kr.org/KR2024/registration.php. The list of papers accepted at the main conference and special tracks can be found on the conference webpage. --NSF Student Grants-- If you are a student based in the US, there is an opportunity to receive funding for attending the conference. Please fill out this form here (www.docs.google.com/forms/d/e/1FAIpQLSeTH5Ucw2UzERPh-Cjh8XtS-JHX1AswJWJ8CGlGEoPUIjpGKw/viewform) no later than September 17. --Keynote Speakers-- - Meghyn Bienvenu (LaBRI - CNRS and University of Bordeaux, France) - Subbarao Kambhampati (Arizona State University, USA) - Sheila McIlraith (University of Toronto, Canada) and Murray Shanahan (Imperial College London, UK) - Nina Narodytska (VMware Research by Broadcom, USA) --Special Tracks-- - KR in the Wild - Reasoning, Learning and Decision-Making - Recently Published Research - Video Track --Special Sessions-- - Demonstration Session - Diversity and Inclusion - Doctoral Consortium --Workshops-- - 5th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024) - 1st International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2024) - International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning (LAMAS and SR 2024) - 1st Workshop on Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technology (SYNERGY) - Joint Workshop on Knowledge Diversity and Cognitive Aspects of KR (KoDis/CAKR 2024) --Tutorials-- - An introduction to approximation fixpoint theory - Argumentation and Machine Learning - Fundamental Problems in Statistical Relational AI - Formal Aspects of Strategic Reasoning in Multi-Agent Systems - Iterated Belief Change - Large Language Models are Human-like Annotators - Probing Machine Learning Models in Angluin's Style --Co-Located Events-- NMR 2024 (23rd International Workshop on Non-Monotonic Reasoning) --Conference Chairs-- - General Chair: Pierre Marquis (University Artois, CNRS, CRIL - Institut Universitaire de France, France) - Program Chairs: Magdalena Ortiz (TU Wien, Austria) and Maurice Pagnucco (The University of New South Wales (UNSW), Australia) - Demonstration Session Chair: Mario Alviano (University of Calabria, Italy) - Diversity and Inclusion Session Chairs: Shqiponja Ahmetaj (TU Wien, Austria), Daxin Liu (The University of Edinburgh, UK), Renata Wassermann (Universidade de São Paulo, Brasil) - Doctoral Consortium Chairs: Camille Bourgaux (CNRS, ENS, Paris, France), Johannes P. Wallner (TU Graz, Austria) - Funding and Scholarship Chairs: Gianluca Cima (Sapienza University of Rome, Italy), Zeynep Saribatur (TU Wien, Austria) - KR in the Wild Track Chairs: Matti Järvisalo (University of Helsinki, Finland), Birte Glimm (University of Ulm, Germany) - Local Arrangement Chairs: Long Tran-Thanh (University of Warwick, UK), Thanh Van Dinh (East Asia University of Technology, Vietnam), Van Dao Hong (East Asia University of Technology, Vietnam), Tran Cao Son (New Mexico State University, USA), Phi Le Nguyen (Hanoi University of Science and Technology, Vietnam) - Publicity Chairs: Yazmin Angelica Ibañez-Garcia (Cardiff University, UK), Stavros Vassos (Helvia.ai) - Reasoning, Learning and Decision-Making Track Chairs: Jean Christoph Jung (Dortmund University, Germany), Sebastijan Dumančić (Delft University, The Netherlands), Masoumeh Mansouri (University of Birmingham, UK) - Recently Published Research Track Chairs: Yongmei Liu (Sun Yat-sen University, China), Mantas Šimkus (TU Wien, Austria) - Tutorial and Workshop Chairs: Elena Botoeva (University of Kent, UK), KR Inc., not for profit Scientific Foundation, , Massachusetts, USA , , Manage preferences (https://hs-5228907.s.hubspotstarter.net/preferences/en/manage?data=W2nXS-N30h-GNW234KW12TlsNgW34C9S349KXSWW2KnWSl1ZfkTFW2Ft_XV1_9k_pW2q-CZ53b1dCVW2r4TqJ34Fh-fW32y-fQ3C8x_SW43XX-q4plyk1W1XfWPL1QdSGXW2FvpBD1Brg2sW4kqJhG2HrCS9W2qD0bB3_rCQBW1Vq3qH34FNfvW2YdKhY2vLdq5W34vnSR3d9M0dW2TM38n2CFXQzW1BsY5h2zZMtMW1XcV273K6Jl1W3N-MQD4pj2R2W2nYfjy2YD2zVW45GvD24p7hVJW3ZJ8Sc32GKqZW1-ZHJR49wFn_W1X6sNZ20X1H1W4t8yyc2FK4jbW4kD4JW2YrV9fW30BSpL24SHx5W3Z_QKT30FlJ-W4cRZh138D3pwW2y3q3B2FRGvVW36tp103SNvR1W47TBfq2FZQrmW2HVNJl3JX4NHW3ZxXRh3NGP9DW4mJtGx36g5vpW2p22zv3jmn7zW3grkq141sHYdW1T_X-p3-0hKQW2zLbWD47N5Y9W3VSzD_4pGx22W3ZDqtT25ph6xW3C38TX2CsZGcW3SRYYZ32mtXmW1_djhT2vYvPXW2HBF661VhQ8VW34D0Vl1N4nc3f1NzxTd04&_hsenc=p2ANqtz--d5WJqqauHWcMErRW8MibScEKKo95E0GVH712c8lpoK7S12Xqmj0RkaDI9_ZLMocaC1H5hO1vpFoVWt1b_YmGu1plvQu0xFnJT9qLO52ykdnlelpg&_hsmi=326002479 ) |
From: Claudio M. <cla...@un...> - 2024-09-23 09:09:00
|
*************************************************************************** JOINT CALL FOR PAPERS 28th ETAPS International Joint Conferences On Theory and Practice of Software ETAPS 2025 Hamilton, Canada, May 3-8, 2025 https://etaps.org/2025 *************************************************************************** -- ABOUT ETAPS -- ETAPS is a primary forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences accompanied by satellite workshops. ETAPS 2025 is the twenty-eighth event in the series. -- Why choose ETAPS? -- * ETAPS is one of the world's leading fora for research on software science, with a history of more than 25 years. * The proceedings of ETAPS appear in gold open access, with no article processing charge for the authors specifically. * All constituent conferences provide artifact evaluation. * In addition to the conference, ETAPS also unites the software science community with activities such as a blog on software science, a PhD workshop, sessions on diversity and inclusion and an ask-me-anything session. * Poster and Tool demo sessions are organized over the week. * Spin Symposium and Rust Verification Workshop are colocated with ETAPS again. -- What is new in 2025? -- * Two submission rounds for ESOP – see https://etaps.org/2025/esop/ * ETAPS is organized in North America for the first time! * Distinguished paper awards for the best ETAPS papers * Lunch roulette -- MAIN CONFERENCES (May 5–8, 2025) -- * ESOP: European Symposium on Programming (PC chair: Viktor Vafeiadis, MPI-SWS) * FASE: Fundamental Approaches to Software Engineering (PC chairs: Artur Boronat, University of Leicester, Gordon Fraser, University of Passau) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Delia Kesner, Université Paris Cité, Parosh Abdulla, Uppsala University) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Arie Gurfinkel, University of Waterloo, Marijn Heule, Carnegie Mellon University) -- INVITED SPEAKERS -- * Amal Ahmed, Northeastern University * Matt Dwyer, University of Virginia * José Meseguer, University of Illinois, Urbana-Champaign * Ina Schaefer, Karlsruhe Institute of Technology * In addition, two more invited tutorial speakers will be announced later. -- IMPORTANT DATES -- * Submission deadline for ESOP, round 1: May 30, 2024, 23:59 AoE * Rebuttal for ESOP, round 1: July 23–25, 2024 * Notification for ESOP, round 1: August 8, 2024 * Submission deadline for ESOP round 2: October 10, 2024, 23:59 AoE * Submission deadline for TACAS, FoSSaCS, FASE: October 10, 2024, 23:59 AoE * TACAS mandatory artifact submission deadline: October 24, 2024 * Rebuttal (ESOP, FoSSaCS, partially TACAS): December 3–5, 2024 * Paper notification and TACAS mandatory artifact notification: December 20, 2024 * ESOP, FASE, FoSSaCS artifact, TACAS voluntary artifact submission deadline: January 9, 2025 * Artifact notification ESOP, FASE, FoSSaCS, TACAS (voluntary artifacts): February 13, 2025 * Main Conference: May 5–8, 2025 -- PUBLICATION -- The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's LNCS series. The proceedings volumes will appear in gold open access, so the published versions of all papers will be available for everyone to download from the publisher's website freely from the date of online publication, perpetually. The copyright of the papers will remain with the authors. -- AWARDS -- The strongest papers from the four conferences will be marked as distinguished papers and highlighted in the conference program. From these distinguished papers, the EAPLS, EASST, and EATCS, and the Best Tool Paper Award committees will select the best ETAPS papers. The ETAPS Test-of-Time Award will be granted, recognizing outstanding papers published at ETAPS more than ten years in the past. The ETAPS Rance Cleaveland Test-of-Time Tool Award acknowledges the importance of reliable and well-maintained research tools and the significant effort that their creation and maintenance entails. The Doctoral Dissertation Award will be granted to promote and recognize an outstanding dissertation in the research areas covered by the four main ETAPS conferences. All distinguished papers will be highlighted in the program. -- SUBMISSION INSTRUCTIONS -- The four main conferences of ETAPS 2025 solicit contributions of the following types. All page limits are given **excluding the bibliography**. * ESOP: regular research papers of max 25 pp, experience reports of max 15 pp, and fresh perspectives providing new insights on programming languages and systems of max 15 pp. For the sake of flexibility, submitted research papers may be formatted in other formats. There is no page limit at the submission time. Please refer to https://etaps.org/2025/esop for more details. * FASE: regular research papers and empirical evaluation papers of max 18 pp; new ideas and emerging results (NIER) papers of max 8 pp; tool demonstration papers and data showcase papers of max 8 pp (+ optional appendix of max 6 pp), * FoSSaCS: regular research papers of max 18 pp; no submissions of PC members are allowed * TACAS: regular research papers, case study papers, and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp For definitions of the different paper types and specific instructions, where they are present, see the web pages of the individual conferences. All accepted papers will appear in Springer proceedings and have presentations during the conference. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. We plan ETAPS 2025 as an on-site conference. Submitted papers must be in English, presenting original research. They must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. Submissions must follow the formatting guidelines of Springer's LNCS (use the llncs.cls class) and be submitted electronically in pdf through the Easychair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. ESOP, FASE, and TACAS will use double-blind reviewing (in the case of TACAS, only for regular research papers). Authors are asked to omit their names and institutions; refer to prior work in the third person, just as prior work by others; not to include acknowledgments that might identify them. ESOP and FoSSaCS will use an **author rebuttal phase**. TACAS will use rebuttal for selected submissions (those in the gray zone). Artifact submission and evaluation Regular tool paper and tool demonstration paper submissions to TACAS must be accompanied by an artifact submitted shortly after the paper. The artifact will be evaluated, and the outcome will be considered in the paper's acceptance decision. For research paper and case study paper submissions, pre-paper-acceptance submission of an artifact is optional; if an artifact is submitted at this point, it will be handled as described above. Alternatively, authors of papers of these categories may submit an artifact for evaluation after the paper has been accepted. The outcome of the artifact evaluation will then not change the paper acceptance decision. ESOP, FASE, and FoSSaCS will accept artifact submissions; however, participation in it is voluntary; the artifact submission deadline is after the paper notification deadline. The outcome will not alter the paper acceptance decision. For ESOP, artifacts may be submitted with an accompanying short 5-page experience report (including a 1-page bibliography) that will appear in the conference proceedings. For specific instructions regarding artifacts, see the web pages of the individual conferences. -- SATELLITE EVENTS (May 3–4, 2025) -- Several satellite workshops and other events will take place during the weekend before the main conferences. -- CITY AND HOST INSTITUTION -- ETAPS 2025 will take place in Hamilton, Canada and is organized by McMaster University. The Faculty of Engineering at McMaster University has a reputation for innovative programs, cutting-edge research, leading faculty, and aspiring students. It has earned a strong reputation as a center for academic excellence and innovation. The Faculty has approximately 180 faculty members, along with close to 4,500 undergraduate and 1,000 graduate students. The Faculty of Engineering promotes a nurturing and inclusive environment where opportunities are made available for personal growth and professional development. McMaster University beautiful campus is at the north-west end of Hamilton on the western end of Lake Ontario, between the Niagara Escarpment, conservation lands, and the Royal Botanical Gardens. Hamilton, with a population of over 500,000, is a vibrant community with easy access to Toronto and the Niagara region. It is located at the northern tip of an ecological zone commonly called the Carolinian Forest that encompasses the southernmost portion of Ontario but occurs nowhere else in Canada. As a result, Hamilton is home to many unique species of plants and animals that only occur here because the summer climate approaches that of North and South Carolina in the United States. For further information, please refer to https://tourismhamilton.com/ -- ORGANISERS -- Claudio Menghi – University of Bergamo, Italy, and McMaster University, Canada Mark Lawford – McMaster University, Canada |
Dear all, We continue our Formal Methods Teaching tutorials series with a lecture on Friday, September 27, at 3 pm CEST! Prof. Rosemary Monahan from Maynooth University in Ireland will discuss about Teaching Dafny at undergraduate and MSc level on Irish and Erasmus+ European Degree programmes. Prof. Monahan is a founding member of the Principles of Programming Research group at her university and focuses on analysing the static and dynamic aspects of software systems. She earned an impressive number of research grants, nationally and internationally and coordinated international MSc programs in dependability funded by Erasmus Mundus. She is the co-founder of the VerifyThis competition series that involves both industry and academia in applying tools for delivering correct software. In terms of teaching, Rosemary has taught Software Verification at undergraduate and postgraduate level for over 2 decades. In this talk, she will present her experience, overviewing what she teaches in modules on Software Verification (5 ECTS, delivered to 3rd year Bachelors students) and Rigorous Software Process (7.5ECTS, delivered to MSc students). In particular, she will discuss the student’s interaction with the Dafny Verifier in her courses, lab work and continuous assessment. Rosemary will also outline her experience of directing an Erasmus+ MSc in Dependable Software Systems which she was successful in obtaining funding for from 2012 - 2018. An MSc on Advanced Software Systems Dependability was also funded under the Erasmus+ programme from 2018-2021 with the same consortium of universities. The event will last about an hour. Warmly welcome!! Best wishes, Luigia PS: for more info, here is the tutorial series webpage: https://fme-teaching.github.io/2021/08/24/tutorial-series-of-the-fme-teaching-committee/. __ Luigia Petre, Docent, PhD Faculty of Science and Engineering Åbo Akademi University, Finland www.users.abo.fi/lpetre |
From: Stavros V. <st...@he...> - 2024-09-18 13:57:08
|
21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - Call for Participation 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 November 2 - November 8, 2024, Hanoi, Vietnam Conference website: www.kr.org/KR2024 Call For Participation Early Registration: Deadline GMT+7 (i.e. Vietnam time) Friday 20 September, 2024 --Conference Format and Registration-- KR 2024 will be organized as in-person and welcomes all researchers interested in KR to participate! Information about how to register for the main conference and associated events can be found at: www.kr.org/KR2024/registration.php. The list of papers accepted at the main conference and special tracks can be found on the conference webpage. --NSF Student Grants-- If you are a student based in the US, there is an opportunity to receive funding for attending the conference. Please fill out this form here (www.docs.google.com/forms/d/e/1FAIpQLSeTH5Ucw2UzERPh-Cjh8XtS-JHX1AswJWJ8CGlGEoPUIjpGKw/viewform) no later than September 17. --Keynote Speakers-- - Meghyn Bienvenu (LaBRI - CNRS and University of Bordeaux, France) - Subbarao Kambhampati (Arizona State University, USA) - Sheila McIlraith (University of Toronto, Canada) and Murray Shanahan (Imperial College London, UK) - Nina Narodytska (VMware Research by Broadcom, USA) --Special Tracks-- - KR in the Wild - Reasoning, Learning and Decision-Making - Recently Published Research - Video Track --Special Sessions-- - Demonstration Session - Diversity and Inclusion - Doctoral Consortium --Workshops-- - 5th Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2024) - 1st International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2024) - International Workshop on Logical Aspects in Multi-Agent Systems and Strategic Reasoning (LAMAS and SR 2024) - 1st Workshop on Symbolic and Neuro-Symbolic Architectures for Intelligent Robotics Technology (SYNERGY) - Joint Workshop on Knowledge Diversity and Cognitive Aspects of KR (KoDis/CAKR 2024) --Tutorials-- - An introduction to approximation fixpoint theory - Argumentation and Machine Learning - Fundamental Problems in Statistical Relational AI - Formal Aspects of Strategic Reasoning in Multi-Agent Systems - Iterated Belief Change - Large Language Models are Human-like Annotators - Probing Machine Learning Models in Angluin's Style --Co-Located Events-- NMR 2024 (23rd International Workshop on Non-Monotonic Reasoning) --Conference Chairs-- - General Chair: Pierre Marquis (University Artois, CNRS, CRIL - Institut Universitaire de France, France) - Program Chairs: Magdalena Ortiz (TU Wien, Austria) and Maurice Pagnucco (The University of New South Wales (UNSW), Australia) - Demonstration Session Chair: Mario Alviano (University of Calabria, Italy) - Diversity and Inclusion Session Chairs: Shqiponja Ahmetaj (TU Wien, Austria), Daxin Liu (The University of Edinburgh, UK), Renata Wassermann (Universidade de São Paulo, Brasil) - Doctoral Consortium Chairs: Camille Bourgaux (CNRS, ENS, Paris, France), Johannes P. Wallner (TU Graz, Austria) - Funding and Scholarship Chairs: Gianluca Cima (Sapienza University of Rome, Italy), Zeynep Saribatur (TU Wien, Austria) - KR in the Wild Track Chairs: Matti Järvisalo (University of Helsinki, Finland), Birte Glimm (University of Ulm, Germany) - Local Arrangement Chairs: Long Tran-Thanh (University of Warwick, UK), Thanh Van Dinh (East Asia University of Technology, Vietnam), Van Dao Hong (East Asia University of Technology, Vietnam), Tran Cao Son (New Mexico State University, USA), Phi Le Nguyen (Hanoi University of Science and Technology, Vietnam) - Publicity Chairs: Yazmin Angelica Ibañez-Garcia (Cardiff University, UK), Stavros Vassos (Helvia.ai) - Reasoning, Learning and Decision-Making Track Chairs: Jean Christoph Jung (Dortmund University, Germany), Sebastijan Dumančić (Delft University, The Netherlands), Masoumeh Mansouri (University of Birmingham, UK) - Recently Published Research Track Chairs: Yongmei Liu (Sun Yat-sen University, China), Mantas Šimkus (TU Wien, Austria) - Tutorial & Workshop Chairs: Elena Botoeva (University of Kent, UK), Abhaya Nayak (Macquarie University, Australia) - Video Track Chairs: Nico Potyka (University of Cardiff, UK), Anni-Yasmin Turhan (Paderborn University, Germany) - Web Master: Tobias Geibinger (TU Wien, Austria) - Workflow Chairs: Sanja Lukumbuzya (TU Wien, Austria), Anthony Tompkins (The University of New South Wales (UNSW), Australia) --- KR Inc., not for profit Scientific Foundation, , Massachusetts, USA , , Manage preferences (https://hs-5228907.s.hubspotstarter.net/preferences/en/manage?data=W2nXS-N30h-McW3dpTYv3MbGV9W41PzgQ49yNjFW2-np-P2KThKCW3drWMy2-c9dFW2zPZC53jqJY1W3yL3j71ShD8yW1XpmMb1QxMCKW47VVzX2zMyNbW1LnnZW4kdHq2W3d3VZ31Qnp6cW3DXqJw36y7X3W2HQh2M1BhljLW4pkCn_1StbfqW2KpM3n2z-BkKW3C9n7r45Qpb3W3NT5Gs2vPd26W3QFdN14tz8j4W3gg-pJ2HQHz3W49rwGZ3LQssMW3DSJnW4r44GGW38vTL_23f2GBW2YrwZH2YHLHJW38yhKh2FLfpQW1Q46XK1Qd1NyW21qwD24mB96nW3XGHHh2Tz7m8W3bcbHD2KZl2wW43Jr9M1Nly2fW4hH9Qm2qWt4vW4k8zht3_pzD_W2WF3sp36fj5NW1XxXsM3yNyL2W2CqRnF4fh8trW2TRfXy1SsN4fW3LSyh5212SG_W2Whmr71S8Yl8W2HW_by2y2zrkW3XsytQ20YGFNW329xXh4tyMrVW36wp1025cFPNW30sfZV1Z8JSNW41XcCk1SvSVLW2MFs6H4cRx-xW1X6ncj230H6HW32CWcl30lvFBW1_qK7D36xht1f2xKb_504&_hsenc=p2ANqtz-_AIK7IdwdGzmA_wSINpBNVTOeJ5XVAVpZZh7EvYHgho1-d--egg-xJcZxo3H7o9hPwxFyUYpKT2-a1_qU0BvhOq7Dwwv_f1wNQAOIqiqmQxW1NefQ&_hsmi=325192772 ) |
From: <ge...@cs...> - 2024-09-09 12:50:40
|
-------------------------------------------------------------------------- CADE-30 Call for Colocated Events The 30th International Conference on Automated Deduction (CADE-30) is soliciting proposals for satellite events such as workshops, tutorials and competitions. Researchers are invited to submit proposals on any topic related to automated deduction, from theoretical foundations to tools and applications. The satellite events will take place following the main conference on Friday and Saturday, August 1st and 2nd, 2025. Proposals can have up to three pages and should consist of the following. Directly in the easychair form: - the name of your event - the abstract - a brief description (up to 120 words) of the event for the website and publicity material. - contact information for the workshop organizers; A PDF file including: - a short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant); - an estimate of the number of expected participants; - a proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.) - potential invited speakers; - the procedure for selecting papers and participants; - a tentative schedule for paper submission and notification of acceptance; - plans (and needs) for remote participation; - plans for dissemination, if any (e.g. a journal special issue); - duration (which may vary from one day to two days); - any other special requirements. The organizers of satellite events are expected to create and maintain a website for the event; handle paper selection, reviewing and acceptance; draw up a tentative program of talks; advertise their event through specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; plan for remote participation (if applicable); and arrange post-proceedings if any. The CADE organizing committee will handle promotion of the event on the main conference website; easychair setup for the event as conference track; integration of the event's program into the overall timetable; registration of participants; arrangement of an appropriate meeting room; and basic catering. Important Dates Submission of satellite event proposals: November 11th, 2024 Notification of success of proposals: November 25th, 2024 Main conference: July 28th - July 31st, 2025 Workshop dates: August 1st - August 2nd, 2025 Proposals should be submitted via easychair at: https://easychair.org/conferences/?conf=cade30 in the "Co-located Event Proposals" track. -------------------------------------------------------------------------- |
From: Vineet R. <vin...@gm...> - 2024-09-04 10:52:32
|
** Apologies if you have received multile copies ** Hi all, I have a fully funded postdoc position to work on the type-theoretic verification of probabilistic programs. The project will involve working with graded modal types, reasoning about quantitative properties of higher-order probabilistic programs, building logical relations/categorical models, mechanisation using an interactive theorem prover and showing applications to theoretical machine learning. The selected candidate will join the PLAS group at the University of Kent and will directly work with Vineet Rajani (https://vineetrajani.github.io/) and Dominic Orchard (https://dorchard.github.io/). I would like to fill this position ASAP, with expected start in early/mid October 2024. Please do not hesitate to get in touch for any formal or informal queries. If you are interested in this position, please send an email with your CV (containing list of publications) to Vineet Rajani (V.R...@ke...). Cheers, Vineet Rajani |
From: Petra v. d. B. <p.v...@ut...> - 2024-09-02 13:35:06
|
FINAL CALL FOR PAPERS Eleventh International Conference on Fundamentals of Software Engineering 2025 - Theory and Practice (FSEN '25) https://conf.researchr.org/home/fsen-2025 <https://conf.researchr.org/home/fsen-2025> Västerås, Sweden 7,8 April 2025 ###################################################################### -- About FSEN -- Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Västerås, Sweden, April 7-8, 2025. -- Important Dates -- Abstract Submission: October 7, 2024 (AoE) Paper Submission: October 14, 2024 (AoE) Notification: December 2, 2024 Final Camera-ready Submission: January 13, 2025 (AoE) Conference: April 7-8, 2025 -- Keynote Speakers (confirmed) -- Işıl Dillig, University of Texas at Austin Alexander Serebrenik, Eindhoven University of Technology Marielle Stoelinga, University of Twente and Radboud University, Nijmegen -- Topics of Interest -- The topics of this conference include, but are not restricted to, the following: * Models of programs and software systems * Software specification, validation, and verification * Software testing * Software architectures and their description languages * Object, actor and multi-agent systems * Coordination, feature interaction and software product lines * Integration of formal and informal methods * Integration of different formal methods * Component-based and service-oriented software systems * Collective, self-adaptive and cyber-physical software systems * Model checking and theorem proving * Quantitative formal methods * Software and hardware verification * CASE tools and tool integration * Industrial applications -- Paper Submission -- Authors are invited to submit full papers (up to 15 pages including references) describing original research, applications and tools; or short papers (up to 6 pages including references) describing ongoing research or new ideas that have not yet been fully validated. Both categories of papers must be submitted electronically in PDF using the online submission process via the Easychair conference system at the following link: https://www.easychair.org/conferences/?conf=fsen2025 <https://www.easychair.org/conferences/?conf=fsen2025>. Contributions must be written in English, should be formatted according to the Springer LNCS style (LaTeX2e Proceedings Templates) that can be found at the following link (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines <http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines>) and not exceed the page limit for the category (including figures and references). Each submission will be thoroughly reviewed by at least three reviewers considering scientific originality, significance, relevance to the FSEN conference, technical soundness, clarity, self-containedness and discussion of appropriate related work. The reviewers will be asked to rate the submissions and evaluate whether they can be accepted as: 1) Full paper for the LNCS proceedings 2) Short paper for the LNCS proceedings 3) Poster (not included in the proceedings) Papers accepted in the first 2 categories will be invited for presentation at the conference. Posters will be illustrated by the authors in separate poster sessions. Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere (cf. IFIP's Author Code of Conduct, see http://www.ifip.org/ <http://www.ifip.org/> under Publications/Links). -- Proceedings and Special Issue -- The post-proceedings of FSEN'25 will be published by Springer in the LNCS series. Following the tradition of FSEN, we plan to have a special issue of the Science of Computer Programming journal devoted to FSEN'25. After the conference a selection of papers will be invited for this special issue. The invited papers should be revised and extended and will undergo a new round of review by an international program committee. Please see the websites of previous editions of FSEN for more information on post-proceedings and special issues related to those editions. -- General Chairs -- Marjan Sirjani, Malardalen University, Sweden Robbert Jongeling, Malardalen University, Sweden Antonio Cicchetti, Malardalen University, Sweden -- Program Chairs -- Georgiana Caltais - University of Twente, Netherlands Hossein Hojjat - Tehran Institute for Advanced Studies, Iran -- Publicity Chair -- Petra van den Bos, University of Twente, The Netherlands -- Steering Committee -- Farhad Arbab - CWI, the Netherlands; Leiden University, the Netherlands Christel Baier - University of Dresden, Germany Mieke Massink, CNR-ISTI Pisa, Italy Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Mälardalen University, Sweden; Reykjavik University, Iceland (Chair) Carolyn Talcott - SRI International, USA Martin Wirsing - LMU Munich, Germany -- Program Committee -- See website: https://conf.researchr.org/home/fsen-2025 <https://conf.researchr.org/home/fsen-2025> |
From: <giu...@un...> - 2024-08-28 09:03:54
|
> > [Apologies in case of multiple posting] > > > CALL FOR PARTICIPATION > -------------------------------------------------------------------------------------------- > > 17th International Conference on > Logic Programming and Non-monotonic Reasoning > LPNMR 2024 > > https://lpnmr2024.demacs.unical.it > lpn...@ea... > > Dallas, Texas, USA > October 11-14, 2024 > > ----------------------------------------------------------------------------------------------- > > AIMS AND SCOPE > > LPNMR 2024 is the seventeenth in the series of international meetings > on logic programming and non-monotonic reasoning. LPNMR is a forum > for exchanging ideas on declarative logic programming, non-monotonic > reasoning, and knowledge representation. The aim of the conference is > to facilitate interactions between researchers and practitioners > interested in the design and implementation of logic-based programming > languages and database systems, and those working in knowledge > representation and non-monotonic reasoning. LPNMR strives to encompass > theoretical and experimental studies that have led or will lead to > advances in declarative programming and knowledge representation, as > well as their use in practical applications. A Doctoral Consortium > will also be a part of the program. > > LPNMR 2024 aims to bring together researchers from LPNMR core areas and > application areas of the aforementioned kind in order to share research experiences, > promote collaboration and identify directions for joint future research. > > LPNMR 2024 is co-located with ICLP 2024. > > REGISTRATION > Early registration deadline is September 12th, 2024. For more information, visit: > https://www.iclp24.utdallas.edu/registration/ > > We remind that at least one author of each accepted paper must early register > in order to have the paper included in the proceedings. > > A discounted fee is available for participants attending both LPNMR and ICLP. > > PROGRAM > Accepted papers are available at: > https://lpnmr2024.demacs.unical.it/programme/accepted-papers > > A tentative schedule is available at: > https://lpnmr2024.demacs.unical.it/programme/schedule > > INVITED SPEAKERS > > October 12, Veronica Dahl > October 13, Torsten Schaub > October 14, Moshe Vardi > > ASSOCIATED EVENTS > > - 5th International Workshop on the Resurgence of Datalog in Academia and Industry > (DATALOG 2.0) > - ICLP/LPNMR Doctoral Consortium 2024 > > VENUE > > LPNMR 2024 will be held on the campus of the University of Texas at Dallas in October 2024. Dallas, part of the Dallas/Fort-Worth metroplex, is a dynamic city with great tourist attractions. Renowned for its unique blend of modernity and rich cultural heritage, Dallas offers an array of attractions for visitors: from diverse range of museums, such as the Dallas Museum of Art and the Perot Museum of Nature and Science, to the Fort Worth Stockyards that feature the Cattle Drive (twice daily). Dallas boasts a thriving culinary scene, from sizzling steakhouses to trendy food trucks, to authentic Tex-Mex cuisine. With a wealth of entertainment options, including shopping districts, live music venues, and sports events, a visit to Dallas is a memorable experience. > > The conference will be held as an in-person event. > > GENERAL CHAIR > > Gopal Gupta, The University of Texas at Dallas > > > PROGRAM CHAIRS > > Carmine Dodaro, University of Calabria, Italy > M. Vanina Martinez, IIIA-CSIC, Spain > > > PUBLICITY CHAIR > > Giuseppe Mazzotta, University of Calabria, Italy > > > WORKSHOPS CHAIR > > Gerardo Simari, Universidad Nacional del Sur, Argentina > > > DOCTORAL CONSORTIUM CHAIR > > Francesco Fabiano, New Mexico State University > Martin Gebser, University of Klagenfurt, Austria > > PROGRAM COMMITTEE > > Mario Alviano, University of Calabria > Marcello Balduccini, Saint Joseph's University > Pedro Cabalar, University of Corunna > Francesco Calimeri, University of Calabria > Vicent Costa, IIIA-CSIC > Stefania Costantini, Università dell'Aquila > Marina De Vos, University of Bath > Esra Erdem, Sabanci University > Wolfgang Faber, Alpen-Adria-Universität Klagenfurt > Johannes K. Fichte, Linköping University > Gerhard Friedrich, Alpen-Adria-Universität Klagenfurt > Sarah Alice Gaggl, TU Dresden > Martin Gebser, Alpen-Adria-Universität Klagenfurt > Daniela Inclezan, Miami University > Tomi Janhunen, Tampere University > Matthias Knorr, Universidade NOVA de Lisboa > Joao Leite, Universidade NOVA de Lisboa > Vladimir Lifschitz, The University of Texas at Austin > Marco Maratea, University of Genova > Giuseppe Mazzotta, University of Calabria > Enrico Pontelli, New Mexico State University > Francesco Ricca, University of Calabria > Orkunt Sabuncu, Potassco Solutions Turkey > Chiaki Sakama, Wakayama University > Torsten Schaub, University of Potsdam > Guillermo R. Simari, Universidad del Sur in Bahia Blanca > Theresa Swift, Universidade Nova de Lisboa > Alice Tarzariol, Alpen-Adria-Universität Klagenfurt > Daniele Theseider Dupre, Università del Piemonte Orientale > Matthias Thimm, Fern Universität in Hagen > Hans Tompits, TU Wien > Mirek Truszczynski, University of Kentucky > Johannes P. Wallner, TU Graz > Kewen Wang, Griffith University > Stefan Woltran, TU Wien > Jia-Huai You, University of Alberta > Jessica Zangari, University of Calabria > -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria <https://www.unical.it/5x1000> |
From: Mattias U. <ul...@ki...> - 2024-08-24 08:43:15
|
Apologies if you receive multiple copies of this CFP. Please, pass it on to interested colleagues. --------------------------------------------------------------------------------------------------------------------------- PhD Symposium iFM 2024 - Final Call for Papers (Extended Deadline) 19th International Conference on integrated Formal Methods 12 November 2024, Manchester, United Kingdom https://ifm2024.cs.manchester.ac.uk/phd-symposium.html --------------------------------------------------------------------------------------------------------------------------- IMPORTANT DATES Paper submission (EXTENDED): 30 Aug 2024 (AoE) Author notification: 22 Sep 2024 (AoE) Camera-ready: 7 Oct 2024 (AoE) Early registration: until 19 Oct 2024 Symposium date: 12 Nov 2024 OBJECTIVE AND SCOPE The iFM PhD symposium provides PhD students an opportunity to present and discuss their research in the fields of theory, implementation, integration or application of formal methods. WHO CAN SUBMIT? PhD students and young researchers at an early career stage (up to 2 years after PhD completion). WHY TO SUBMIT AND PARTICIPATE? Participants will have the possibility to present their research projects. Moreover: The doctoral symposium offers an excellent opportunity to introduce your work to fellow researchers in an international setting, and to get feedback from senior researchers in the field. The doctoral symposium lets you exchange knowledge and experiences with fellow PhD-students in a related topic -- both regarding research and regarding working towards an PhD. WHAT TO SUBMIT? There are several options for your submission: 1 _Thesis Proposal Abstracts_ summarize your research questions and outline your planned approach without needing to report experimental results. They are ideal for early-stage PhD students to get feedback on their research project during the initial planing and orientation phase. Abstracts have 2-3 pages, co-authors are allowed, and results may have been published previously if appropriately referenced. Indicate if also submitted to iFM2024. 2 _Result Reports_ are short papers summarizing preliminary results of early-stage research. Result Reports are short papers summarizing preliminary results of early-stage research. They should objectively report the addressed question, applied methods, and obtained results. Papers on unexpected results or ineffective methods are particularly welcome. Result Reports have 3-6 pages, co-authors are allowed, the work must be previously unpublished. 3 _Master summaries_ are short papers summarizing the research question, method, and results of your impactful Master's thesis together with a discussion about possible next research steps. They are ideal for new and future PhD students to communicate their thesis results. Master reports have 2-3 pages, an experienced supervisor should be a co-author, and results may have been published previously if appropriately referenced. Indicate if also submitted to iFM2024. All submissions will be reviewed and accepted papers will be made publicly available in open-access online symposium proceedings. SUBMISSION GUIDELINES Multiple submissions by one author are not permitted. Submissions must be written in English and follow the CEUR-WS single-column formatting guidelines, available at: http://ceur-ws.org/Vol-XXX/CEURART.zip or on overleaf https://www.overleaf.com/latex/templates/template-for-submissions-to-ceur-workshop-proceedings-ceur-ws-dot-org/wqyfdgftmcfw Please submit your contribution electronically in PDF via the EasyChair page: https://easychair.org/conferences/?conf=ifm2024phd All submissions will be peer reviewed, and will be evaluated based on their clarity and their potential to generate interesting discussions. Authors will get valuable feedback from more experienced reviewers. All types of contributions will benefit from feedback received during a dicussion at the workshop. Reviewing will be single blind, i.e, submissions need not be anonymized. PROGRAMME COMMITTEE Erika Abraham, RWTH Aachen, Germany Ștefan Ciobâcă, UAIC Iași, Romania Mădălina Eraşcu, West University of Timisoara, Romania (co‑chair) Grigory Fedyukovich, Floria State University, USA Asmae Heydari Tabar, Karlsruhe Institute of Technology, Germany Eduard Kamburjan, University of Oslo, Norway Banjamin Lucien Kaminski, Saarland University and University College London, UK Gergely Kovásznai, Eszterházy Károly University Egar, Hungary Ondrej Lengal, Brno University of Technology, Czech Republic Luigia Petre, Åbo Akademi University, Finland Philipp Rümmer, University of Regensburg, Germany Nestan Tsiskaridze, Stanford University, USA Mattias Ulbrich, Karlsruhe Institute of Technology, Germany (co‑chair) FURTHER INFORMATION available on the web pages: https://ifm2024.cs.manchester.ac.uk/phd-symposium.html https://easychair.org/cfp/ifm2024phd |
From: Wijs, A. <A.J...@tu...> - 2024-08-23 21:47:25
|
40th Annual ACM/SIGAPP Symposium on Applied Computing Software Verification and Testing Track Sicily, Italy, March 31 - April 4, 2025 Submission deadline : September, 20, 2024 SAC 2025 website: https://www.sigapp.org/sac/sac2025/ SAC-SVT 2025 website: https://sac-svt.github.io/sac-svt-2025/ ==== Important dates ==== Sep 20, 2024 - Deadline submission of regular papers and SRC research abstracts Oct 30, 2024 - Paper notification Nov 29, 2024 - Camera-ready and author registration Mar 31 - Apr 4, 2025 - ACM Symposium on Applied Computing ==== ACM Symposium on Applied Computing ==== The ACM Symposium on Applied Computing (SAC) has gathered scientists from different areas of computing over the last thirty years. The forum gives participants an opportunity to interact with different communities sharing an interest in applied computing. SAC 2025 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP), and will take place on March 31 - Apr 4, 2025, Sicily, Italy. ==== Software Verification and Testing Track (SVT) ==== The Software Verification and Testing track aims to contribute to the challenge of improving the usability of formal methods in software engineering. The track covers areas such as formal methods for verification and testing, based on theorem proving, model checking, static analysis, and run-time verification. We invite authors to submit new results in formal verification and testing, as well as development of technologies to improve the usability of formal methods in software engineering. We also welcome detailed descriptions of applications of mechanical verification to large scale software. ==== Topics ==== Possible topics include, but are not limited to: * model checking * theorem proving * correct by construction development * model-based testing * software testing * symbolic execution * static and dynamic analysis * abstract interpretation * analysis methods for dependable systems * software certification and proof carrying code * fault diagnosis and debugging * verification and validation of large scale software systems * real-world applications and case studies applying software testing and verification * benchmarks and data sets for software testing and verification ==== Submission Guidelines ==== Paper submissions must report on original, unpublished work. Submitted papers will undergo a double-blind review process. Author(s) name(s) and address(es) must not appear in the body of the paper, and self-reference should be avoided and made in the third person. We welcome research papers and posters. Research papers should have at most 8 two-column pages in ACM format (further two pages, to a total of 10 pages, may be available at a charge). The length of a poster is limited to 2 pages (one extra page may be available at a charge). Please comply to this page limit already at submission time. Furthermore, in the context of the Student Research Competition (SRC) program to provide graduate students the opportunity to meet and exchange ideas with researchers and practitioners in their areas of interest, graduate students are invited to submit research abstracts (single author, maximum of 3 pages in ACM camera-ready format) following the instructions published at the SAC 2025 website. Submission of the same abstract to multiple tracks is not allowed. Accepted papers will be published in the ACM SAC 2025 proceedings in the ACM digital library. Paper registration is required, allowing the inclusion of the paper/poster in the conference proceedings. An author or a proxy attending SAC MUST present the paper. This is a requirement for the paper/poster to be included in the ACM digital library. No-show of registered papers and posters will result in excluding them from the ACM digital library. The submission system for regular papers: https://easychair.org/my/conference?conf=sac-2025 The submission system for SRC (Student Research Competition) abstracts: https://easychair.org/my/conference?conf=sacsrc-2025 ==== Track Chairs ==== Justyna Petke, University College London, United Kingdom Anton Wijs, Eindhoven University of Technology, Netherlands |
From: Moshe V. <va...@cs...> - 2024-08-23 18:03:23
|
As you may know, the Indian Conference on Logic and its Applications (ICLA) is a biennial international conference conducted by the Association for Logic in India (ALI; https://logicindia.org). The conference spans a wide range of themes in logic as pursued in Mathematics, Philosophy and Computer Science. Here are the links to the previous two editions of ICLA: https://icla2023.iiti.ac.in/ (ICLA '23) and https://www.isichennai.res.in/~sujata/icla2021/ (ICLA '21). The forthcoming ICLA 2025 is the 11th edition of the conference which will take place at the Indian Statistical Institute Kolkata during Feb 3 -- 5, 2025. We have included various special features in the conference this time, and have also broadened the set of submission topics to include many new themes in all three disciplines of math, philosophy, and CS. Please find below the links to the ICLA webpage and its EasyChair CFP page. ICLA 2025 webpage: https://logicindia.org/icla/icla2025 EasyChair CFP page: https://easychair.org/cfp/icla2025 |
From: nicolas t. <nic...@in...> - 2024-08-21 06:30:40
|
Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for their work. CPP spans areas of computer science, mathematics, logic, and education. CPP 2025 (https://popl25.sigplan.org/home/CPP-2025) will be held on 20-21 January 2025 and will be co-located with POPL 2025 in Denver, USA. CPP 2025 is sponsored by ACM SIGPLAN, in cooperation with ACM SIGLOG. CPP 2025 will welcome contributions from all members of the community. The CPP 2025 organizers will strive to enable both in-person and remote participation, in cooperation with the POPL 2025 organizers. IMPORTANT DATES * Abstract Submission Deadline: 10 September 2024 at 23:59 AoE (UTC-12h) * Paper Submission Deadline: 17 September 2024 at 23:59 AoE (UTC-12h) * Notification (tentative): 19 November 2024 * Camera Ready Deadline (tentative): Mid December 2024 (TBA) * Conference: 20-21 January 2025 Deadlines expire at the end of the day, anywhere on earth. Abstract and submission deadlines are strict and there will be no extensions. DISTINGUISHED PAPER AWARDS Around 10% of the accepted papers at CPP 2025 will be designated as Distinguished Papers. This award highlights papers that the CPP program committee thinks should be read by a broad audience due to their relevance, originality, significance and clarity. TOPICS OF INTEREST We welcome submissions in research areas related to formal certification of programs and proofs. The following is a non-exhaustive list of topics of interest to CPP: * certified or certifying programming, compilation, linking, OS kernels, runtime systems, security monitors, and hardware; * certified mathematical libraries and mathematical theorems; * proof assistants (e.g, ACL2, Agda, Coq, Dafny, F*, HOL4, HOL Light, Idris, Isabelle, Lean, Mizar, Nuprl, PVS, etc); * new languages and tools for certified programming; * program analysis, program verification, and program synthesis; * program logics, type systems, and semantics for certified code; * logics for certifying concurrent and distributed systems; * mechanized metatheory, formalized programming language semantics, and logical frameworks; * higher-order logics, dependent type theory, proof theory, logical systems, separation logics, and logics for security; * verification of correctness and security properties; * certificates for decision procedures, including linear algebra, polynomial systems, SAT, SMT, and unification in algebras of interest; * certificates for semi-decision procedures, including equality, first-order logic, and higher-order unification; * certificates for program termination; * formal models of computation; * mechanized (un)decidability and computational complexity proofs; * formally certified methods for induction and coinduction; * integration of interactive and automated provers; * logical foundations of proof assistants; * applications of AI and machine learning to formal verification; * user interfaces for proof assistants and theorem provers; * teaching mathematics and computer science with proof assistants. Submissions will be reviewed based on the following criteria: Thoroughly discuss the theory or design choices underpinning the formalization. Provide a detailed explanation of the formalization decisions, including alternative approaches and reasons for rejecting them. Examine related literature on formalization choices and techniques. Compare the design choices to those made in other libraries. Offer feedback on the features of the computer proof assistant used, noting any that are missing. Draw conclusions that can guide future formalization efforts in the same or other proof assistants. SUBMISSION GUIDELINES Prior to the paper submission deadline, the authors should upload their anonymized paper in PDF format through the HotCRP system at https://cpp2025.hotcrp.com <https://cpp2025.hotcrp.com/> The submissions must be written in English and provide sufficient detail to allow the program committee to assess the merits of the contribution. They must be formatted following the ACM SIGPLAN Proceedings format using the acmart style with the sigplan option, which provides a two-column style, using 10 point font for the main text, and a header for double blind review submission, i.e., \documentclass[sigplan,10pt,anonymous,review]{acmart}\settopmatter{printfolios=true,printccs=false,printacmref=false} The submitted papers should not exceed 12 pages, including tables and figures, but excluding bibliography and clearly marked appendices. The papers should be self-contained without the appendices. Shorter papers are welcome and will be given equal consideration. Submissions not conforming to the requirements concerning format and maximum length may be rejected without further consideration. CPP 2025 will employ a lightweight double-blind reviewing process following the process from previous years. To facilitate this, the submissions must adhere to two rules: (1) author names and institutions must be omitted, and (2) references to authors’ own related work should be in the third person (e.g., not "We build on our previous work ..." but rather "We build on the work of ..."). The purpose of this process is to help the PC and external reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing it more difficult. In particular, important background references should not be omitted or anonymized. In addition, authors are free to disseminate their ideas or draft versions of their papers as usual. For example, authors may post drafts of their papers on the web or give talks on their research ideas. Note that POPL 2025 itself will employ full double-blind reviewing, which differs from the light-weight CPP process. This FAQ from previous SIGPLAN conference addresses many common concerns: https://popl20.sigplan.org/track/POPL-2020-Research-Papers#Submission-and-Reviewing-FAQ We strongly encourage the authors to provide any supplementary material that supports the claims made in the paper, such as proof scripts or experimental data. This material must be uploaded at submission time, as an archive, not via a URL. Two forms of supplementary material may be submitted: (1) Anonymous supplementary material is made available to the reviewers before they submit their first-draft reviews. (2) Non-anonymous supplementary material is made available to the reviewers after they have submitted their first-draft reviews and have learned the identity of the authors. Please use anonymous supplementary material whenever possible, so that it can be taken into account from the beginning of the reviewing process. The submitted papers must adhere to the SIGPLAN Republication Policy (https://www.sigplan.org/Resources/Policies/Republication/) and the ACM Policy on Plagiarism (https://www.acm.org/publications/policies/plagiarism). Concurrent submissions to other conferences, journals, workshops with proceedings, or similar forums of publication are not allowed. The PC chairs should be informed of closely related work submitted to a conference or journal in advance of submission. One author of each accepted paper is expected to present it at the (possibly virtual) conference. PUBLICATION, COPYRIGHT AND OPEN ACCESS The CPP 2025 proceedings will be published by the ACM, and authors of accepted papers will be required to choose one of the following publication options: (1) Author retains copyright of the work and grants ACM a non-exclusive permission-to-publish license and, optionally, licenses the work under a Creative Commons license. (2) Author retains copyright of the work and grants ACM an exclusive permission-to-publish license. (3) Author transfers copyright of the work to ACM. For authors who can afford it, we recommend option (1), which will make the paper Gold Open Access, and also encourage such authors to license their work under the CC-BY license. ACM will charge you an article processing fee for this option (currently, US$700), which you have to pay directly with the ACM. You don’t need to pay this fee if the corresponding author’s affiliating institution is part of ACM OPEN (https://libraries.acm.org/subscriptions-access/open-participants). For everyone else, we recommend option (2), which is free and allows you to achieve Green Open Access, by uploading a preprint of your paper to a repository that guarantees permanent archival such as arXiv or HAL. This is anyway a good idea for timely dissemination even if you chose option 1. The official CPP 2025 proceedings will also be available via SIGPLAN OpenTOC (http://www.sigplan.org/OpenTOC/#cpp). For ACM’s take on this, see their Copyright Policy (http://www.acm.org/publications/policies/copyright-policy) and Author Rights (http://authors.acm.org/main.html). Sandrine Blazy, University of Rennes (co-chair) Nicolas Tabareau, Inria (co-chair) ORGANIZERS Kathrin Stark, Heriot-Watt University (conference co-chair) Amin Timany, Aarhus University (conference co-chair) Sandrine Blazy, University of Rennes (PC co-chair) Nicolas Tabareau, Inria (PC co-chair) CONTACT For any questions please contact the two PC chairs: Sandrine Blazy <san...@ir... <mailto:san...@ir...>> Nicolas Tabareau <nic...@in... <mailto:nic...@in...>> |
From: <giu...@un...> - 2024-08-02 15:27:33
|
> > [Apologies if you receive multiple copies of this email. Please distribute to interested parties.] > > > --------------------------------------------------------------------------- > > CALL FOR PAPERS > DEADLINE EXTENSION > > 5th International Workshop on > the Resurgence of Datalog in Academia and Industry > > Datalog 2.0 2024 > > https://tinyurl.com/datalog2-24 > > October 11-14, 2024, Dallas, Texas, USA > > > Workshop of LPNMR 2024 > > --------------------------------------------------------------------------- > > > AIMS AND SCOPE > > Datalog 2.0 is a workshop for Datalog researchers, implementors, and users. Its aim is to bring together researchers and practitioners interested in different aspects of Datalog to share research experiences, promote collaboration and identify directions for joint future research. > > The 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2024) will be held in Dallas, Texas, USA October 11-14, 2024. Datalog 2.0 is a workshop of the 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024). > > The first edition of Datalog 2.0 was held in Oxford, UK, in 2010, and it was by invitation only. Since Datalog has resurrected as a lively topic with applications in many different areas of computer science, as well as industry, the second, third, and fourth edition of the workshop, which were held in Vienna in 2012, Philadelphia in 2019, and Genova in 2022, respectively, were open for submissions. > > > > TOPICS > > Authors are invited to submit papers presenting original and unpublished research on the foundational aspects of Datalog, as well as on its applications in other areas of computer science and in industry. Potential areas of application of Datalog may include (among others): > > data management, data mining, knowledge representation and reasoning, cloud computing, distributed computing, logic programming, privacy and security, probabilistic reasoning, program analysis, programming languages, semantic web, social networks, streaming, verification, web services. > > > > SUBMISSION > > A selection of accepted long papers will be invited for rapid publication in the journal of Theory and Practice of Logic Programming (TPLP). > > > Datalog 2.0 2024 welcomes two types of submissions > > * Long papers of up to 12 pages, presenting original research > * Short papers of up to 5 pages that may contain either original ongoing research > or recently published results > > in the following categories > > * Technical papers > * System descriptions > * Application descriptions > > The indicated number of pages includes title page and references. All submissions will be peer-reviewed. Accepted papers will be submitted for publication in the CEUR Workshop proceedings (http://ceur-ws.org). Authors can opt-out if desired. At least one author of each accepted paper must attend the workshop to present the work. Submissions must be written in English, using the most recent CEURART style (https://ceur-ws.org/HOWTOSUBMIT.html#CEURART). > > Paper submission is enabled via the Datalog 2.0 2022 OpenReview site: https://openreview.net/group?id=LPNMR/2024/Workshop/Datalog_2.0 > > > > > FURTHER INFORMATION > > WWW: https://tinyurl.com/datalog2-24 > > Email: mailto:mar...@un... > > > > IMPORTANT DATES > > Paper registration: August 13 > > Paper submission: August 15 > > Notification: September 5 > > Final versions due: September 24 > > > > VENUE > > The workshop will be co-located with the 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR) at the University of Texas at Dallas. > > Dallas, part of the Dallas/Fort Worth metroplex, is a vibrant city brimming with top-notch tourist attractions. Celebrated for its unique mix of modernity and rich cultural heritage, Dallas offers a variety of attractions for visitors. These range from diverse museums, such as the Dallas Museum of Art and the Perot Museum of Nature and Science, to the Fort Worth Stockyards, which showcase the daily Cattle Drive.The city is renowned for its dynamic culinary scene, featuring everything from sizzling steakhouses and trendy food trucks to authentic Tex-Mex cuisine.With abundant entertainment options, including shopping districts, live music venues, and sports events, a visit to Dallas promises an unforgettable experience. > > > PROGRAM CHAIRS > > Mario Alviano, University of Calabria, Italy > > Matthias Lanzinger, TU Wien, Austria > > > > PUBLICITY CHAIR > > Giuseppe Mazzotta, University of Calabria, Italy > > > > PROGRAM COMMITTEE > > Leopoldo Bertossi, University Adolfo Ibáñez, Chile & Skema Business School, Canada > Bart Bogaerts, Vrije Universiteit Brussel Belgium > Marco Calautti, University of Trento, Italy > Daniele Theseider Dupré, Università del Piemonte Orientale, Italy > Esra Erdem, Sabanci University, Turkey > Cristina Feier, University of Bremen, Germany > Laura Giordano, Università del Piemonte Orientale, Italy > Roman Kontchakov, Birkbeck, University of London, UK > Paraschos Koutris, University of Wisconsin-Madison, USA > Yanhong A. Liu, Stony Brook University, USA > Ondrej Lhoták, University of Waterloo, USA > Michael Morak, University of Klagenfurt, Austria > Reinhard Pichler, TU Wien, Austria > Andreas Pieris, University of Edinburgh & University of Cyprus > Mantas Simkus, TU Wien, Austria > Tran Cao Son, New Mexico State University, USA > Przemysław Andrzej Wałęgam, University of Oxford, UK > -- ------------------------------------------------------------------------------------------------------------------ Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria <https://www.unical.it/5x1000> |
From: Adnan R. <adn...@se...> - 2024-08-01 17:54:19
|
================================================================================ Call for Participation First Workshop on Women in Formal Methods (WiFM-2024) August 9, 2024 Montreal, Quebec, Canada Hybrid Mode Co-located with CICM 2024 https://cicm-conference.org/2024/cicm.php?event=wifm&menu=general ================================================================================ Meet the Women in Formal Methods (WiFM) community this year in Montréal, Canada, on Friday, August 9th at Concordia University! The goal of WiFM-2024 is to provide a dynamic and inclusive gathering that celebrates the achievements of women in formal methods in particular as well as engineering and computer science in general. We aim to empower female engineers, foster collaboration, and provide a platform for sharing cutting-edge research. This workshop brings together students, researchers, and industry professionals to explore innovative ideas, discuss challenges, and inspire one another. WiFM-2024 features a keynote talk by a women-in-engineering advocate from Microsoft and a series of presentations from academia and industry (see more details below). Registration to WiFM 2024 is FREE, so please join! Registration ----------------- Please use the following registration page (for both online and in-person participation) and choose the “Women in Formal Methods Workshop”: https://cicm-conference.org/2024/cicm.php?event=&menu=registration Accommodation ----------------------- For information about accommodation arrangement visit the web page: https://cicm-conference.org/2024/cicm.php?event=&menu=travel Workshop Program ---------------------------- The schedule of the workshop can be found at: https://cicm-conference.org/2024/cicm.php?event=&menu=program The detailed program with abstracts is accessible at: https://cicm-conference.org/2024/cicm.php?event=wifm&menu=general Speakers ---------------- * Amber Telfer (Microsoft, USA): “From Math to AI: Lessons Learned from a Formal Verification Career” (Keynote) * Katherine Kosaian (Iowa State University, USA): “Formally verifying algorithms for real quantifier elimination” * Katja Berčič (University of Ljubljana, Slovenia): “An invitation to explore mathematical data” * Oumaima Barhoumi (Concordia University, Canada): “Formal Analysis of Traffic Conflicts Severity using KeYmaera * Amira Jemaa (Concordia University, Canada): “Leveraging Formal Methods for Efficient Explainable AI” * Anna Slobodova (Intel, USA): “A Day of Formal Verification Engineer” * Polina Vinogradova (Input Output Global, Canada): “Intents on the Extended UTxO Ledger” |
From: Stavros V. <st...@he...> - 2024-08-01 11:02:45
|
DOCTORAL CONSORTIUM LAST CALL FOR APPLICATIONS KR 2024 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024 November 2 - November 8, 2024, Hanoi, Vietnam Doctoral Consortium - Last Call for Applications Deadline Extension until 4 August 2024 The 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) invites PhD students to apply for the Doctoral Consortium program. Important Dates - Applications deadline: 04 August 2024 (Sunday). - Acceptance notification: 7 August 2024 (Wednesday). - Conference: 2 - 8 November. Several scholarships will be available. Information about scholarships will be announced at a later time at the KR24 webpage. Aims and Scope The Doctoral Consortium (DC) is a student mentoring program bringing together PhD students and senior researchers from the area of KR. The aims of the consortium are: - to provide a forum for students to present their current research and receive feedback from other students and senior researchers; - to promote contacts among PhD students working in similar areas; - to support students with information and advice on academic research, and industrial careers. The DC is intended for PhD students who have a specific research proposal and some preliminary results, but who have sufficient time prior to completing their dissertation to benefit from the consortium experience. Preference will be given to students satisfying these criteria, but we also encourage students to apply who are at an earlier or more advanced stage of the completion of their thesis. Accepted students will participate in several dedicated DC events, which will likely consist of a lightning talk session and a poster and mentoring session (the precise format of the DC will be finalized closer to the conference). Each student will be given ample time to present their work and therefore be able to fully benefit from direct feedback from the assigned senior researcher mentor and the wider KR conference audience. Application Submission Applications must be submitted through the CMT conference system: cmt3.research.microsoft.com/KR2024 (www.kr.org/KR2024/) Each application must contain the following elements combined into a single PDF document: 1. Thesis summary. A description of the problem being addressed, your motivation for addressing the problem, proposed plan of research, the progress to date (what you have already achieved and what remains to be done), and related work. The maximum number of pages is four (bibliography included) and the same style as for KR paper submissions should be used (see www.kr.org/KR2024/ (www.kr.org/KR2024/) ) 2. Curriculum Vitae. A description of your background and relevant experience (research, education, employment), max imum two pages. 3. Brief letter of recommendation. A brief letter from your thesis advisor that states that they support your participation in the DC. 4. Optionally, a suggestion of some potential mentors with similar research interests, who could give good advice on technical aspects related to the work, and/or career opportunities. For inspiration who to name, you can refer to program committee members of previous KR conferences. The selection process will consider the quality of the submitted proposal and the stage of the student's PhD project. Proposals of the selected students will not be published, so doctoral students who submit to the DC are permitted to have previously published their research, and are encouraged to submit papers to KR 2024 and associated conferences and workshops. Doctoral Consortium Chairs Inquiries should be sent by email to the KR 2024 Doctoral Consortium Chairs: -Camille Bourgaux, CNRS, ENS, Paris, France (cam...@en... (mailto:cam...@en...) ) -Johannes P. Wallner, TU Graz, Austria (wa...@is... (mailto:wa...@is...) ) KR Inc., not for profit Scientific Foundation, , Massachusetts, USA , , Unsubscribe (https://hs-5228907.s.hubspotstarter.net/preferences/en/unsubscribe?data=W2nXS-N30h-RHW2Kp0Fy3VWpjjW49JzxF3D_bsWW3bcJrS1XqdsjW4fcqjD4kN1zpW3H8bnX4tnF0SW3F5V1H3dvTrRW2w5f6b21pDTjW2-m-683T4dRvW1NnD2F34yjQcW3XwnJp2Ymjt-W34Bp-43QTPwNW1NFjq_1LCvtwW3ZJzrk2sR3vLW1Xh7N947MMrNW2H-qD31BGMWxW43ZzL61ZbPhGW21ccLd3Vz5cDW3VY6-D2HRY3vW3Hdh942Rmvf1W4mJ47Y1Z6C39W2vYX5r32KdxjW4htMTZ34yP8-W1BDGQD34HSVwW3H64Vb1BcCjSW4kry1Z4fry7WW2-rk6G1_4MpfW3_VPxL1S8xRFW4thdFD2-CsJ9W3BJx944rGKKJW41rWZC4mCtCfW2t50kj4crjTGW4pmJ_b2RvbS0W4rJ0JT1LvBCZW2KY_4h2PWqCcW3295bB30rr4KW1XqjHl3GQVdsW234MMg3R7LYtW45SXrN3VMvnJW41ty9K4myXBxW2CDc_r4mLVMlW1X0dQ03GSWWkW3bqVn11XhbXZW3jwd0c2ztYl5W2CFs-z2TS5dJW2-qqd_3VPzvVW3SRsf24cBG2Mf3XZXs804&_hsenc=p2ANqtz-__ONu_17mRJuOmxoZNnqrZ2cepSUNRojUM4zaU5wuQnPYRm0mA9pAptbfVBJV9sjUEA1FAqvXkC3mhTOOvqNzUOTY4YQSvdt_6JcDk-l6aJnqDfEU&_hsmi=318284381 ) Manage preferences (https://hs-5228907.s.hubspotstarter.net/preferences/en/manage?data=W2nXS-N30h-RHW2Kp0Fy3VWpjjW49JzxF3D_bsWW3bcJrS1XqdsjW4fcqjD4kN1zpW3H8bnX4tnF0SW3F5V1H3dvTrRW2w5f6b21pDTjW2-m-683T4dRvW1NnD2F34yjQcW3XwnJp2Ymjt-W34Bp-43QTPwNW1NFjq_1LCvtwW3ZJzrk2sR3vLW1Xh7N947MMrNW2H-qD31BGMWxW43ZzL61ZbPhGW21ccLd3Vz5cDW3VY6-D2HRY3vW3Hdh942Rmvf1W4mJ47Y1Z6C39W2vYX5r32KdxjW4htMTZ34yP8-W1BDGQD34HSVwW3H64Vb1BcCjSW4kry1Z4fry7WW2-rk6G1_4MpfW3_VPxL1S8xRFW4thdFD2-CsJ9W3BJx944rGKKJW41rWZC4mCtCfW2t50kj4crjTGW4pmJ_b2RvbS0W4rJ0JT1LvBCZW2KY_4h2PWqCcW3295bB30rr4KW1XqjHl3GQVdsW234MMg3R7LYtW45SXrN3VMvnJW41ty9K4myXBxW2CDc_r4mLVMlW1X0dQ03GSWWkW3bqVn11XhbXZW3jwd0c2ztYl5W2CFs-z2TS5dJW2-qqd_3VPzvVW3SRsf24cBG2Mf3XZXs804&_hsenc=p2ANqtz-__ONu_17mRJuOmxoZNnqrZ2cepSUNRojUM4zaU5wuQnPYRm0mA9pAptbfVBJV9sjUEA1FAqvXkC3mhTOOvqNzUOTY4YQSvdt_6JcDk-l6aJnqDfEU&_hsmi=318284381 ) |
From: Adnan R. <adn...@se...> - 2024-07-31 17:51:12
|
================================================================================ Call for Participation Third Workshop on Formal Verification of Physical Systems (FVPS-2024) August 5, 2024 Montreal, Quebec, Canada Hybrid Mode Co-located with CICM 2024 https://cicm-conference.org/2024/cicm.php?event=fvps&menu=general ================================================================================ Meet the FVPS community this year in Montréal, Canada, on Monday, August 5th! FVPS focuses on the use of formal methods for the modeling, analysis and verification of safety and security critical physical systems. FPVS 2024 features a keynote talk as well as invited presentations from academia and industry. We have kept the registration fees very moderate, so please join! Registration ----------------- Please use the following registration page (for both online and in-person participation): https://cicm-conference.org/2024/cicm.php?event=&menu=registration Accommodation ----------------------- For information about accommodation arrangement visit the web page: https://cicm-conference.org/2024/cicm.php?event=&menu=travel Workshop Program ---------------------------- The schedule of the workshop can be found at: https://cicm-conference.org/2024/cicm.php?event=&menu=program The detailed program with abstracts is accessible at: https://cicm-conference.org/2024/cicm.php?event=fvps&menu=general Speakers ---------------- * Kyungmin Bae (Pohang University of Science and Technology, Korea): "Formal Model Engineering of Synchronous Cyber-Physical System Designs in AADL" * Waqar Ahmad (Wind River, Canada): "The Need of the Hour: Use of Formal Methods in Automotive Cyber Physical Systems" * Kazuhisa Nakasho (Yamaguchi University, Japan): "Challenges and Opportunities in Formal Analysis of Side-Channel Attacks" * J. Tanner Slagel (NASA Langley Research Center, USA): "Formal Verification of a Merging Protocol Using a Hybrid Program Schema" -- Regards Co-Chairs FVPS 2024 |
From: cfp <cf...@ma...> - 2024-07-31 10:26:52
|
Please note the extended deadline for ASPOCP 2024 [Apologies for cross-posting] ======================================================================= *EXTENDED SUBMISSION DEADLINE* *IMPORTANT DATES* ** Abstract submission deadline:*08 August 2024* ** ** Paper submission deadline:*15 August 2024* ** ** Notification:*10 September 2024* ** ====================================================================== ==================================================================================== CALL FOR PAPERS ASPOCP2024 17th Workshop on Answer Set Programming and Other Computing Paradigms https://sites.google.com/unical.it/aspocp2024/ <https://sites.google.com/unical.it/aspocp2024/> October 12 or October 13 Affiliated with ICLP 2024, 40th International Conference on Logic Programming https://www.iclp24.utdallas.edu/ <https://www.iclp24.utdallas.edu/> October 11 - 17, 2024 ==================================================================================== AIMS AND SCOPE Since its introduction in the late 1980s, Answer Set Programming (ASP) has been widely applied to various knowledge-intensive tasks and combinatorial search problems.ASPwas found to be closely related to SAT, which led to a new method of computing answer sets using SAT solvers and techniques adapted from SAT. This has been a much studied relationship, and is currently extended towards satisfiability modulo theories (SMT). The relationship ofASPto other computing paradigms, such as constraint satisfaction, quantified Boolean formulas (QBF), Constraint Logic Programming (CLP), first-order logic (FOL), and FO(ID) is also the subject of active research. Consequently, new methods of computing answer sets are being developed based on relationships to these formalisms. Furthermore, the practical applications ofASPalso foster work on multi-paradigm problem-solving, and in particular language and solver integration. The most prominent examples in this area currently are the integration ofASPwith description logics (in the realm of the Semantic Web) and constraint satisfaction (which recently led to the Constraint Answer Set Programming (CASP) research direction). A large body of general results regardingASPis available and several efficientASPsolvers have been implemented. However, there are still significant challenges in applyingASPto real life applications, and more interest in relatingASPto other computing paradigms is emerging. This workshop will provide opportunities for researchers to identify these challenges and to exchange ideas for overcoming them. TOPICS Topics of interests include (but are not limited to): -ASPand classical logic formalisms (SAT/FOL/QBF/SMT/DL). -ASPand constraint programming. -ASPand other logic programming paradigms, e.g., FO(ID). -ASPand other nonmonotonic languages, e.g., action languages. -ASPand external means of computation. -ASPand probabilistic reasoning. -ASPand knowledge compilation. -ASPand machine learning. - New methods of computing answer sets using algorithms or systems of other paradigms. - Language extensions toASP. -ASPand multi-agent systems. -ASPand multi-context systems. - Modularity andASP. -ASPand argumentation. - Multi-paradigm problem solving involvingASP. - Evaluation and comparison ofASPto other paradigms. -ASPand related paradigms in applications. - HybridizingASPwith procedural approaches. - Enhanced grounding or beyond grounding. SUBMISSIONS The workshop invites two types of submissions: - original papers describing original research. - non-original paper already published on formal proceedings or journals. Original papers must not exceed 13 pages (excluding references) and must be formatted using the 1-column CEURART style availablehere <https://drive.google.com/file/d/15jC34VXDf8GUMMpobnvaAaX0R4RSQ18v/view?usp=share_link>. A ready-to-clone overleaf project containing a 1-column CEURART style is availablehere <https://www.overleaf.com/read/cqxqwrgjccwk#deb4a7>. Authors are requested to clearly specify whether their submission is original or not with a footnote on the first page. Authors are invited to submit their manuscripts in PDF via the EasyChair system at the link:https://easychair.org/my/conference?conf=aspocp2024 <https://easychair.org/my/conference?conf=aspocp2024>. IMPORTANT DATES Abstract submission deadline: 08 August 2024 Paper submission deadline: 15 August 2024 Notification: 10 September 2024 PROCEEDINGS Authors of all accepted original contributions can opt to publish their work in formal proceedings. Accepted non-original contributions will be given visibility on the conference web site including a link to the original publication, if already published. A selection of extended and revised versions of accepted papers could appear in a special issue. Extended versions of accepted non-original contributions, if not published in a journal yet, might be included in the issue. WORKSHOP CO-CHAIRS Francesco Pacenza, Department of Mathematics and Computer Science, University of Calabria, Italy Zeynep G. Saribatur, Institute of Logic and Computation, TU Wien, Austria PROGRAM COMMITTEE Mario Alviano, University of Calabria Marcello Balduccini, Saint Joseph's University Pedro Cabalar, University of Corunna Francesco Cauteruccio, University of Salerno Stefania Costantini, University of L'Aquila Carmine Dodaro, University of Calabria Stefan Ellmauthaler, TU Dresden Esra Erdem, Sabanci University Wolfgang Faber, University of Klagenfurt Cristina Feier Johannes K. Fichte, Linköping University Martin Gebser, University of Klagenfurt Tobias Geibinger, TU Wien Markus Hecher, Massachusetts Institute of Technology Giovambattista Ianni, University of Calabria Daniela Inclezan, Miami University Tomi Janhunen, Tampere University Vladimir Lifschitz, The University of Texas at Austin Marco Maratea, University of Calabria Tran Cao Son, New Mexico State University Alice Tarzariol, University of Klagenfurt Johannes P. Wallner, TU Graz Stefan Woltran, TU Wien Jia-Huai You, University of Alberta Jessica Zangari, University of Calabria |
From: Petra v. d. B. <p.v...@ut...> - 2024-07-29 11:03:50
|
SECOND CALL FOR PAPERS Eleventh International Conference on Fundamentals of Software Engineering 2025 - Theory and Practice (FSEN '25) https://conf.researchr.org/home/fsen-2025 <https://conf.researchr.org/home/fsen-2025> Västerås, Sweden 7,8 April 2025 ###################################################################### -- About FSEN -- Fundamentals of Software Engineering (FSEN) is an international conference that aims to bring together researchers, engineers, developers, and practitioners from academia and industry to present and discuss their research work in the area of formal methods for software engineering. Additionally, this conference seeks to facilitate the transfer of experience, adaptation of methods, and where possible, foster collaboration among different groups. The topics of interest cover all aspects of formal methods, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. Following the success of the previous FSEN editions, the next edition of the FSEN conference will take place in Västerås, Sweden, April 7-8, 2025. -- Important Dates -- Abstract Submission: October 7, 2024 (AoE) Paper Submission: October 14, 2024 (AoE) Notification: December 2, 2024 Final Camera-ready Submission: January 13, 2025 (AoE) Conference: April 7-8, 2025 -- Keynote Speakers (confirmed) -- Işıl Dillig, University of Texas at Austin Alexander Serebrenik, Eindhoven University of Technology Marielle Stoelinga, University of Twente and Radboud University, Nijmegen -- Topics of Interest -- The topics of this conference include, but are not restricted to, the following: * Models of programs and software systems * Software specification, validation, and verification * Software testing * Software architectures and their description languages * Object, actor and multi-agent systems * Coordination, feature interaction and software product lines * Integration of formal and informal methods * Integration of different formal methods * Component-based and service-oriented software systems * Collective, self-adaptive and cyber-physical software systems * Model checking and theorem proving * Quantitative formal methods * Software and hardware verification * CASE tools and tool integration * Industrial applications -- Paper Submission -- Authors are invited to submit full papers (up to 15 pages including references) describing original research, applications and tools; or short papers (up to 6 pages including references) describing ongoing research or new ideas that have not yet been fully validated. Both categories of papers must be submitted electronically in PDF using the online submission process via the Easychair conference system at the following link: https://www.easychair.org/conferences/?conf=fsen2025 <https://www.easychair.org/conferences/?conf=fsen2025>. Contributions must be written in English, should be formatted according to the Springer LNCS style (LaTeX2e Proceedings Templates) that can be found at the following link (http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines <http://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines>) and not exceed the page limit for the category (including figures and references). Each submission will be thoroughly reviewed by at least three reviewers considering scientific originality, significance, relevance to the FSEN conference, technical soundness, clarity, self-containedness and discussion of appropriate related work. The reviewers will be asked to rate the submissions and evaluate whether they can be accepted as: 1) Full paper for the LNCS proceedings 2) Short paper for the LNCS proceedings 3) Poster (not included in the proceedings) Papers accepted in the first 2 categories will be invited for presentation at the conference. Posters will be illustrated by the authors in separate poster sessions. Submissions are required to report on original, unpublished work and should not be submitted simultaneously for publication elsewhere (cf. IFIP's Author Code of Conduct, see http://www.ifip.org/ <http://www.ifip.org/> under Publications/Links). -- Proceedings and Special Issue -- The post-proceedings of FSEN'25 will be published by Springer in the LNCS series. Following the tradition of FSEN, we plan to have a special issue of the Science of Computer Programming journal devoted to FSEN'25. After the conference a selection of papers will be invited for this special issue. The invited papers should be revised and extended and will undergo a new round of review by an international program committee. Please see the websites of previous editions of FSEN for more information on post-proceedings and special issues related to those editions. -- General Chair -- Marjan Sirjani, Malardalen University, Sweden -- Program Chairs -- Georgiana Caltais - University of Twente, Netherlands Hossein Hojjat - Tehran Institute for Advanced Studies, Iran -- Publicity Chair -- Petra van den Bos, University of Twente, The Netherlands -- Steering Committee -- Farhad Arbab - CWI, the Netherlands; Leiden University, the Netherlands Christel Baier - University of Dresden, Germany Mieke Massink, CNR-ISTI Pisa, Italy Ali Movaghar - IPM, Iran; Sharif University of Technology, Iran Hamid Sarbazi-azad - IPM, Iran; Sharif University of Technology, Iran Marjan Sirjani - Mälardalen University, Sweden; Reykjavik University, Iceland (Chair) Carolyn Talcott - SRI International, USA Martin Wirsing - LMU Munich, Germany -- Program Committee -- See website: https://conf.researchr.org/home/fsen-2025 <https://conf.researchr.org/home/fsen-2025> |
From: Claudio M. <cla...@un...> - 2024-07-29 08:32:03
|
*************************************************************************** JOINT CALL FOR PAPERS 28th ETAPS International Joint Conferences On Theory and Practice of Software ETAPS 2025 Hamilton, Canada, May 3-8, 2025 https://etaps.org/2025 *************************************************************************** -- ABOUT ETAPS -- ETAPS is a primary forum for academic and industrial researchers working on topics relating to software science. ETAPS, established in 1998, is a confederation of four annual conferences accompanied by satellite workshops. ETAPS 2025 is the twenty-eighth event in the series. -- Why choose ETAPS? -- * ETAPS is one of the world's leading fora for research on software science, with a history of more than 25 years. * The proceedings of ETAPS appear in gold open access, with no article processing charge for the authors specifically. * All constituent conferences provide artifact evaluation. * In addition to the conference, ETAPS also unites the software science community with activities such as a blog on software science, a PhD workshop, sessions on diversity and inclusion and an ask-me-anything session. * Poster and Tool demo sessions are organized over the week. -- What is new in 2025? -- * Two submission rounds for ESOP – see https://etaps.org/2025/esop/ * ETAPS is organized in North America for the first time! -- MAIN CONFERENCES (May 5–8, 2025) -- * ESOP: European Symposium on Programming (PC chair: Viktor Vafeiadis, MPI-SWS) * FASE: Fundamental Approaches to Software Engineering (PC chairs: Artur Boronat, University of Leicester, Gordon Fraser, University of Passau) * FoSSaCS: Foundations of Software Science and Computation Structures (PC chairs: Delia Kesner, Université Paris Cité, Parosh Abdulla, Uppsala University) * TACAS: Tools and Algorithms for the Construction and Analysis of Systems (PC chairs: Arie Gurfinkel, University of Waterloo, Marijn Heule, Carnegie Mellon University) -- INVITED SPEAKERS -- * Amal Ahmed, Northeastern University * Matt Dwyer, University of Virginia * José Meseguer, University of Illinois, Urbana-Champaign * Ina Schaefer, Karslruhe Institute of Technology * In addition, two more invited tutorial speakers will be announced later. -- IMPORTANT DATES -- * Submission deadline for ESOP, round 1: May 30, 2024, 23:59 AoE * Rebuttal for ESOP, round 1: July 23–25, 2024 * Notification for ESOP, round 1: August 8, 2024 * Submission deadline for ESOP round 2: October 10, 2024, 23:59 AoE * Submission deadline for TACAS, FoSSaCS, FASE: October 10, 2024, 23:59 AoE * TACAS mandatory artifact submission deadline: October 24, 2024 * Rebuttal (ESOP, FoSSaCS, partially TACAS): December 3–5, 2024 * Paper notification and TACAS mandatory artifact notification: December 20, 2024 * ESOP, FASE, FoSSaCS artifact, TACAS voluntary artifact submission deadline: January 9, 2025 * Artifact notification ESOP, FASE, FoSSaCS, TACAS (voluntary artifacts): February 13, 2025 * Main Conference: May 5–8, 2025 -- PUBLICATION -- The proceedings will be published in the Advanced Research in Computing and Software Science (ARCoSS) subline of Springer's LNCS series. The proceedings volumes will appear in gold open access, so the published versions of all papers will be available for everyone to download from the publisher's website freely from the date of online publication, perpetually. The copyright of the papers will remain with the authors. -- AWARDS -- The strongest papers from the four conferences will be marked as distinguished papers and highlighted in the conference program. From these distinguished papers, the EAPLS, EASST, and EATCS, and the Best Tool Paper Award committees will select the best ETAPS papers. The ETAPS Test-of-Time Award will be granted, recognizing outstanding papers published at ETAPS more than ten years in the past. The ETAPS Rance Cleaveland Test-of-Time Tool Award acknowledges the importance of reliable and well-maintained research tools and the significant effort that their creation and maintenance entails. The Doctoral Dissertation Award will be granted to promote and recognize an outstanding dissertation in the research areas covered by the four main ETAPS conferences. All distinguished papers will be highlighted in the program. -- SUBMISSION INSTRUCTIONS -- The four main conferences of ETAPS 2025 solicit contributions of the following types. All page limits are given **excluding the bibliography**. * ESOP: regular research papers of max 25 pp, experience reports of max 15 pp, and fresh perspectives providing new insights on programming languages and systems of max 15 pp. For the sake of flexibility, submitted research papers may be formatted in other formats. There is no page limit at the submission time. Please refer to https://etaps.org/2025/esop for more details. * FASE: regular research papers and empirical evaluation papers of max 18 pp; new ideas and emerging results (NIER) papers of max 8 pp; tool demonstration papers and data showcase papers of max 8 pp (+ optional appendix of max 6 pp), * FoSSaCS: regular research papers of max 18 pp * TACAS: regular research papers, case study papers, and regular tool papers of max 16 pp, tool demonstration papers of max 6 pp For definitions of the different paper types and specific instructions, where they are present, see the web pages of the individual conferences. All accepted papers will appear in Springer proceedings and have presentations during the conference. A condition of submission is that, if the submission is accepted, one of the authors attends the conference to give the presentation. We plan ETAPS 2025 as an on-site conference. Submitted papers must be in English, presenting original research. They must be unpublished and not submitted for publication elsewhere. In particular, simultaneous submission of the same contribution to multiple ETAPS conferences is forbidden. Submissions must follow the formatting guidelines of Springer's LNCS (use the llncs.cls class) and be submitted electronically in pdf through the Easychair author interface of the respective conference. Submissions not adhering to the specified format and length may be rejected immediately. ESOP, FASE, and TACAS will use double-blind reviewing (in the case of TACAS, only for regular research papers). Authors are asked to omit their names and institutions; refer to prior work in the third person, just as prior work by others; not to include acknowledgments that might identify them. ESOP and FoSSaCS will use an **author rebuttal phase**. TACAS will use rebuttal for selected submissions (those in the gray zone). Artifact submission and evaluation Regular tool paper and tool demonstration paper submissions to TACAS must be accompanied by an artifact submitted shortly after the paper. The artifact will be evaluated, and the outcome will be considered in the paper's acceptance decision. For research paper and case study paper submissions, pre-paper-acceptance submission of an artifact is optional; if an artifact is submitted at this point, it will be handled as described above. Alternatively, authors of papers of these categories may submit an artifact for evaluation after the paper has been accepted. The outcome of the artifact evaluation will then not change the paper acceptance decision. ESOP, FASE, and FoSSaCS will accept artifact submissions; however, participation in it is voluntary; the artifact submission deadline is after the paper notification deadline. The outcome will not alter the paper acceptance decision. For ESOP, artifacts may be submitted with an accompanying short 5-page experience report (including a 1-page bibliography) that will appear in the conference proceedings. For specific instructions regarding artifacts, see the web pages of the individual conferences. -- SATELLITE EVENTS (May 3–4, 2025) -- Several satellite workshops and other events will take place during the weekend before the main conferences. -- CITY AND HOST INSTITUTION -- ETAPS 2025 will take place in Hamilton, Canada and is organized by McMaster University. The Faculty of Engineering at McMaster University has a reputation for innovative programs, cutting-edge research, leading faculty, and aspiring students. It has earned a strong reputation as a center for academic excellence and innovation. The Faculty has approximately 180 faculty members, along with close to 4,500 undergraduate and 1,000 graduate students. The Faculty of Engineering promotes a nurturing and inclusive environment where opportunities are made available for personal growth and professional development. McMaster University beautiful campus is at the north-west end of Hamilton on the western end of Lake Ontario, between the Niagara Escarpment, conservation lands, and the Royal Botanical Gardens. Hamilton, with a population of over 500,000, is a vibrant community with easy access to Toronto and the Niagara region. It is located at the northern tip of an ecological zone commonly called the Carolinian Forest that encompasses the southernmost portion of Ontario but occurs nowhere else in Canada. As a result, Hamilton is home to many unique species of plants and animals that only occur here because the summer climate approaches that of North and South Carolina in the United States. For further information, please refer to https://tourismhamilton.com/ -- ORGANISERS -- Claudio Menghi – University of Bergamo, Italy, and McMaster University, Canada Mark Lawford – McMaster University, Canada |