D-CON

d-con@lists.rwth-aachen.de

323 Diskussionen

D-Con 2023 Call for Contributions

von Kirstin Peters

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 Jahr, 6 Monate

Early Registration Until Feb 1 2023

von Kirstin Peters

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 Jahr, 6 Monate

PhD Position in Theory

von Kirstin Peters

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 Jahr, 6 Monate

W2-Professur "Theorie korrekter Systeme" an der Universität Oldenburg

von Müller-Olm, Markus

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

1 Jahr, 7 Monate

von Roland Meyer

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

1 Jahr, 7 Monate

Ph.D. Position in Theory

von Kirstin Peters

1 Jahr, 9 Monate

D-CON 2023

von Roland Meyer

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

1 Jahr, 9 Monate

Save the Date: KPS 2023

von Thomas Noll

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/

1 Jahr, 9 Monate

First CFP: FM 2023 - 25th International Symposium on Formal Methods

von Joost-Pieter Katoen

[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

2 Jahre, 4 Monate

Several Ph.D. positions at RWTH Aachen University

von Joost-Pieter Katoen

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

2 Jahre, 7 Monate

← Neuer
1
2
3
4
5
6
7
...
33
Älter →

Springe zur Seite:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

D-CON