FORMATS 2022: call for papers with deadline extension
- Abstract submission deadline extended to: 4 May 2022
- Paper submission deadline extended to: 6 May 2022
20th International Conference on Formal Modeling and Analysis of Timed Systems
https://conferences.ncl.ac.uk/formats2022/
12-17 September 2022, Warsaw, Poland
co-located with CONCUR, FMICS and QEST as part of CONFEST 2022
SCOPE & TOPICS
FORMATS (International Conference on Formal Modeling and Analysis of Timed Systems) is an annual conference which aims to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in the modelling, design and analysis of timed computational systems. The conference aims to attract researchers interested in real-time issues in hardware design, performance analysis, real-time software, scheduling, semantics and verification of real-timed, hybrid and probabilistic systems.
Typical topics include (but are not limited to):
• Foundations and Semantics: Theoretical foundations of timed systems, languages and models (e.g., timed automata, timed Petri nets, hybrid automata, timed process algebra, max-plus algebra, probabilistic models).
• Methods and Tools: Techniques, algorithms, data structures, and software tools for analyzing timed systems and resolving temporal constraints (e.g., scheduling, worst-case execution time analysis,optimization, model checking, testing, constraint solving).
• Applications: Adaptation and specialization of timing technology in application domains in which timing plays an important role (e.g., real-time software, hardware circuits, scheduling in manufacturing and telecommunication, robotics).
New for this year, FORMATS will incorporate a special track on:
• Learning-based and data-driven systems: We particularly encourage papers that exploit synergies between the formal analysis of timed systems and data-driven techniques (such as reinforcement learning or deep learning), or which target application domains where learning is important (such as robotics or autonomous systems).
In 2022, FORMATS celebrates its 20th anniversary and we plan to commemorate this with a special session at the conference.
INVITED SPEAKERS
FORMATS 2022 will feature two invited speakers:
• Thao Dang (CNRS & VERIMAG, Université Grenoble-Alpes)
• Joël Ouaknine (Max Planck Institute for Software Systems)
PAPER SUBMISSION
FORMATS 2022 solicits high-quality papers reporting research results, experience reports and/or tools related to the topics mentioned above. Submitted papers must contain original, unpublished contributions, not submitted for publication elsewhere. The papers should be submitted electronically in PDF, following the Springer LNCS style guidelines. Two categories of papers are invited:
• Regular papers, which should not exceed 15 pages in length
• Short papers, which should not exceed 7 pages in length
Both page limits exclude references, which are not limited in length. If necessary, the paper may be supplemented with a clearly marked appendix, which will be reviewed at the discretion of the program committee. Each paper will undergo a thorough review process. Papers should be submitted electronically via the EasyChair online submission system: https://easychair.org/conferences/?conf=formats2022
ARTIFACT EVALUATION
This year, FORMATS is encouraging authors to submit artifacts where appropriate, for example to demonstrate how to reproduce experimental data in a research paper or to examine the usability and applicability of a software tool. Artifacts will be submitted and evaluated only for papers accepted for publication. These will be evaluated by the Artifact Evaluation Committee and those that are accepted will receive a repeatability badge to be displayed on the first page of the published version. For more details, see: https://conferences.ncl.ac.uk/formats2022/artifactevaluation/
PUBLICATION AND BEST PAPER AWARD
The proceedings of FORMATS 2022 will be published by Springer in the Lecture Notes in Computer Science series. The best paper of the conference will be awarded the Oded Maler Award in Timed Systems.
IMPORTANT DATES
• Abstract submission: 19 April 2022 *now extended to 4 May 2022*
• Paper submission: 22 April 2022 *now extended to 6 May 2022*
• Acceptance notification: 17 June 2022
• Artifact submission deadline: 24 June 2022
• Camera-ready copy deadline: 15 July 2022
• Conference: 12-17 September 2022
CONFEST 2022, which includes FORMATS 2022, is currently planned as a physical, in-person event with support for remote presence for speakers and participants. Depending on the pandemic situation, a decision whether to cancel the physical component of CONFEST or not will be made by the end of June 2022.
For any questions, feel free to contact the program chairs Sergiy Bogomolov (sergiy.bogomolov(a)ncl.ac.uk) and David Parker (d.a.parker(a)cs.bham.ac.uk).
ORGANISATION
Program Chairs
• Sergiy Bogomolov (UK)
• David Parker (UK)
Artifact Evaluation Chairs
• Akshay Rajhans (USA)
• Paolo Zuliani (UK)
Publicity Chair
• Gethin Norman (UK)
Special Track Chair
• Alessandro Abate (UK)
Program Committee
• Alessandro Abate (UK)
• Parosh Aziz Abdulla (Sweden)
• Erika Abraham (Germany)
• Bernhard Aichernig (Austria)
• Nicolas Basset (France)
• Nathalie Bertrand (France)
• Sergiy Bogomolov (co-chair, UK)
• Lei Bu (China)
• Milan Ceska (Czech Republic)
• Thao Dang (France)
• Catalin Dima (France)
• Rayna Dimitrova (Germany)
• Mirco Giacobbe (UK)
• Radu Grosu (Austria)
• Arnd Hartmanns (The Netherlands)
• Hsi-Ming Ho (UK)
• Peter Gjøl Jensen (Denmark)
• Taylor Johnson (USA)
• Sebastian Junges (Netherlands)
• Joost-Pieter Katoen (Germany)
• Sophia Knight (USA)
• Matthieu Martel (France)
• Gethin Norman (UK)
• Miroslav Pajic (USA)
• David Parker (co-chair, UK)
• Igor Potapov (UK)
• Christian Schilling (Denmark)
• Ana Sokolova (Austria)
• Sadegh Soudjani (UK)
• Stavros Tripakis (USA)
• Jana Tumova (Sweden)
• Naijun Zhan (China)
Steering Committee
• Rajeev Alur (USA)
• Eugene Asarin (France)
• Martin Fränzle (chair, Germany)
• Thomas A. Henzinger (Austria)
• Joost-Pieter Katoen (Germany)
• Kim G. Larsen (Denmark)
• Oded Maler (founding chair, France) (1957-2018)
• Pavithra Prabhakar (USA)
• Mariëlle Stoelinga (The Netherlands)
• Wang Yi (Sweden)
[Please distribute. Apologies for multiple postings]
CALL FOR PAPERS
WoLLIC 2022
28th Workshop on Logic, Language, Information and Computation
September 20 to 23, 2022
Iași, Romania
ORGANISATION
Faculty of Computer Science, Alexandru Ioan Cuza University, Romania
Centro de Informática, Universidade Federal de Pernambuco, Brazil
CALL FOR PAPERS
WoLLIC is an annual international forum on inter-disciplinary research
involving formal logic, computing and programming theory, and natural
language and reasoning. Each meeting includes invited talks and tutorials
as well as contributed papers. The twenty-eighth WoLLIC will be held at the
Faculty of Computer Science, Alexandru Ioan Cuza University, Iași, Romania,
September 20 to 23, 2022. It is scientifically sponsored by the European
Association for Computer Science Logic (EACSL), the Interest Group in Pure
and Applied Logics (IGPL), the The Association for Logic, Language and
Information (FoLLI), the Association for Symbolic Logic (ASL) (tbc), the
European Association for Theoretical Computer Science (EATCS) (tbc), and
the Sociedade Brasileira de Lógica (SBL).
ABOUT THE LOCATION
Iași https://www.uaic.ro/en/iasi-2/
PAPER SUBMISSION
Contributions are invited on all pertinent subjects, with particular
interest in cross-disciplinary topics. Typical but not exclusive areas of
interest are: foundations of computing, programming and Artificial
Intelligence (AI); novel computation models and paradigms; broad notions of
proof and belief; proof mining, type theory, effective learnability and
explainable AI; formal methods in software and hardware development;
logical approach to natural language and reasoning; logics of programs,
actions and resources; foundational aspects of information organization,
search, flow, sharing, and protection; foundations of mathematics;
philosophical logic; philosophy of language.
Proposed contributions should be in English, and consist of a scholarly
exposition accessible to the non-specialist, including motivation,
background, and comparison with related works. Articles should be written
in the LaTeX format of LNCS by Springer (see author's instructions at
http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0). They must
not exceed 12 pages, with up to 5 additional pages for references and
technical appendices. The paper's main results must not be published or
submitted for publication in refereed venues, including journals and other
scientific meetings.
It is expected that each accepted paper be presented at the meeting by one
of its authors. (At least one author is required to pay the registration
fee before granting that the paper will be published in the proceedings.)
Papers must be submitted electronically at the WoLLIC 2022 EasyChair
website https://easychair.org/conferences/?conf=wollic2022.
PROCEEDINGS
The proceedings of WoLLIC 2022, including both invited and contributed
papers, will be published in advance of the meeting as a volume in
Springer's LNCS series. In addition, abstracts will be published in the
Conference Report section of the Logic Journal of the IGPL, and selected
contributions will be published (after a new round of reviewing) as a
special post-conference WoLLIC 2022 issue of Mathematical Structures in
Computer Science (MSCS).
INVITED SPEAKERS
Anupam Das, University of Birmingham
John Horty, University of Maryland
Marie Kerjean, Université Sorbonne Paris Nord/CNRS
Dorel Lucanu, Alexandru Ioan Cuza University
Francesca Poggiolesi, Université Sorbonne/CNRS/IHPST
IMPORTANT DATES
April 30, 2022: Abstract deadline
May 7, 2022: Full paper deadline
June 15, 2022: Author notification
June 26, 2022: Final version deadline (firm)
PROGRAM COMMITTEE
Arthur Azevedo de Amorim (Boston University)
Agata Ciabattoni (Technische Universität Wien) (Co-Chair)
Diana Costa (University of Lisbon)
Denisa Diaconescu (University of Bucharest)
Hans van Ditmarsch (Open University of the Netherlands)
Rajeev Goré (The Australian National University)
Roman Kuznets (Technische Universität Wien)
João Marcos (Univ Federal do Rio Grande do Norte)
Larry Moss (Indiana University Bloomington)
Valeria de Paiva (Topos Institute and PUC-Rio)
Elaine Pimentel (University College London) (Co-Chair)
Revantha Ramanayake (University of Groningen)
Mehrnoosh Sadrzadeh (University College London)
Alexandra Silva (Cornell University)
Alex Simpson (University of Ljubljana)
Sonja Smets (University of Amsterdam)
Alwen Tiu (The Australian National University)
Leon van der Torre (University of Luxembourg)
Andrea Aler Tubella (Umeå University)
Andres Villaveces (Universidad Nacional de Colombia)
Renata Wassermann (Universidade de São Paulo)
STEERING COMMITTEE
Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel
Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de
Queiroz, Alexandra Silva, Renata Wassermann.
ADVISORY COMMITTEE
Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira
Ono, Jouko Väänänen.
ORGANISING COMMITTEE
Ștefan Ciobâcă (Alexandru Ioan Cuza Univ) (Co-Chair)
Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil)
Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair)
SCIENTIFIC SPONSORSHIP
European Association for Computer Science Logic (EACSL)
Interest Group in Pure and Applied Logics (IGPL)
The Association for Logic, Language and Information (FoLLI)
Association for Symbolic Logic (ASL) (tbc)
European Association for Theoretical Computer Science (EATCS) (tbc)
Sociedade Brasileira de Lógica (SBL)
SPECIAL SESSION: SCREENING OF MOVIES ABOUT MATHEMATICIANS
It is planned to have a special session with the exhibition of a one-hour
documentary film about a remarkable mathematician who is considered a
father of modern differential geometry. "Taking the Long View: The Life of
Shiing-shen Chern" (George Scisery, 2011) examines the life of a remarkable
mathematician whose formidable mathematical contributions were matched by
an approach and vision that helped build bridges between China and the
West. The biographical documentary follows Shiing-shen Chern (1911-2004)
through many of the most dramatic events of the 20th century, portraying a
man who dedicated his life to pure mathematics with the style of a
classical Chinese sage. (zalafilms.com)
FURTHER INFORMATION
Contact one of the Co-Chairs of the Organising Committee.
WEB PAGE
https://wollic2022.github.io/
[apologies for multiple copies]
The Thirteenth International Symposium on Games, Automata, Logics, and
Formal Verification will be held in Madrid (Spain) on September 21-23, 2022.
The aim of GandALF 2022 <https://gandalf2022.software.imdea.org/> is to
bring together researchers from academia and industry which are actively
working in the fields of Games, Automata, Logics, and Formal Verification.
The idea is to cover an ample spectrum of themes, ranging from theory to
applications, and stimulate cross-fertilization. Papers focused on formal
methods are especially welcome. Authors are invited to submit original
research or tool papers on all relevant topics in these areas. Papers
discussing new ideas that are at an early stage of development are also
welcome. The topics covered by the conference include, but are not limited
to, the following:
-
Automata Theory
-
Automated Deduction
-
Computational aspects of Game Theory
-
Concurrency and Distributed computation
-
Decision Procedures
-
Deductive, Compositional, and Abstraction Techniques for Verification
-
Finite Model Theory
-
First-order and Higher-order Logics
-
Formal Languages
-
Formal Methods for Systems Biology, Hybrid, Embedded, and Mobile Systems
-
Games and Automata for Verification
-
Game Semantics
-
Logical aspects of Computational Complexity
-
Logics of Programs
-
Modal and Temporal Logics
-
Model Checking
-
Models of Reactive and Real-Time Systems
-
Probabilistic Models (Markov Decision processes)
-
Program Analysis and Software Verification
-
Reinforcement Learning
-
Run-time Verification and Testing
-
Specification and Verification of Finite and Infinite-state Systems
-
Synthesis
Important Dates
Abstract Submission:
May 27, 2022
Paper Submission:
June 3, 2022
Notification:
July 24, 2022
Camera-ready:
August 12, 2022
Conference:
September 21-23, 2022
⚠ : submission, Notification and Camera-ready dates are AoE
<https://time.is/Anywhere_on_Earth>
Publication
The proceedings will be published by Electronic Proceedings in Theoretical
Computer Science <http://www.eptcs.org/>. Authors of the best papers will
be invited to submit a revised version of their work to a special
issue of Logical
Methods in Computer Science <https://lmcs.episciences.org/>. The previous
editions of GandALF already led to special issues of the International
Journal of Foundations of Computer Science (GandALF 2010), Theoretical
Computer Science (GandALF 2011 and 2012), Information and Computation
(GandALF 2013, 2014, 2016, 2017, 2019 and 2020), Acta Informatica (GandALF
2015) and Logical Methods in Computer Science (2021).
Submission
Submitted papers should not exceed 14 pages (excluding references and
clearly marked appendices) using EPTCS format (please use the LaTeX style
provided here <http://style.eptcs.org>, be unpublished and contain original
research. For papers reporting experimental results, authors are encouraged
to make their data available with their submission. Submissions must be in
PDF format and will be handled via the HotCRP Conference system at the
following address:
https://hotcrp.software.imdea.org/gandalf2022
Invited Speakers
-
Wojciech Czerwiński <https://www.mimuw.edu.pl/~wczerwin/>, University of
Warsaw, Poland
-
Javier Esparza <https://www7.in.tum.de/~esparza/>, Technische
Universität München, Germany
-
Dana Fisman <https://www.cs.bgu.ac.il/~dana/>, Ben-Gurion University,
Israel
-
Jerzy Marcinkowski <https://ii.uni.wroc.pl/~jma/index.phtml>, University
of Wrocław, Poland
Program Committee
Pierre Ganty★
IMDEA Software Institute
Spain
Dario Della Monica★
University of Udine
Italy
Christel Baier
TU Dresden
Germany
Suguman Bansal
University of Pennsylvania
USA
Nathalie Bertrand
Inria
France
Filippo Bonchi
University of Pisa
Italy
Laura Bozzelli
Università degli Studi di Napoli Federico II
Italy
Véronique Bruyère
University of Mons
Belgium
David de Frutos Escrig
Universidad Complutense de Madrid
Spain
Cezara Drăgoi
Informal systems
Mohamed Faouzi Atig
Uppsala University
Sweden
Adrian Francalanza
University of Malta
Malta
Orna Kupferman
The Hebrew University
Israel
Konstantinos Mamouras
Rice University
USA
Roland Meyer
TU Braunschweig
Germany
Fabio Mogavero
Università degli Studi di Napoli Federico II
Italy
Paritosh Pandya
IIT Bombay
India
Paweł Parys
University of Warsaw
Poland
Guillermo Pérez
University of Antwerp
Belgium
Pierre-Alain Reynier
LIS, Aix-Marseille University & CNRS
France
Andrea Turrini
Institute of Software, Chinese Academy of Sciences
China
Georg Zetzsche
Max Planck Institute for Software Systems (MPI-SWS)
Germany
★: co-chair
Steering Committee
Luca Aceto
Reykjavik University
Iceland
Javier Esparza
University of Munich
Germany
Salvatore La Torre
University of Salerno
Italy
Angelo Montanari
University of Udine
Italy
Mimmo Parente
University of Salerno
Italy
Jean-François Raskin
Université libre de Bruxelles
Belgium
Martin Zimmermann
Aalborg University
Denmark
CALL FOR LOCATION ICALP 2025
[Note: This is a correction of a location call recently sent]
The International Colloquium on Automata, Languages and Programming
(ICALP) is the main conference and annual meeting of the EATCS
(European Association for Theoretical Computer Science). This
international conference was launched in 1972 and covers all aspects
of theoretical computer science. ICALP comprises the main, two-track
conference over four days, plus a pre- and/or a post-workshop day.
We invite proposals for locations to host the 52nd ICALP, to be held
in the first half of July 2025. Previous and upcoming ICALP editions include:
ICALP 2024 in Tallinn (Estonia)
ICALP 2023 in Paderborn (Germany)
ICALP 2022 in Paris (France)
ICALP 2021 in Glasgow (UK), virtual
ICALP 2020 in Saarbrücken (Germany), virtual
ICALP 2019 in Patras (Greece)
The deadline for proposals is *** May 30, 2022 ***. Proposals or informal enquires
should be sent to the President of the EATCS and the SC chair (see contact
information below). Selected proposals are to be presented at the General
Assembly of the EATCS at ICALP 2022.
Proposals should address the following points:
- name(s) of the Conference Chair(s) and their host institution
- proposed location (and possibly venue)
- appropriateness of the proposed dates (including possible holidays or other events)
- travel information and estimated transportation costs
- estimated accommodation and registration costs
- conference facilities (session and plenary rooms, workshop rooms)
EATCS president: Artur Czumaj (aczumaj at acm dot org)
SC chair: Anca Muscholl (anca at labri dot fr)
==================================
ICALP 2022 - Call for Participation
==================================
The 49th International Colloquium on Automata, Languages, and Programming
(ICALP) will take place
** in Paris, France, and online on 4-8 July 2022. **
The 2022 edition has the following special features:
- The conference is hybrid.
- This will be the 50th birthday of the conference and some special events are
planned.
- The ICALP Extended Stay Support Scheme (IESSS) is here for helping the
organisation of collaborations around the conference.
ICALP is the main conference and annual meeting of the European Association for
Theoretical Computer Science (EATCS). As usual, ICALP will be preceded by a
series of workshops, which will take place on July 4.
The 2022 edition will be also the occasion to celebrate the 50th anniversary of
both EATCS and the first ICALP, which was first held in 1972 in Rocquencourt,
in the Paris area.
============= Important dates and information =============
Website: https://icalp2022.irif.fr/
Early Registration: May 11
Conference: July 4-8, 2022
Workshops: July 4
============= Registration =============
For registration, follow this link: https://icalp2022.irif.fr/?page_id=50
============= Extended Stay Support Scheme (IESS) =============
For its 49th edition, the ICALP conference offers to its attendees an Extended
Stay Support Scheme (IESSS) aiming at enhancing scientific collaborations and
diminishing the carbon footprint of scientific research activities. ICALP 2022
attendees are encouraged to combine their visit to Paris with collaborations
with local researchers.
This support scheme is primarily intended for participants travelling long
distances and must be combined with an attendance to ICALP. Upon acceptation,
research institutes involved in this mechanism will cover standard expenses
(accommodation and traveling fees, plane excluded) and will provide material
support for research activities.
See https://icalp2022.irif.fr/?page_id=50 for more information.
============= Invited Speakers =============
Albert Atserias, Universitat Politècnica de Catalunya
Constantinos Daskalakis, MIT
Leslie Ann Goldberg, Oxford University
Madhu Sudan, Harvard
Stéphan Thomassé, ENS Lyon
Santosh Vempala, Georgia Tech
============= Awards =============
During the conference, the following awards will be given:
- the EATCS award (https://eatcs.org/index.php/eatcs-award),
- the Gödel prize (https://eatcs.org/index.php/goedel-prize),
- the Presburger award (https://eatcs.org/index.php/presburger),
- the EATCS distinguished dissertation award
(https://eatcs.org/index.php/dissertation-award),
- the best papers for Track A and track B,
- the best student papers for Track A and track B.
============= Accepted papers =============
See https://icalp2022.irif.fr/?page_id=85
============= Workshops =============
See https://icalp2022.irif.fr/?page_id=46 for more information.
- Parameterized Approximation Algorithms Workshop
- Combinatorial Reconfiguration
- Recent Advances on Total Search Problems
- Algorithmic Aspects of Temporal Graphs V
- Trends in Arithmetic Theories
- Structure Meets Power 2022
- Straight-Line Programs, Word Equations and their Interplay
- Graph Width Parameters: from Structure to Algorithms
FLoC 2022 Mentoring Workshop (FLoC'22 MW)
https://www.floc2022.org/flocmentoringworkshop
1 August 2022 and 5 August 2022
Haifa, Israel
We warmly invite students to apply for travel scholarships to attend the Mentoring Workshop and FLoC. The deadline for applications is April 11th. Applications are received via the form at
https://forms.gle/QxWmYcvQCPgXRxEq6
ABOUT THE MENTORING WORKSHOP
The purpose of the FLoC 2022 Mentoring Workshop (FLoC'22 MW) is to provide mentoring and career advice to early-stage graduate students, to attract them to pursue research careers in various logic-related areas. The workshop will particularly encourage participation of women and under-represented minorities.
There will be two workshop days, one for each FLoC Conference Block, so the students can choose which one of the two they prefer to attend. The workshop program will include a number of talks and interactive sessions. The talks will give an overview of the field along with brief introductions to the varied topics highlighted at FLoC. Other talks will provide mentoring and career advice, from academia and industry.
CONFIRMED SPEAKERS
Mentoring Workshop for FLoC Conference Block 1 (Friday, August 5th, 2022)
TBA (check the website for updates!)
Mentoring Workshop for FLoC Conference Block 2 (Friday, August 5th, 2022)
* Rajeev Alur, University of Pennsylvania, USA
* Kristin Rozier, Iowa State University, USA
* Natarajan Shankar, SRI, USA
* Alexandra Silva, Cornell University, USA
CONTACT
In case of questions, please contact the Mentoring Workshop co-chairs:
Sandra Kiefer <kiefer(a)informatik.rwth-aachen.de>
Marijana Lazić <lazic(a)in.tum.de>
Caterina Urban <caterina.urban(a)inria.fr<mailto:caterina.urban@inria.fr>>
==============================
Matteo Sammartino, Lecturer
Royal Holloway University of London
Department of Computer Science
Tel.: (+44) (0) 1784 44 3690
Office: 2-07, Bedford Building
https://matteosammartino.com/
This email, its contents and any attachments are intended solely for the addressee and may contain confidential information. In certain circumstances, it may also be subject to legal privilege. Any unauthorised use, disclosure, or copying is not permitted. If you have received this email in error, please notify us and immediately and permanently delete it. Any views or opinions expressed in personal emails are solely those of the author and do not necessarily represent those of Royal Holloway, University of London. It is your responsibility to ensure that this email and any attachments are virus free.
****************************************
* STRUCTURE MEETS POWER 2022 *
* (an ICALP workshop) *
* *
* Call for Contributions *
****************************************
Workshop dates: 4 July 2022 (Paris and online)
https://www.cst.cam.ac.uk/conference/structure-meets-power-2022
Scope
-----
There is a remarkable divide in the field of logic in Computer
Science, between two distinct strands: one focusing on semantics
and compositionality (“Structure”), the other on expressiveness
and complexity (“Power”). These two fundamental aspects of our
field are studied using almost disjoint technical languages and
methods, by almost disjoint research communities.
We believe that bridging this divide is a major issue in Computer
Science, and may hold the key to fundamental advances in the
field. The aim this workshop is to attract investigators at the
boundary of the two strands, and those on either side of the
divide interested on establishing new connections.
This is an ICALP 2022 affiliated workshop.
This will be a hybrid event, however, on site
participation is highly recommended.
Important dates
---------------
Abstract submission: 20 May 2022
Author notification: 5 June 2022
Registration: 20 June 2022
Invited speakers
----------------
* Libor Barto (Charles University)
* Sandra Kiefer (RWTH Aachen University)
* Bartek Klin (University of Oxford)
Submissions
-----------
Those wishing to speak at the workshop are invited to submit an
Extended Abstract of up to three pages (including references)
describing the content of the contributed presentation.
Submissions should only have a single author -- the speaker. The
co-authors are required to be clearly indicated in the abstract
and later also in the slides.
For submissions please use the EasyChair conference system:
https://easychair.org/conferences/?conf=smp2022
We encourage talks of all levels of progress, including novel
contributions, already published results, work in progress, as
well as survey-type contributions. However, original
contributions might be considered for a subsequent special issue,
consisting of journal versions of selected extended abstracts.
Depending on the number of submissions, contributed talks will be
20-30 minutes long.
Registration
------------
TBA later
Organising and Programme Committee:
-----------------------------------
* Samson Abramsky
* Anuj Dawar
* Tomas Jakl
* Dan Marsden
===================================================================================
WADT'22 - 26th International Workshop on Algebraic Development Techniques 2022
****************** Second call for papers ******************
**** UPDATES: Deadline Extension and Invited Speakers ******
http://wadt2022.web.ua.pt
Aveiro, 28-30 June, 2022
===================================================================================
** Aims and Scope **
The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as a formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems). The workshop will provide an opportunity to present recent and ongoing work, to meet colleagues, and to discuss new ideas and future trends. In 2020 WADT features additionally two special thematic tracks: one in *Algebra for timed and hybrid systems* and another in *Algebraic approaches to quantum computation*.
** Main track **
Typical, but not exclusive topics of interest for the main track are:
- Foundations of algebraic specification
- Other approaches to formal specification, including process calculi and models of concurrent and distributed systems
- Specification languages, methods, and environments
- Semantics of conceptual modelling methods and techniques
- Integration of formal specification techniques
- Formal testing and quality assurance, validation, and verification
** Algebra for timed and hybrid systems **
Track Chair: Renato Neves (UM, PT)
The track 'Algebra for timed and hybrid systems' seeks algebraic contributions towards a better understanding of timed and hybrid systems, including their design and verification. A non-exhaustive list of topics includes:
- (co)algebraic syntax and semantics,
- observational notions of equivalence,
- equational reasoning and variants thereof,
- distributed and/or concurrent computing;
- modal and temporal logic,
- (co)algebraic verification tools,
- experience reports on the use of (co)algebraic tools.
** Algebraic approaches to quantum computation **
Track Chair: Rui Soares Barbosa (INL, PT)
This track seeks contributions on algebraic methods in the context of quantum computing, broadly understood, ranging from foundations to applications and tools. A non-exhaustive list of topics includes:
- foundational structures for quantum computing
- quantum calculi and logics
- quantum programming languages
- algebraic and categorical semantics for quantum computing
- algebraic approaches to verification of quantum programs
- rewriting and automated reasoning with applications to quantum compilation and optimisation
- tool support
- application of quantum algebra to quantum computing and beyond
** Invited Speakers **
- Radu Mardare University of Strathclyde, UK
- José Meseguer University of Illinois at Urbana-Champaign, US
- José Nuno Oliveira Universidade do Minho, PT
- Peter Selinger Dalhousie University, CA
** Workshop format and location **
WADT'22 is planned to be realised in a family-owned guesthouse with panoramic views to lagoon Pateira de Fermentelos, 20 minutes from the centre of Aveiro.
The registration fees, that includes the event registration, accommodations and meals, will be around EUR 500 for standard and EUR 300 for student participants. Instructions will be available soon at http://wadt2022.web.ua.pt.
** Submissions and Publications **
Presentations will be selected on the basis of submitted abstracts. The abstracts must be up to two pages long including references. If a longer version of the contribution is available, it can be made accessible on the web and referenced in the abstract. The abstracts have to be submitted electronically via the EasyChair link https://easychair.org/conferences/?conf=wadt2022.
WADT 2022 is organised by IFIP WG 1.03. As an IFIP event, post-proceedings will be published by Springer in the LNCS series. The deadline for the submission of full papers to be considered in this volume, to be announced during the workshop, are expected to the end of September 2022.
** Important dates **
April 15 (Extended) Contributed Abstracts
April 25 (Extended) Notifications about the contributed talks
TBA: full papers (Expected to September)
** Organisation **
* Steering Committee *
Andrea Corradini (IT)
José Fiadeiro (UK)
Rolf Hennicker (GE)
Alexander Knapp (GE)
Hans-Jörg Kreowski (GE)
Till Mossakowski (GE)
Fernando Orejas (SP)
Leila Ribeiro (BR)
Markus Roggenbach (UK)
Grigore Roșu (US)
* Program Committee *
Erika Abraham (RWTH Aachen, NL)
Luis S. Barbosa (U. Minho, PT)
Rui S. Barbosa (INL, PT) [Track Chair]
Carlos Caleiro (U. Lisboa, PT)
Andrea Corradini (U. Pisa, IT)
José Luiz Fiadeiro (U. Dundee, UK)
Ichiro Hasuo (National Institute of Informatics, JP)
Rolf Hennicker (LMU, DE)
Marieke Huisman (U. Twente, NL)
Martti Karvonen (U. Ottawa, CN)
Aleks Kissinger (U. Oxford, UK)
Alexander Knapp (U. Augsburg, DE)
Alexandre Madeira (U. Aveiro, PT) [Co-chair]
Manuel A. Martins (U. Aveiro, PT) [Co-chair]
Narciso Marti-Oliet (U. Complutense de Madrid, SP)
Dominique Mery (LORIA, FR)
Till Mossakowski (U. Magdeburg, DE)
Renato Neves (U. Minho, PT) [Track Chair]
Peter Ölveczky (U. Oslo, NR)
Fernando Orejas (U. Politècnica Catalunya, SP)
Markus Roggenbach (Swansea University, UK)
Georg Struth (U. Sheffield, UK)
Ionut Tutu (Simion Stoilow Institute of Mathematics, RO)
Benoît Valiron (Univ. Paris Saclay, FR)
Vladimir Zamdzhiev (Inria, FR)
** Contacts **
For any information, please contact us to wadt2022(a)easychair.org
[Apologies for cross/multiple postings]
Dear colleagues,
Please find below the advert for a Lecturer or Teaching fellow
position in Computing and Software Engineering:
https://hr-jobs.lancs.ac.uk/Vacancy.aspx?ref=LZ11
Kind regards,
Marco
Marco Caminati
Lecturer in Computing
Lancaster University Leipzig
Strohsack-Passage, room 604
Nikolaistraße 10
04109 Leipzig
Germany
GPS: 51.3410, 12.3782
Landline: +49 341 339 77 646
Email: m.caminati(a)lancaster.ac.uk
www.lancasterleipzig.de
CALL FOR LOCATION ICALP 2024
The International Colloquium on Automata, Languages and Programming
(ICALP) is the main conference and annual meeting of the EATCS
(European Association for Theoretical Computer Science). This
international conference was launched in 1972 and covers all aspects
of theoretical computer science. ICALP comprises the main, two-track
conference over four days, plus a pre- and/or a post-workshop day.
We invite proposals for locations to host the 51th ICALP, to be held
in the first half of July 2024. Previous (and upcoming) ICALP editions
include:
ICALP 2023 in Paderborn (Germany)
ICALP 2022 in Paris (France)
ICALP 2021 in Glasgow (UK), virtual
ICALP 2020 in Saarbrücken (Germany), virtual
ICALP 2019 in Patras (Greece)
ICALP 2018 in Prague (Czech Rep.)
The deadline for proposals is *** May 15, 2022 ***. Proposals or informal
enquires
should be sent to the President of the EATCS and the SC chair (see contact
information below). Selected proposals are to be presented at the General
Assembly of the EATCS at ICALP 2022.
Proposals should address the following points:
- name(s) of the Conference Chair(s) and their host institution
- proposed location (and possibly venue)
- appropriateness of the proposed dates (including possible holidays or
other events)
- travel information and estimated transportation costs
- estimated accommodation and registration costs
- conference facilities (session and plenary rooms, workshop rooms)
EATCS president: Artur Czumaj (aczumaj at acm dot org)
SC chair: Anca Muscholl (anca at labri dot fr)