- D-CON - lists.rwth-aachen.de

Deadline Extension: CfP SEFM’23, 16 June
by Carla Ferreira 03 Jun '23

03 Jun '23

Dear Colleague, The deadline for SEFM'23 (21st Int. Conf. on Software Engineering and Formal Methods) has been extended. The new dates are: Abstract submission: 16 June 2023 (AoE) Paper submission: 23 June 2023 (AoE) Artifact submission (tool papers): 30 June 2023 (AoE) Artifact submission (regular papers): 30 June 2023 (AoE) ************************************************************************ Call for Papers - SEFM'23 21st Int. Conf. on Software Engineering and Formal Methods 8-10 November 2023 Up-to-date information: https://sefm-conference.github.io/2023/ ************************************************************************ SEFM'23 will be held at Eindhoven University of Technology, from Nov. 8 - 10, 2023, with workshops on Nov. 6 and 7. IMPORTANT DATES: Abstract submission: 16 June 2023 (AoE) Paper submission: 23 June 2023 (AoE) Notification: 18 August 2023 Camera-ready submission: 10 September 2023 Conference: 8 – 10 November 2023 OVERVIEW AND SCOPE The conference aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. The topics of interest include, but are not limited to, the following aspects of software engineering and formal methods. # Software Development Methods - Formal modelling, specification, and design - Software evolution, maintenance, re-engineering, and reuse # Design Principles - Programming languages - Domain-specific languages - Type theory - Abstraction and refinement # Software Testing, Validation, and Verification - Model checking, theorem proving, and decision procedures - Testing and runtime verification - Statistical and probabilistic analysis - Synthesis - Performance estimation and analysis of other non-functional properties - Other light-weight and scalable formal methods # Security and Safety - Security, privacy, and trust - Safety-critical, fault-tolerant, and secure systems - Software certification # Applications and Technology Transfer - Service-oriented and cloud computing systems, Internet of Things - Component, object, multi-agent, and self-adaptive systems - Real-time, hybrid, and cyber-physical systems - Intelligent systems and machine learning - HCI, interactive systems, and human error analysis - Education # Case studies, best practices, and experience reports PAPER SUBMISSION We solicit two categories of papers: Regular papers describing original research results, case studies, or surveys, should not exceed 16 pages (excluding bibliography of at most two pages). Tool papers that describe an operational tool and its contributions should not exceed 8 pages (including bibliography of at most one page). Papers must be formatted according to the guidelines for Springer LNCS papers (see http://www.springer.com/lncs). Submission site: https://easychair.org/conferences/?conf=sefm2023. ARTEFACT EVALUATION This edition of SEFM introduces an artefact evaluation (AE). An artefact contains any necessary material to support the claims made in the paper and ideally makes the results fully reproducible. Submission of an artefact is optional for regular papers and mandatory for tool papers. The artefacts will be judged by the Artefact Evaluation Committee (AEC). Artefacts can be submitted up-to one week after the paper submission deadline. PUBLICATION All accepted papers will appear in the proceedings of the conference that will be published as a volume in Springer's LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to special issues of the journal "Software and Systems Modeling" (SoSyM). PROGRAMME COMMITTEE Mario Bravetti, University of Bologna Julien Brunel, ONERA Radu Calinescu, University of York Taolue Chen, Birkbeck, University of London Rance Cleaveland, University of Maryland Loek Cleophas, TU Eindhoven and Stellenbosch University Alcino Cunha, University of Minho Carla Ferreira, Universidade NOVA de Lisboa (co-chair) Adrian Francalanza, University of Malta Hubert Garavel, INRIA Silvia Ghilezan, University of Novi Sad, Mathematical Institute SASA Christian Johansen, Norwegian University of Science and Technology Daniela Kaufmann, TU Wien Zhiming Liu, Southwest University Burcu Kulahcioglu Ozkan, Delft University of Technology Marjan Mernik, University of Maribor Charles Morisset, Newcastle University Stephan Merz, Inria Nancy Rocco De Nicola, IMT - School for Advanced Studies Lucca Peter Ölveczky, University of Oslo Jovanka Pantovic, University of Novi Sad, Faculty of Technical Sciences Gwen Salaün, Université Grenoble Alpes Augusto Sampaio, Federal university of Pernambuco Marjan Sirjani, Malardalen University Ana Sokolova, University of Salzburg Pierre-Yves Schobbens, University of Namur Bernardo Toninho, Universidade Nova de Lisboa and NOVA-LINCS Rolando Trujillo, Universitat Rovira i Virgili (URV) Tim Willemse, Eindhoven University of Technology (co-chair) ************************************************************************ Best wishes, Carla Ferreira Department of Computer Science, NOVA University Lisbon, Portugal Tim Willemse Department of Computer Science & Mathematics Eindhoven University of Technology, The Netherlands

1 0

SEFM 2023: Call for Papers
by Willemse, Tim 06 May '23

06 May '23

Dear Colleague, ************************************************************************ Call for Papers - SEFM'23 21st Int. Conf. on Software Engineering and Formal Methods 8-10 November 2023 Up-to-date information: https://sefm-conference.github.io/2023/ ************************************************************************ SEFM'23 will be held at Eindhoven University of Technology, from Nov. 8 - 10, 2023, with workshops on Nov. 6 and 7. IMPORTANT DATES: Abstract submission: 2 June 2023 (AoE) Paper submission: 9 June 2023 (AoE) Notification: 18 August 2023 Camera-ready submission: 10 September 2023 Conference: 8 – 10 November 2023 OVERVIEW AND SCOPE The conference aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. The topics of interest include, but are not limited to, the following aspects of software engineering and formal methods. # Software Development Methods - Formal modelling, specification, and design - Software evolution, maintenance, re-engineering, and reuse # Design Principles - Programming languages - Domain-specific languages - Type theory - Abstraction and refinement # Software Testing, Validation, and Verification - Model checking, theorem proving, and decision procedures - Testing and runtime verification - Statistical and probabilistic analysis - Synthesis - Performance estimation and analysis of other non-functional properties - Other light-weight and scalable formal methods # Security and Safety - Security, privacy, and trust - Safety-critical, fault-tolerant, and secure systems - Software certification # Applications and Technology Transfer - Service-oriented and cloud computing systems, Internet of Things - Component, object, multi-agent, and self-adaptive systems - Real-time, hybrid, and cyber-physical systems - Intelligent systems and machine learning - HCI, interactive systems, and human error analysis - Education # Case studies, best practices, and experience reports PAPER SUBMISSION We solicit two categories of papers: Regular papers describing original research results, case studies, or surveys, should not exceed 16 pages (excluding bibliography of at most two pages). Tool papers that describe an operational tool and its contributions should not exceed 8 pages (including bibliography of at most one page). Papers must be formatted according to the guidelines for Springer LNCS papers (see http://www.springer.com/lncs). Submission site: https://easychair.org/conferences/?conf=sefm2023. ARTEFACT EVALUATION This edition of SEFM introduces an artefact evaluation (AE). An artefact contains any necessary material to support the claims made in the paper and ideally makes the results fully reproducible. Submission of an artefact is optional for regular papers and mandatory for tool papers. The artefacts will be judged by the Artefact Evaluation Committee (AEC). Artefacts can be submitted up-to one week after the paper submission deadline. PUBLICATION All accepted papers will appear in the proceedings of the conference that will be published as a volume in Springer's LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to special issues of the journal "Software and Systems Modeling" (SoSyM). PROGRAMME COMMITTEE Mario Bravetti, University of Bologna Julien Brunel, ONERA Radu Calinescu, University of York Taolue Chen, Birkbeck, University of London Rance Cleaveland, University of Maryland Loek Cleophas, TU Eindhoven and Stellenbosch University Alcino Cunha, University of Minho Carla Ferreira, Universidade NOVA de Lisboa (co-chair) Adrian Francalanza, University of Malta Hubert Garavel, INRIA Silvia Ghilezan, University of Novi Sad, Mathematical Institute SASA Christian Johansen, Norwegian University of Science and Technology Daniela Kaufmann, TU Wien Zhiming Liu, Southwest University Burcu Kulahcioglu Ozkan, Delft University of Technology Marjan Mernik, University of Maribor Charles Morisset, Newcastle University Stephan Merz, Inria Nancy Rocco De Nicola, IMT - School for Advanced Studies Lucca Peter Ölveczky, University of Oslo Jovanka Pantovic, University of Novi Sad, Faculty of Technical Sciences Gwen Salaün, Université Grenoble Alpes Augusto Sampaio, Federal university of Pernambuco Marjan Sirjani, Malardalen University Ana Sokolova, University of Salzburg Pierre-Yves Schobbens, University of Namur Bernardo Toninho, Universidade Nova de Lisboa and NOVA-LINCS Rolando Trujillo, Universitat Rovira i Virgili (URV) Tim Willemse, Eindhoven University of Technology (co-chair) ************************************************************************ Best wishes, Carla Ferreira Department of Computer Science, NOVA University Lisbon, Portugal Tim Willemse Department of Computer Science & Mathematics, Eindhoven University of Technology, The Netherlands -- T.A.C. Willemse (T.A.C.Willemse(a)TUe.nl<mailto:T.A.C.Willemse@TUe.nl>) Chair Formal System Analysis Department of Mathematics and Computer Science Eindhoven University of Technology +31 40 2472999 (voice) http://www.win.tue.nl/~timw http://orcid.org/0000-0003-3049-7962 --

1 0

SEFM 2023: First Call for Papers
by Willemse, Tim 05 Apr '23

05 Apr '23

************************************************************************ Call for Papers - SEFM'23 21st Int. Conf. on Software Engineering and Formal Methods 8-10 November 2023 Up-to-date information: https://sefm-conference.github.io/2023/ ************************************************************************ SEFM'23 will be held at Eindhoven University of Technology, from Nov. 8 - 10, 2023, with workshops on Nov. 6 and 7. IMPORTANT DATES: Abstract submission: 2 June 2023 (AoE) Paper submission: 9 June 2023 (AoE) Notification: 18 August 2023 Camera-ready submission: 10 September 2023 Conference: 8 – 10 November 2023 OVERVIEW AND SCOPE The conference aims to bring together researchers and practitioners from academia, industry and government, to advance the state of the art in formal methods, to facilitate their uptake in the software industry, and to encourage their integration within practical software engineering methods and tools. The topics of interest include, but are not limited to, the following aspects of software engineering and formal methods. # Software Development Methods - Formal modelling, specification, and design - Software evolution, maintenance, re-engineering, and reuse # Design Principles - Programming languages - Domain-specific languages - Type theory - Abstraction and refinement # Software Testing, Validation, and Verification - Model checking, theorem proving, and decision procedures - Testing and runtime verification - Statistical and probabilistic analysis - Synthesis - Performance estimation and analysis of other non-functional properties - Other light-weight and scalable formal methods # Security and Safety - Security, privacy, and trust - Safety-critical, fault-tolerant, and secure systems - Software certification # Applications and Technology Transfer - Service-oriented and cloud computing systems, Internet of Things - Component, object, multi-agent, and self-adaptive systems - Real-time, hybrid, and cyber-physical systems - Intelligent systems and machine learning - HCI, interactive systems, and human error analysis - Education # Case studies, best practices, and experience reports PAPER SUBMISSION We solicit two categories of papers: Regular papers describing original research results, case studies, or surveys, should not exceed 16 pages (excluding bibliography of at most two pages). Tool papers that describe an operational tool and its contributions should not exceed 8 pages (including bibliography of at most one page). Papers must be formatted according to the guidelines for Springer LNCS papers (see http://www.springer.com/lncs). Submission site: https://easychair.org/conferences/?conf=sefm2023. ARTEFACT EVALUATION This edition of SEFM introduces an artefact evaluation (AE). An artefact contains any necessary material to support the claims made in the paper and ideally makes the results fully reproducible. Submission of an artefact is optional for regular papers and mandatory for tool papers. The artefacts will be judged by the Artefact Evaluation Committee (AEC). PUBLICATION All accepted papers will appear in the proceedings of the conference that will be published as a volume in Springer's LNCS series. The authors of a selected subset of accepted papers will be invited to submit extended versions of their papers to special issues of the journal "Software and Systems Modeling" (SoSyM). ************************************************************************ Carla Ferreira Department of Computer Science, NOVA University Lisbon, Portugal Tim Willemse Department of Computer Science & Mathematics, Eindhoven University of Technology, The Netherlands -- T.A.C. Willemse (T.A.C.Willemse(a)TUe.nl<mailto:T.A.C.Willemse@TUe.nl>) Chair Formal System Analysis Department of Mathematics and Computer Science Eindhoven University of Technology +31 40 2472999 (voice) http://www.win.tue.nl/~timw http://orcid.org/0000-0003-3049-7962 --

1 0

CALL FOR PARTICIPATION: MARKTOBERDORF SUMMER SCHOOL 2023
by Javier Esparza 03 Apr '23

03 Apr '23

*********************************** DEADLINE FOR APPLICATIONS: APRIL 15 *********************************** CALL FOR PARTICIPATION MARKTOBERDORF SUMMER SCHOOL 2023 ON SAFETY AND SECURITY THROUGH FORMAL VERIFICATION August 2-11 2023 https://events.model.in.tum.de/mod23 * The Marktoberdorf Summer School is an 11-day event for young computer scientists and mathematicians, typically doctoral and post-doctoral researchers. It provides mini-courses on state-of-the-art topics in "Safety and Security through Formal Verification" and leaves ample room for interaction between participants and speakers. * Apply online at https://events.model.in.tum.de/mod23/participation.shtml Deadline: April 15 * Speakers and Courses: PAROSH AZIZ ABDULLA: Algorithmic Verification of Infinite-State Systems JASMIN BLANCHETTE: Provers and Solvers BYRON COOK: Cloud Reasoning JAVIER ESPARZA: Interactve Proof Systems: From Theory to Practice JAN KRETINSKY: Learning-Aided Probabilistic Verification and Synthesis ANCA MUSCHOLL Distributed Synthesis and Control ALEKSANDAR NANEVSKI: Type and Proof Structures for Concurrent Programs CORINA PASAREANU: Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security GRIGORE ROSU: Automated Synthesis of Temporal-Logic Specifications JAMES WORRELL: Orbit Problems for Dynamical Systems HONGSEOK YANG: Probabilistic Programming -- Prof. Javier Esparza Faculty of Computer Science Technical University of Munich Boltzmannstr. 3, 85748 Garching

1 0

Programme D-Con 2023
by Kirstin Peters 20 Feb '23

20 Feb '23

Dear D-Con Participants, the programme is now online (https://fm2023.isp.uni-luebeck.de/index.php/co-located-events/#dcon). We are happy to announce two invited Speakers. Heike Wehrheim will tell us something about view-based semantics and logics for weak memory models and Klaus von Gleissenthall something about the verification of security across hardware and software. @Speakers: In order to avoid parallel sessions the schedule is relatively tight. Besides the slots for invited talks, there are 30min Slots that capture a talk of 20min and 10min for questions and 50min Slots that capture a talk of 40min and 10min for questions. @Business Meeting: At the end of Thursday there is a 30min Slot for our Business Meeting. Since this is rather little time, we would like to collect topics for the Business Meeting beforehand. Please send all suggestions to kirstin.peters(a)uni-a.de. Thank you. Best wishes, Kirstin Peters

1 0

D-Con Dinners
by Kirstin Peters 10 Feb '23

10 Feb '23

Dear Participants of D-Con, as usual we would like to organiser two informal dinners: on Wednesday March 08 and on Thursday March 09. To organise these dinners, i.e., to make a reservation, we need the rough number of people attending. Could you please send me (kirstin.peters(a)uni-a.de) a short mail with how many of you are planning to join us for dinner on Wednesday and how many of your are planning to join us for dinner on Thursday. Thank you very much. Best wishes, Kirstin

1 0

Marktoberdorf Summer School 2023
by Javier Esparza 31 Jan '23

31 Jan '23

***************************************************** CALL FOR PARTICIPATION MARKTOBERDORF SUMMER SCHOOL 2023 ON SAFETY AND SECURITY THROUGH FORMAL VERIFICATION August 2-11 2023 https://events.model.in.tum.de/mod23 * The Marktoberdorf Summer School is an 11-day event for young computer scientists and mathematicians, typically doctoral and post-doctoral researchers. It provides mini-courses on state-of-the-art topics in "Safety and Security through Formal Verification" and leaves ample room for interaction between participants and speakers. * Registration opens on February 9, 2023. Register online at https://events.model.in.tum.de/mod23/participation.shtml Deadline: April 15 * Speakers and Courses: PAROSH AZIZ ABDULLA: Algorithmic Verification of Infinite-State Systems JASMIN BLANCHETTE: Solvers and Provers BYRON COOK: Cloud Reasoning JAVIER ESPARZA: Interactve Proof Systems: From Theory to Practice JAN KRETINSKY: Learning-Aided Probabilistic Verification and Synthesis ANCA MUSCHOLL Distributed Synthesis and Control ALEKSANDAR NANEVSKI: Type and Proof Structures for Concurrent Programs CORINA PASAREANU: Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security GRIGORE ROSU: Automated Synthesis of Temporal-Logic Specifications JAMES WORRELL: Orbit Problems for Dynamical Systems HONGSEOK YANG: Probabilistic Programming ******************************************************* -- Prof. Javier Esparza Faculty of Computer Science Technical University of Munich Boltzmannstr. 3, 85748 Garching

1 0

D-Con 2023 Call for Contributions
by Kirstin Peters 23 Jan '23

23 Jan '23

Dear all, it is time to register your presentations at D-Con 2023. Following the example of Duisburg we will offer different formats to choose from. If you would like to give a talk, please send your *name*, a *title*, a short *abstract*, the intended length of the talk that is either *10min, 20 min, or 45min*, and please indicate a category, *regular or tutorial or lightning talk*, that best describes your presentation. Please send this information *by February 12* to Sören van der Wall (s.van-der-wall(a)tu-bs.de). We are looking forward to an interesting programme at D-Con 2023 in Lübeck. Best wishes, Kirstin and Roland

1 0

Early Registration Until Feb 1 2023
by Kirstin Peters 23 Jan '23

23 Jan '23

Dear all, this is a friendly reminder. The early registration deadline for D-Con is February 1, 2023. Please register via https://fm2023.isp.uni-luebeck.de/index.php/registration/ A call for contributions will follow. We are looking forward to see you at Lübeck. Best wishes, Kirstin and Roland

1 0

PhD Position in Theory
by Kirstin Peters 09 Jan '23

09 Jan '23

Hallo, ich habe eine offene Stelle in Augsburg zu besetzten und würde mich freuen, wenn die Stellenausschreibung https://www.uni-augsburg.de/de/fakultaet/fai/informatik/prof/swtti/forschun… an alle Interessenten verbreitet werden könnte. Vielen lieben Dank. Beste Grüße, Kirstin Peters --------------------------------------------------------------------------------------------------------------------------- Hi, I have an open position in Augsburg. Please send the advertisement https://www.uni-augsburg.de/en/fakultaet/fai/informatik/prof/swtti/forschun… to all interested persons. Thank you very much. Best wishes, Kirstin Peters

1 0