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
Liebe D-CONler,
unten findet ihr eine vielleicht für diesen Kreis interessante Ausschreibung für eine an der Universität Oldenburg zu besetzende W2-Professur.
Viele Grüße
Markus Müller-Olm
******************************************************
Carl von Ossietzky Universität Oldenburg
Oldenburg, Germany
******************************************************
In der Fakultät II – Informatik, Wirtschafts- und Rechtswissenschaften ist im Department für Informatik zum nächstmöglichen Zeitpunkt eine
W2-Professur (m/w/d) für
Theorie korrekter Systeme
zu besetzen.
Gesucht wird eine in der theoretischen Informatik international hervorragend ausgewiesene Persönlichkeit, wobei fundierte Erfahrungen in einem oder beiden der folgenden Bereiche vorausgesetzt werden:
- Logik (z. B. quantitative Logik)
- Spiele (z. B. reaktive Spiele)
Zudem wird vorausgesetzt, dass die Person, die zukünftig die Stelle innehat, Anwendungen ihrer Forschung im Bereich der Verifikation (z. B. Verifikation von Systemen mit unendlichen Zustandsräumen, quantitative Verifikation) oder Synthese (z. B. Programmsynthese, Synthese reaktiver Systeme) vorweisen kann.
Für weitere Details siehe
https://uol.de/stellen?stelle=69258
Der Bewerbungsschluss ist am 31. Januar 2023.
******************************************************
The Department of Computing Science at the School of Computing Science, Business Administration, Economics, and Law (School II) seeks applications for a Professorship (m/f/x) in
Theory of Correct Systems
(salary scale W2) starting as soon as possible.
We are looking for a person with an outstanding international track record in theoretical computer science. Extensive research experience
in one or both of the following areas is required:
- logic (e.g., quantitative logic)
- games (e.g., reactive games)
In addition, the candidate's research is required to have applications in verification (e.g., verification of systems with infinite state spaces, quantitative verification) or synthesis (e.g., program synthesis, synthesis of reactive systems).
For more details see
https://uol.de/stellen?stelle=69259
The application deadline is 31 January 2023.
******************************************************
Liebe D-CON-Gemeinschaft,
wie in der letzten Mail angekündigt, findet die D-CON 2023
als Workshop der FM in Lübeck statt. Unsere Seite
https://fm2023.isp.uni-luebeck.de/index.php/co-located-events/#dcon
befindet sich leider noch im Aufbau, aber die Registrierung
steht schon bereit:
https://fm2023.isp.uni-luebeck.de/index.php/registration/
Mit 160€ fällt die Teilnahmegebühr zu Zeiten der Energieknappheit
nicht so niedrig aus, wie wir es uns gewünscht haben.
Dennoch bitten wir Euch um zahlreiche Registrierungen,
damit es nach der langen Zeit ein lebhaftes Wiedersehen gibt.
Wir wünschen Euch allen ein frohes Weihnachtsfest und
einen guten Start in ein gesundes und erfolgreiches Jahr 2023!
Kirstin und Roland
--
Prof. Dr. Roland Meyer
TU Braunschweig
Institut für Theoretische Informatik
Mühlenpfordtstr. 23, 346
38106 Braunschweig
Phone: +49 (0)531 391 9524
Fax: +49 (0)531 391 9529
Web: http://www.tcs.cs.tu-bs.de
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
Liebe D-CON-Gemeinschaft,
die Zeit des Wartens hat ein Ende: im nächsten Jahr
wird es wieder eine D-CON geben - und was für eine :)
Martin Leucker hat dankenswerterweise angeboten,
die D-CON als Workshop der FM
am 09. und 10. März 2023 in Lübeck
zu organisieren. Wir starten wie gehabt
mit einem informellen Abendessen am Abend zuvor.
Das Restaurant wird noch bekanntgegeben.
Als FM-Workshop können D-CON-TeilnehmerInnen
am Donnerstag auch bei FM-Vorträgen dabei sein und
umgekehrt können sich FM-TeilnehmerInnen zur D-CON gesellen.
Sofern es Eure Möglichkeiten hergeben, solltet Ihr überlegen,
Euch regulär zur FM zu registrieren und früher anzureisen.
Die Organisation wird von Seiten der Uni-Lübeck übernommen.
Wir haben um moderate Preise gebeten, die Details befinden sich
in der Klärung, ebenso das Prozedere zur Registrierung.
Die D-CON ist ein Workshop für DoktorandInnen,
der von interessanten Vorträgen und reger Diskussion lebt.
Bitte überlegt Euch schon jetzt, ob Ihr Vorträge halten möchtet
und welches Format Ihr bevorzugen würdet.
Per Default würden wir an 30min Slots denken,
aber andere Formate haben wir auch immer gehabt
und sind wünschenswert.
Auch eingeladene Vorträge sind geplant -
hier nehmen wir gerne Eure Vorschläge entgegen.
Beste Grüße und bis bald
Kirstin Peters und Roland Meyer
--
Prof. Dr. Roland Meyer
TU Braunschweig
Institut für Theoretische Informatik
Mühlenpfordtstr. 23, 346
38106 Braunschweig
Phone: +49 (0)531 391 9524
Fax: +49 (0)531 391 9529
Web: http://www.tcs.cs.tu-bs.de
Save the Date
22. Kolloquium Programmiersprachen und Grundlagen der Programmierung
Aachen, 24.-27. September 2023
https://kps2023.moves.rwth-aachen.de/
-----------------------------------------------------------------------------
Liebe Programmiersprachen-Interessierte,
das 22. Kolloquium Programmiersprachen und Grundlagen der Programmierung
(KPS 2023) setzt eine traditionelle Reihe von Arbeitstagungen fort, die 1980
von den Forschungsgruppen der Professoren Friedrich L. Bauer (TU München),
Klaus Indermark (RWTH Aachen) und Hans Langmaack (CAU Kiel) ins Leben gerufen
wurde. Die Veranstaltung ist ein offenes Forum für alle interessierten
deutschsprachigen Wissenschaftler:innen zum zwanglosen Austausch neuer Ideen
und Ergebnisse aus den Forschungsbereichen Entwurf und Implementierung von
Programmiersprachen sowie Grundlagen und Methodik des Programmierens.
Die wissenschaftlichen Beiträge werden in einem informellen Tagungsband
zusammengefasst, der zu Beginn der Veranstaltung unter den Teilnehmer:innen
verteilt wird. Eine formale Auswahl der Beiträge durch Begutachtung findet
nicht statt. Dieses Veranstaltungsformat ermöglicht es den Vortragenden, neue
Ideen zu präsentieren und sie mit anderen Teilnehmer:innen zu diskutieren.
Insbesondere möchten wir junge Doktorand:innen einladen und ermutigen, ihre
Arbeiten einem fachkundigen Publikum vorzustellen und mit diesem ins Gespräch
zu kommen.
Das Kolloquium soll vom 24. bis 27. September 2023 im niederländischen Vaals im
Kasteel Bloemendal <https://www.schlosshotelbloemendal.de/> stattfinden, welches
von Aachen aus gut erreichbar ist. Nähere Informationen werden nach und nach
unter <https://kps2023.moves.rwth-aachen.de/> bekannt gemacht. Die Anmeldung
zur Teilnahme muss bis Ende Juli 2023 erfolgen (wegen Reservierung des
Zimmerkontingentes im Hotel); hierzu erfolgt rechtzeitig eine separate
Einladung per E-Mail. In der Hoffnung, Sie im September kommenden Jahres in
Aachen willkommen zu heißen, grüßt Sie
Ihr Thomas Noll
PS: Geben Sie diese Information gerne an interessierte Kolleg:innen und
Mitarbeiter:innen weiter. Sollten Sie keine weiteren Benachrichtigungen
wünschen, schicken Sie bitte eine kurze Nachricht an
<kps2023(a)i2.informatik.rwth-aachen.de>. Vielen Dank!
--
Thomas Noll
Software Modeling and Verification Group
RWTH Aachen University, Germany
http://moves.rwth-aachen.de/people/noll/
[apologies for cross-postings]
==================================================
Call for Papers
FM 2023: 25th International Symposium on Formal Methods
Lübeck, Germany, March 6-10, 2023
https://fm2023.isp.uni-luebeck.de/ <https://fm2023.isp.uni-luebeck.de/>
==================================================
FM 2023 is the 25th international symposium in a series organised by
Formal Methods Europe (FME), an independent association whose aim is to
stimulate the use of, and research on, formal methods for software
development. The FM symposia have been successful in bringing together
researchers and industrial users around a programme of original papers
on research and industrial experience, workshops, tutorials, reports on
tools, projects, and ongoing doctoral research. FM 2023 will be both an
occasion to celebrate and a platform for enthusiastic researchers and
practitioners from a diversity of backgrounds to exchange their ideas
and share their experiences.
=Important Dates=
Abstract submission: September 4, 2022, 23:59 AoE (firm)
Full paper submission: September 11, 2022, 23:59 AoE (firm)
Notification: November 15, 2022
Camera ready: December 11, 2022
Conference: March 6-10, 2022
=Topics of Interest=
FM 2023 will highlight the development and application of formal methods
in a wide range of domains including trustworthy AI, software,
computer-based systems, systems-of-systems, cyber-physical systems,
security, human-computer interaction, manufacturing, sustainability,
energy, transport, smart cities, healthcare and biology. We particularly
welcome papers on techniques, tools and experiences in interdisciplinary
settings. We also welcome papers on experiences of applying formal methods
in industrial settings, and on the design and validation of formal method
tools.
The topics of interest for FM 2023 include, but are not limited to:
Interdisciplinary formal methods: Techniques, tools and experiences
demonstrating the use of formal methods in interdisciplinary settings.
Formal methods in practice: Industrial applications of formal methods,
experience with formal methods in industry, tool usage reports,
experiments with challenge problems. The authors are encouraged to
explain how formal methods overcame problems, led to improved designs,
or provided new insights.
Tools for formal methods: Advances in automated verification, model
checking, and testing with formal methods, tools integration,
environments for formal methods, and experimental validation of tools.
The authors are encouraged to demonstrate empirically that the new tool
or environment advances the state of the art.
Formal methods in software and systems engineering: Development
processes with formal methods, usage guidelines for formal methods, and
method integration. The authors are encouraged to evaluate process
innovations with respect to qualitative or quantitative improvements.
Empirical studies and evaluations are also solicited.
Theoretical foundations of formal methods: All aspects of theory related
to specification, verification, refinement, and static and dynamic
analysis. The authors are encouraged to explain how their results
contribute to the solution of practical problems with formal methods or
tools.
We explicitly welcome submissions to the special FM 2023 session on
"Formal methods meets AI", which is focused on formal and rigorous
modelling and analysis techniques to ensuring safety, robustness etc.
(trustworthiness) of AI-based systems.
=Submission Guidelines=
Papers should be original work, not published or submitted elsewhere, in
Springer LNCS format, written in English, submitted through EasyChair:
https://easychair.org/conferences/?conf=fm2023
<https://easychair.org/conferences/?conf=fm2023>
Each paper will be evaluated by at least three members of the Programme
Committee. Authors of papers reporting experimental work are strongly
encouraged to make their experimental results available for use by the
reviewers. Similarly, case study papers should describe significant case
studies, and the complete development should be made available at the
time of review. The usual criteria for novelty, reproducibility,
correctness and the ability for others to build upon the described work
apply. Tool papers and tool demonstration papers should explain
enhancements made compared to previously published work. A tool
demonstration paper need not present the theory behind the tool, but can
focus on the tool’s features, how it is used, its evaluation, and
examples and screenshots illustrating the tool’s use. Authors of tool
and tool demonstration papers should make their tool available for use
by the reviewers.
We solicit various categories of papers:
Regular Papers (max 15 pages)
Long tool papers (max 15 pages)
Case study papers (max 15 pages)
Short papers (max 6 pages), including tool demonstration papers.
Short papers present novel ideas (e.g., without an extensive experimental
evaluation) or results that can well be presented in 6 pages. Short papers
will be given short presentation slots at the conference.
All page limits do not include references and appendices.
For all papers, an appendix can provide additional material such as
details on proofs or experiments. The appendix is not part of the page
count and not guaranteed to be read or taken into account by the
reviewers. Thus, it should not contain information necessary for the
understanding and the evaluation of the presented work. Papers will be
accepted or rejected in the category in which they were submitted and
will not be moved between categories.
At least one author of an accepted paper is expected to present the
paper at the conference as a registered participant.
=Best Paper Award=
At the conference, the PC Chairs will present an award to the authors of
the submission selected as the FM 2023 Best Paper.
=Publication=
Accepted papers will be published in the Symposium Proceedings to appear
in Springer’s Lecture Notes in Computer Science. Extended versions of
selected
papers will be invited for publication in a special issue of a journal.
=General Chair=
Martin Leucker, University of Lübeck, Germany
=Program Committee Chairs=
Marsha Chechik, University of Toronto, Canada
Joost-Pieter Katoen, RWTH Aachen University, Germany
& University of Twente, the Netherlands
======================================================================
Various Open Positions for Doctoral Researchers
in the post-graduate program UnRAVeL
“Uncertainty and Randomness in Algorithms, Verification and Logic”
at RWTH Aachen University, Aachen, Germany
https://www.unravel.rwth-aachen.de/
======================================================================
Context.
RWTH Aachen University is looking for enthusiastic and highly
qualified doctoral researchers. Various positions are available within
the interdisciplinary Research Training Group (RTG) UnRAVeL founded by
German Research Foundation (DFG). The key emphasis of an RTG is on
the qualification of doctoral researchers with a focused research
program and a structured training strategy. The RTG UnRAVeL aims to
significantly advance probabilistic modelling and analysis for
uncertainty by developing new theories, algorithms, and tool-supported
verification techniques, and to apply them to core problems from
application areas such as: applied machine learning (in control theory
as well as network and data science), planning in AI (e.g., robotics),
as well as safety and performance analysis (railway systems).
Within UnRAVeL, theoretical computer scientists from computer-aided
verification, automata and logic, algorithms and complexity, together
with experts from management science (robust optimization), applied
computer science (network and data science), mechanical and railway
engineering intensively cooperate.
UnRAVeL PIs are: Erika Abraham, Christina Büsing, Jürgen Giesl,
Martin Grohe, Joost-Pieter Katoen, Gerhard Lakemeyer, Christof
Löding, Nils Niessen, Britta Peis, Sebastian Trimpe, Michael
Schaub, and Gerhard Woeginger.
Current and completed doctoral UnRAVeL projects can be found here:
https://www.unravel.rwth-aachen.de/cms/UnRAVeL/Forschung/~ofhi/Dissertation…
Required profile.
Candidates must have (or soon obtain) a master degree in Computer
Science, Mathematics or related area and have completed their studies
with excellent grades. You should have interest in performing original,
highly competitive scientific research, publishing your results in top
conferences and scientific journals. Self-motivation and the ability to
work both independently and as a team player in local and international
research groups are expected. Fluency in English is required;
proficiency in German is helpful but not compulsory.
How to apply?
Your written application should contain:
- a curriculum vitae
- a transcript of records (list of courses and grades)
- a cover letter including a statement of interest in (some of) the
RTG topics, and
- a recommendation letter e.g., by your master thesis supervisor(s)
All documents should be formatted as a single pdf-file. The
recommendation letter can provided separately, if needed. You should
send your application ultimately by ** December 20, 2021 (AoE) ** to the
e-mail address: unravel-appl(a)cs.rwth-aachen.de. We check applications
once they are received, and will conduct interviews until our vacancies
are filled.
What do we offer?
We offer a stimulating international research environment, the
possibility to participate in highly competitive and interdisciplinary
research and the opportunity to involve students in your research
through project work. Doctoral researchers have a status as employee
with a salary according to the German federal employee scale TV-L E13;
the exact salary is subject to your family situation. The duration of
the positions is three years with a possible extension to four years.
RWTH Aachen University offers excellent facilities for professional and
personal development. Starting date of the positions: 2022 (flexible).
Enquiries can be directed to Prof. Joost-Pieter Katoen (e-mail:
katoen(a)cs.rwth-aachen.de).
RWTH Aachen University is certified as a “Family-Friendly University”.
We particularly welcome and encourage applications from women, disabled
persons and ethnic minority groups, recognizing they are
underrepresented across RWTH Aachen University. The principles of fair
and open competition apply and appointments will be made on merit.
ICE 2021
14th Interaction and Concurrency Experience
June 18, 2021
University of Malta, Valletta and/or online
Satellite workshop of DisCoTec 2021
https://www.discotec.org/2021/ice
Submission link:
https://openreview.net/group?id=DisCoTec.org/2021/Workshop/ICE
Interaction and Concurrency Experience (ICE) is a series of
international scientific meetings oriented to theoretical computer
science researchers with special interest in models, verification,
tools, and programming primitives for complex interactions.
=== HIGHLIGHTS ===
* Distinctive selection procedure
* ICE welcomes full papers to be included in the proceedings
* ICE also welcomes oral communications of already published or
preliminary work
* Publication in EPTCS
* Special issue in the Journal of Logical and Algebraic Methods in
Programming (Elsevier) (to be confirmed)
* Invited speakers: TBA
=== IMPORTANT DATES ===
* 15 April 2021: abstract submission
* 19 April 2021: paper submission
* 18 May 2021: notification
* 18 June 2021: ICE workshop
* 12 July 2021: camera-ready for EPTCS post-proceedings
=== SCOPE ===
The general scope of the venue includes theoretical and applied
aspects of interactions and the synchronization mechanisms used among
components of concurrent/distributed systems, related to several areas
of computer science in the broad spectrum ranging from formal
specification and analysis to studies inspired by emerging
computational models.
We solicit contributions relevant to Interaction and Concurrency,
including but not limited to:
* Formal semantics
* Process algebras and calculi
* Models and languages
* Protocols
* Logics and types
* Expressiveness
* Model transformations
* Tools, implementations, and experiments
* Specification and verification
* Coinductive techniques
* Tools and techniques for automation
* Synthesis techniques
=== SELECTION PROCEDURE ===
Since its first edition in 2008, the distinguishing feature of ICE has
been an innovative paper selection mechanism based on an interactive,
friendly, and constructive discussion amongst authors and PC members
in an online forum.
During the review phase, each submission is published in a dedicated
discussion forum. The discussion forum can be accessed by the authors
of the submission and by all PC members not in conflict with the
submission (the forum preserves anonymity). The forum is used by
reviewers to ask questions, clarifications, and modifications from the
authors, allowing them better to explain and to improve all aspects of
their submission. The evaluation of the submission will take into
account not only the reviews, but also the outcome of the discussion.
As witnessed by the past editions of ICE, this procedure considerably
improves the accuracy of the reviews, the fairness of the selection,
the quality of camera-ready papers, and the discussion during the
workshop.
ICE adopts a light double-blind reviewing process, detailed below.
=== SUBMISSION GUIDELINES ===
Submissions must be made electronically in PDF format via OpenReview:
https://openreview.net/group?id=DisCoTec.org/2021/Workshop/ICE
We invite two types of submissions:
* Research papers, original contributions that will be published
in the workshop post-proceedings. Research papers must not be
simultaneously submitted to other conferences/workshops with
refereed proceedings. Research papers should be 3-16 pages plus
at most 2 pages of references. Short research papers are
welcome; for example a 5 page short paper fits this category
perfectly. The submitted PDF can use any LaTeX style (but the
post-proceedings will use the EPTCS style).
* Oral communications will be presented at the workshop, but will
not appear in the post-proceedings. This type of contribution
includes e.g. previously published contributions, preliminary
work, and position papers. There is no strict page limit for
this kind of submission but papers of 1-5 pages would be
appreciated. For example, a one page summary of previously
published work is welcome in this category.
Authors of research papers must omit their names and institutions from
the title page, they should refer to their other work in the third
person and omit acknowledgements that could reveal their identity or
affiliation. The purpose is to avoid any bias based on authors’
identity characteristics, such as gender, seniority, or nationality,
in the review process. Our goal is to facilitate an unbiased approach
to reviewing by supporting reviewers’ access to works that do not
carry obvious references to the authors’ identities. As mentioned
above, this is a lightweight double-blind process. Anonymization
should not be a heavy burden for authors, and should not make papers
weaker or more difficult to review. Advertising the paper on alternate
forums (e.g., on a personal web-page, pre-print archive, email, talks,
discussions with colleagues) is permitted, and authors will not be
penalized by for such advertisement.
Papers in the “Oral communications” category need not be
anonymized. For any questions concerning the double blind process,
feel free to consult the ICEcreamers.
We are keen to enhance the balanced, inclusive and diverse nature of
the ICE community, and would particularly encourage female colleagues
and members of other underrepresented groups to submit their work.
=== PUBLICATIONS ===
Accepted research papers and communications must be presented at the
workshop by one of the authors.
Accepted research papers will be published after the workshop in
Electronic Proceedings in Theoretical Computer Science (to be
confirmed).
We plan to invite authors of selected papers and brief announcements
to submit their work in a special issue in the Journal of Logical and
Algebraic Methods in Programming (Elsevier). Such contributions will
be regularly peer-reviewed according to the standard journal policy,
but they will be handled in a shorter time than regular submissions. A
list of published and in preparation special issues of previous ICE
editions is reported on the ICE website.
=== ICECREAMERS ===
Julien Lange (Royal Holloway, University of London, UK) -julien.lange(a)rhul.ac.uk
Anastasia Mavridou (NASA Ames, USA) -anastasia.mavridou(a)nasa.gov
Larisa Safina (Inria, FR) -larisa.safina(a)inria.fr
Alceste Scalas (Technical University of Denmark, DK) -alcsc(a)dtu.dk
=== PROGRAM COMMITTEE ===
* Massimo Bartoletti (University of Cagliari, IT)
* Chiara Bodei (Università di Pisa, IT)
* Matteo Cimini (University of Massachusetts Lowell, USA)
* Cinzia Di Giusto (Université Côte d’Azur, CNRS, I3S, FR)
* Simon Fowler (University of Glasgow, UK)
* Eva Graversen (University of Southern Denmark, DK)
* Ludovic Henrio (ENS Lyon, FR)
* Keigo Imai (Gifu University, JP)
* Sung-Shik Jongmans (Open University of the Netherlands, NL)
* Sophia Knight (University of Minnesota Duluth, US)
* Wen Kokke (University of Edinburgh, UK)
* Ivan Lanese (University of Bologna, IT)
* Karoliina Lehtinen (CNRS - LIS, Aix-Marseille University, FR)
* Alberto Lluch Lafuente (Technical University of Denmark, DK)
* Diego Marmsoler (University of Exeter, UK)
* Hernán Melgratti (University of Buenos Aires, AR)
* Maurizio Murgia (University of Trento, IT)
* Kirstin Peters (TU Darmstadt, DE)
* Johannes Åman Pohjola (Data61/CSIRO, AU)
* Ivan Prokic (University of Novi Sad, RS)
* Matteo Sammartino (Royal Holloway, University of London, UK)
* Hugo Torres Vieira (C4 - University of Beira Interior, PT)
* Laura Voinea (University of Kent, UK)
* Uma Zalakian (University of Glasgow, UK)
=== STEERING COMMITTEE ===
* Massimo Bartoletti (University of Cagliari, IT)
* Ludovic Henrio (ENS Lyon, FR)
* Ivan Lanese (University of Bologna, IT)
* Alberto Lluch Lafuente (Technical University of Denmark, DK)
* Sophia Knight (University of Minnesota Duluth, USA)
* Hugo Torres Vieira (C4 - University of Beira Interior, PT)
=== MORE INFORMATION ===
For additional information, please contact the ICEcreamers (see email
addresses above).