Dear all,
as agreed upon at the last meeting in Augsburg, we will host the D-CON 2026 on March 26-27 (Thu-Fri) at TU Berlin. As tradition suggests, we will organize a get-together dinner on the evening of March 25. Likewise, we plan to finish around lunch time on March 27.
As also mentioned in Augsburg, we will set up a workshop/meeting on March 25 (Wed) just before D-CON around the topic of the usage of interactive proof asisstants for teaching purposes (with a focus on German-speaking university curricula).
Enjoy the summer (if you can)!
== Uwe ==
Prof. Dr. Uwe Nestmann
[er/ihm/sein – he/him/his]
Fachgebietsleiter "Modelle und Theorie Verteilter Systeme” (MTV)
+49 30 314-73501
Technische Universität Berlin
Sekr. EN 24,
E-N 639, Einsteinufer 17, 10587 Berlin
https://www.tu.berlin/mtv/team/leitung/prof-dr-ing-uwe-nestmann
Liebe Mitglieder der Fachgruppe Concurrency-Theory,
ich leite hiermit (siehe unten) eine Anfrage zu Aktivitäten unserer
Fachgruppe bezüglich der Verbesserung der sozialen, ökonomischen und
ökologischen Nachhaltigkeit IT-basierter Systeme im Sinne der UN-Agenda
2030 weiter. Bitte die Aktivitäten an mich melden, damit ich eine
Meldung bündeln und weiter leiten kann.
Vielen Dank. Ich wünsche allen einen schönen Sommer.
Beste Grüße,
Kirstin
-------- Weitergeleitete Nachricht --------
Betreff: WG: [Fb-sprecher] Bitte an die GI-Fachbereiche: Was leistet
die GI bereits für die Verbesserung der sozialen, ökonomischen und
ökologischen Nachhaltigkeit IT-basierter Systeme im Sinne der UN-Agenda
2030
Datum: Fri, 11 Jul 2025 12:54:29 +0200
Von: Christian Scheideler <scheidel(a)mail.uni-paderborn.de>
Antwort an: scheideler(a)upb.de
An: 'Joerg Laessig' <jlaessig(a)eadgroup.org>, 'Ekkart Kindler - FG PN'
<ekki(a)dtu.dk>, 'Thomas Schwentick' <thomas.schwentick(a)tu-dortmund.de>,
'Heiko Röglin' <roeglin(a)cs.uni-bonn.de>, 'Bianca Truthe'
<bianca.truthe(a)informatik.uni-giessen.de>, 'Prof. Dr. Anne
Frühbis-Krüger' <anne.fruehbis-krueger(a)uni-oldenburg.de>, 'Kirstin
Peters' <kirstin.peters(a)uni-a.de>, 'Olaf Beyersdorff'
<olaf.beyersdorff(a)uni-jena.de>, 'Barbara Hammer - FG NN'
<bhammer(a)techfak.uni-bielefeld.de>,
robert.lorenz(a)informatik.uni-augsburg.de, 'Sebastian Siebertz'
<siebertz(a)uni-bremen.de>
Kopie (CC): 'Fernau, Henning, Univ.-Prof. Dr.' <fernau(a)uni-trier.de>,
scheideler(a)upb.de
Liebe Sprecherinnen und Sprecher der Fachgruppen im GI-Fachbereich
„Grundlagen der Informatik“,
gibt es bei Ihnen irgendwelche Aktivitäten bezüglich der Verbesserung
der sozialen, ökonomischen und ökologischen Nachhaltigkeit IT-basierter
Systeme im Sinne der UN-Agenda 2030 (siehe die Email unten)? Ich wäre
dankbar für jegliches Feedback!
Viele Grüße,
Christian Scheideler
*Von:*Cornelia Winter <cornelia.winter(a)gi.de>
*Gesendet:* Donnerstag, 10. Juli 2025 08:54
*An:* fb-sprecher(a)lists.gi.de
*Cc:* Ina Schieferdecker <ina.schieferdecker(a)gi.de>
*Betreff:* [Fb-sprecher] Bitte an die GI-Fachbereiche: Was leistet die
GI bereits für die Verbesserung der sozialen, ökonomischen und
ökologischen Nachhaltigkeit IT-basierter Systeme im Sinne der UN-Agenda 2030
Liebe Fachbereichsleitungen
bei unserer Präsidiumssitzung im Juni haben wir intensiv über die
folgenden Fragen diskutiert: Was leistet die GI bereits für die
Verbesserung der sozialen, ökonomischen und ökologischen Nachhaltigkeit
IT-basierter Systeme im Sinne der UN-Agenda 2030? Was wurde in Ihrem FB
bereits erarbeitet? Sollte die GI mehr tun? Was ist in Ihrem FB ggf. in
Erarbeitung bzw. Planung?
Um einen Überblick über die Aktivitäten und Pläne in Ihrem Fachbereich
zu erhalten, bitten wir alle FB-Leitungen um eine kurze, gern
stichpunktartige schriftliche Zusammenfassung. Diese sollte in
Vorbereitung auf die nächste Präsidiumssitzung bitte bis zum 10. Oktober
an unser Präsidiumsmitglied Ina Schieferdecker ina.schieferdecker(a)gi.de
(im cc) geschickt werden. Sollten Fragen der Nachhaltigkeit von
IT-Systemen bei Ihnen keine Rolle spielen, bitten wir Sie ebenso um eine
explizite Rückmeldung. Alle anderen bitten wir zudem, ihre
Zusammenfassung, also den aktuellen Stand und ihre Planungen, auf der
kommenden Präsidiumssitzung im Januar 2026 vorzustellen.
Für Rückfragen steht Ihnen Ina Schieferdecker gern zur Verfügung.
Vielen Dank und beste Grüße
Cornelia Winter
Cornelia Winter
Geschäftsführerin
Gesellschaft für Informatik e.V. (GI)
-------------------------------------------
Zentrale im Wissenschaftszentrum
Ahrstr. 45
53175 Bonn
Tel.: +49 228 302-145
Fax: +49 228 302-167
E-Mail: bonn(a)gi.de <mailto:bonn@gi.de <mailto:bonn@gi.de>>
🌅The wide open
Gute Aussichten: Die #INFORMATIK25 <https://informatik2025.gi.de/> dreht
sich um Offenheit von Source bis Science.
Informationen zu Ihren Rechten und zum Datenschutz bei der GI finden Sie
unter https://gi.de/datenschutz/ <https://gi.de/datenschutz/>.
=====================================
Call for papers
CSL 2026
https://csl2026.github.io/
Paris, France
23-28 February 2026
Abstract submission: 15 July 2025 (AoE)
=====================================
Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL),
see https://www.eacsl.org/.
It is an interdisciplinary conference, spanning across both basic and
application oriented research in mathematical logic and computer
science.
CSL 2026 is the 34th edition of the conference and will be held in Paris on
the 23-28 February 2026 and is organised by the Logic and Computation
team of the LIPN of Sorbonne Paris Nord University.
Invited Speakers:
--------------------
- Pierre Clairambault
- Sandra Kiefer
- Gordon Plotkin
- Ana Sokolova
Topics:
--------------
Topics of interest include, but are not limited to:
- automated deduction and interactive theorem proving
- concurrency and distributed computation
- constructive mathematics and type theory
- equational logic and term rewriting
- automata and games, game semantics
- formal methods
- model checking
- decision procedures
- modal and temporal logic
- description logics
- logical aspects of computational complexity
- logical aspects of AI
- finite model theory
- computability
- computational proof theory
- logic programming and constraints
- lambda calculus and combinatory logic
- domain theory
- categorical logic and topological semantics
- database theory
- specification, extraction and transformation of programs
- logical aspects of quantum computing
- logical foundations of programming paradigms
- verification and program analysis
- linear logic
- higher-order logic
- knowledge representation and reasoning
- nonmonotonic reasoning
Submission:
--------------
Submitted papers must be in English and must provide sufficient detail
to allow the Programme Committee to assess the merits of the paper.
Full proofs may appear in a clearly marked technical appendix which
will be read at the reviewers' discretion. Authors are strongly
encouraged to include a well written introduction which is directed at
all members of the PC.
The paper should be submitted via Easychair:
https://easychair.org/conferences/?conf=csl2026 (the link will be
opened in early June)
The CSL 2026 conference proceedings will be published in the Leibniz
International Proceedings in Informatics (LIPIcs), see
https://drops.dagstuhl.de/entities/series/LIPIcs.
Authors are invited to submit contributed papers of no more than
15 pages in LIPIcs style (not including appendices or references),
see https://submission.dagstuhl.de/series/details/LIPIcs#author,
presenting unpublished work fitting the scope of the
conference. Papers may not be submitted concurrently to another
conference with refereed proceedings. The PC chairs should be
informed of closely related work submitted to a conference or a
journal.
Papers authored or co-authored by members of the PC (but not PC
chairs) are allowed.
The submissions are double-blind:
- Authors are not allowed to put their name on the paper, and they
should avoid revealing their identities in text (references to previous
or related work should be in third-person).
- Authors are allowed (and even encouraged) to disseminate the work
on public repositories (e.g. on arXiv or their websites).
At least one of the authors of each accepted paper is expected to
register for the conference in order to present their paper.
Important dates:
--------------
All deadlines are midnight anywhere-on-earth (AoE);
late submissions will not be considered.
- Abstract submission: 15 July, 2025
- Paper submission: 21 July 2025
- Notification: 14 October 2025
- Final Version: 30 November 2025
- Conference: 23-28 February 2025
Committee Chairs
--------------
- Stefano Guerrini - Sorbonne Paris Nord University, France
- Barbara König - University of Duisburg-Essen, Germany
Program Committee
--------------
- Antonis Achilleos - Reykjavik University, Iceland
- Patrick Baillot - CNRS and University of Lille, France
- Paolo Baldan - University of Padova, Italy
- Harsh Beohar - University of Sheffield, UK
- Florence Clerc - Heriot-Watt University Edinburgh, UK
- Marcelo Fiore - University of Cambridge, UK
- Nicola Gambino - University of Manchester, UK
- Marianna Girlando - University of Amsterdam, Netherlands
- Stefan Göller - University of Kassel, Germany
- Giulio Guerrieri - University of Sussex, UK
- Luisa Herrmann - TU Dresden, Germany
- Naoki Kobayashi - The University of Tokyo, Japan
- Dexter Kozen - Cornell University, USA
- Antonín Kučera - Masaryk University Brno, Czech Republic
- Clemens Kupke - University of Strathclyde Glasgow, UK
- Aliaume Lopez - University of Warsaw, Poland
- Giulio Manzonetto - Paris Cité University, France
- Paul-André Melliès - CNRS and Paris Cité University, France
- Aart Middeldorp - University of Innsbruck, Austria
- Matteo Mio - CNRS and ENS Lyon, France
- Larry Moss - Indiana University Bloomington, USA
- Sara Negri - University of Genova, Italy
- Elaine Pimentel - University College London, UK
- Paolo Pistone - Claude Bernard University Lyon 1, France
- Jurriaan Rot - Radboud University Nijmegen, Netherlands
- Sven Schewe - University of Liverpool, UK
- Sylvain Schmitz - Paris Cité University, France
- Lutz Schröder - FAU Erlangen-Nürnberg, Germany
- Thomas Schwentick - TU Dortmund University, Germany
- Thomas Seiller - CNRS and Sorbonne Paris Nord University, France
- Peter Selinger - Dalhousie University, Canada
- Viorica Sofronie-Stokkermans - University of Koblenz, Germany
- Lorenzo Tortora de Falco - Roma Tre University, Italy
- Fabio Zanasi - University College London, UK
- Margherita Zorzi - University of Verona, Italy
Organisation committee:
--------------
- Stefano Guerrini - Sorbonne Paris Nord University, France
(We apologize for multiple postings)
Due to numerous requests, we have decided to extend the CHILECON2025 paper
submission deadline to *July 17, 2025.*
If you have any further questions, please feel free to contact us.
Please share with your contacts.
2025 IEEE CHILEAN CONFERENCE ON ELECTRICAL, ELECTRONIC, COMPUTER
ENGINEERING AND COMMUNICATIONS TECHNOLOGY
IEEE Chilecon2025
[image: image.png]
Celebrating 50 years of dissemination, research, and innovation
IEEE CHILECON2025 - Call for Papers
Valparaíso, Chile, October 28-30, 2025
Conference website: chilecon2025.pucv.cl
Organized by:
IEEE CHILE CENTER SECTION
IEEE CHILE CONTROL SYSTEMS CHAPTER
CHILEAN AUTOMATIC CONTROL ASSOCIATION (ACCA)
PONTIFICIAL CATHOLIC UNIVERSITY OF VALPARAÍSO
Event
Valparaíso, with its amphitheater-like setting and steep hills with deep
ravines The city, to which its multicolored houses cling, is deeply rooted
in the imagination of people around the world. Valparaíso's historic center
was declared a World Heritage Site in 2003. On Bellavista Hill is La
Sebastiana, one of Nobel Prize-winning poet Pablo Neruda's homes, now a
museum. An hour away is the Isla Negra House Museum, which houses the
largest collection of artifacts collected by the poet Neruda. Valparaíso is
also close to the Casablanca Valley, famous for its vineyards.
Tracks
Artificial Intelligence
Biomedical Engineering
Computational Intelligence
Computer Science, Software, Informatics
Control Systems, Process Control
Control Theory
Green Technology and Digital Agriculture
Energy and Power Systems
Engineering Education
Information Technology and Communication Systems
IoT, Mechatronics
Power Electronics
Production and Industry 4.0
Smart Industry for Sustainable Economic Growth
Robotics, Computer Vision
Geoscience and Remote Sensing
Video Games and Virtual Reality
Important Dates
Full Paper Submission: July 17, 2025
IPC Notifications: September 14, 2025
Print-Ready Papers: October 1, 2025
Early Bird Registration: October 1, 2025
Conference: October 28-30, 2025 2025
Submission of full papers via Easychair at
https://easychair.org/conferences/?conf=cleijccchilecon2025
and select the appropriate Chilecon track.
Articles must be in IEEE format (
https://www.ieee.org/conferences/publishing/templates), with a title,
abstract, and keywords in English. The remainder of the article may be
written in English, Spanish, or Portuguese.
Length: 6 pages. Cost per additional page: USD 50, maximum 2 additional
pages.
IEEE Chilecon2025 is an official IEEE conference (registration number
#66915).
All accepted papers will be published in IEEE Xplore and submitted for
Scopus indexing.
Chilecon2025 will be held in parallel with two other conferences:
- 51st Latin American Informatics Conference - CLEI2025 (
conference2025.clei.org), and
- Chilean Computer Conference - JCC2025 (jcc2025.pucv.cl)
Registration
Early bird registration October 1st, 10% discount
General public: USD 250
Full author registration: USD 350 (-10% IEEE, ACCA member)
Student co-author: USD 60, with author registration. Papers with only one
student must be registered with the full author fee.
Student registration; General student: USD 60.
Claudio Cubillos Gastón Lefranc
presidentes de IEEE Chilecon2025
--
Gaston Lefranc H.
Profesor Titular PUCV
Professor Honoris Causa, Agora University, Rumania 2022