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

Call for faculty positions in Software Engineering at PUCV, Chile
by Claudio Alonso Cubillos Figueroa 17 Jun '25

17 Jun '25

Call for Faculty Positions (in Software Engineering) Pontificia Universidad Católica de Valparaíso (PUCV), Chile Escuela de Ingeniería Informática We are seeking to fill one tenure-track faculty position at the Escuela de Ingeniería Informática at Pontificia Universidad Católica de Valparaíso (PUCV), Valparaíso, Chile. Candidates must hold a PhD in Computer Science (or a related field) or have defended their doctoral thesis by October 1st, 2025. Preferred research areas include, but are not limited to: • Software Requirements Engineering • Testing and Quality Assurance • Agile Methodologies • Databases • Cloud Computing and Distributed Systems • Cybersecurity • Blockchain Technologies • Virtual/Augmented Reality We seek dynamic colleagues who will make positive contributions to the Department's teaching, research, and service efforts. Candidates with published articles in ISI WoS-indexed journals are highly preferred. Applications are particularly welcome from those willing to commit to the spirit of the Department and the University's aspirations towards equality, diversity and inclusivity. Thus, we encourage applications from women and foreign candidates. The salary is commensurate with the candidate's experience and qualifications. The offered salary will be competitive internationally and complemented with research incentives and access to support funds. The PUCV is currently ranked among the top 30 universities in Latin America and among the top five Universities in Chile. The Escuela de Ingeniería Informática offers three undergraduate programs (Ingeniería Civil Informática, Ingeniería Civil en Ciencia de Datos, and Ingeniería en Informática) as well as two postgraduate programs (Master in Informatics Engineering and PhD in Informatics Engineering). The PUCV is situated at the heart of the Valparaíso metropolitan area, which was designated a UNESCO World Heritage Site. The cities of Valparaíso and Viña del Mar stand out for their quality of life and their diverse tourist attractions. Candidates are asked to send the following documentation: • Cover Letter indicating the motivations of the candidate • Curriculum vitae • Validation of Candidate's Degrees (if needed). • Two reference letters (they must be sent to the Head of the Department, Dr Ricardo Soto De Giorgis, email: dirinf(a)pucv.cl) • Publication list indicating whether each paper is WoS indexed and its current status (under review/accepted/published). • List the research projects the candidate has participated in as the principal researcher (or equivalent). Inquiries must be sent to *dirinf(a)pucv.cl <dirinf(a)pucv.cl> by June 25th*, 2025. Applications must be made *by July 1st, 2025*, through this link. Application Code:VRD 083 - 2025

1 0

Deadline Extended: CfP ICTAC'2025
by Martin Leucker 17 Jun '25

17 Jun '25

*Call for Papers - ICTAC 2025* https://ictac2025.digital-hub.sh/ <https://ictac2025.digital-hub.sh/> *International Colloquium on Theoretical Aspects of Computing* Marrakech, Morocco, November 24th to 28th, 2025 *About ICTAC:* The ICTAC conference series aims at bringing together researchers and practitioners from academia, industry, and government to present research and exchange ideas and experiences within theoretical aspects of computing through (formal) methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. *Topics of Interest:* The conference concerns all aspects of theoretical computer science, including, but not limited to: * Formal languages and automata * Semantics of programming languages * Logic in computer science * Lambda calculus, type theory, and category theory * Domain-specific languages * Theories of concurrency and mobility * Theories of distributed computing * Models of objects and components * Coordination models * Security and privacy * Static analysis * Software verification * Timed, hybrid, and cyber-physical systems * Verification, analysis and control synthesis * Software testing * Program generation and transformation * Model checking and theorem-proving * Quantum computing * Trustworthy AI * Machine learning algorithms * Applications and experience *Invited Speakers* * * * Antoine Girard, University Paris-Saclay, CNRS, France * Klaus Havelund, NASA’s Jet Propulsion Laboratory, California Institute of Technology, USA * Joost-Pieter Katoen, RWTH Aachen University, Germany * Kim Guldstrand Larsen, Aalborg University, Denmark *Publication:* * All accepted papers will be published in Springer's Lecture Notes in Computer Science. * Springer sponsors the ICTAC 2025 Best Paper Award with a cash prize of 1.000 Euro. * There will be a special issue for selected papers from ICTAC 2025 in the Elsevier’s journal Theoretical Computer Science. *Deadlines:* * July, 03rd: Abstracts (extended) * July, 09th: Full papers (extended) * August, 30th: Notification * September, 15th: Camera-ready papers *General Co-Chairs * * Ahmed Bouajjani Université de Paris, France * Mohammed Erradi ENSIAS, UM5R, Morocco *Program Co-Chairs * * Zhiming Liu Southwest University, China * Adnane Saoud UM6P, Morocco * Heike Wehrheim University of Oldenburg, Germany *Program Committee * * Jorge A. Pérez University of Groningen, Netherlands * Laurent Fribourg ENS Paris-Saclay, LMF, France * Lina Ye CentraleSupélec, LRI, University Paris–Saclay, France * Abderrahim Ait Wakrime UM5R, Morocco * Maike Schwammberger Karlsruhe Institute of Technology, Germany * Kirstin Peters Universität Augsburg, Germany * Emil Sekerinski McMaster University, Canada * Ichiro Hasuo National Institute of Informatics, Japan * Kim Guldstrand Larsen Computer Science, Aalborg University, Denmark * Yuxin Deng East China Normal University, China * Zhilin Wu Institute of Software, Chinese Academy of Sciences, China * Jan Kretinsky Masaryk University, Czech Republic * Sadegh Soudjani Max Planck Institute, Germany * Annabelle McIver Macquarie University, Australia * Rosemary Monahan Maynooth University, Ireland * Marcello Bonsangue Leiden University, Netherlands * Ana Sokolova University of Salzburg, Austria * Pushpak Jagtap Indian Institute of Science, Bangalore, India * Silvia Lizeth Tapia Tarifa University of Oslo, Norway * Jim Woodcock University of York, United Kingdom * Augusto Sampaio Federal University of Pernambuco, Brazil * Marjan Sirjani Mälardalen University, Sweden * Cong Tian Xidian University, China * Maurice ter Beek CNR, Italy * Tarmo Uustalu Reykjavik University, Iceland * Miaomiao Zhang Tongji University, China * Sarah Winkler Free University of Bozen-Bolzano, Italy * Hussein Sibai Washington University in St. Louis, USA * Tomás Vojnar Brno University of Technology, Czech Republic * Peter Habermehl IRIF, Université Paris Cité, France * Julien Signoles CEA LIST, France * Chelsea Edmonds University of Sheffield, United Kingdom * Inigo Incer University of Michigan, USA * Organizing Committee * Abderrahim Ait Wakrime UM5R, Morocco * Sadek Belamfedel Alaoui UM6P, Morocco * Khaoula Boukir Ibn Tofail University, Morocco * Karam Kharraz University of Lübeck, Germany * Adnane Saoud UM6P, Morocco -- ------------------------------------------------------------------------ | Martin Leucker | | Institute for Software Engineering and Programming Languages | | University of Luebeck | | Germany | ------------------------------------------------------------------------ | NEW NUMBER: | Email:leucker@isp.uni-luebeck.de | | Tel.: +49/451/3101 6500 | Web:http://www.isp.uni-luebeck.de | ------------------------------------------------------------------------

1 0

IEEE Chilecon2025 - Full Paper Extended: June 30, 2025
by Claudio Alonso Cubillos Figueroa 12 Jun '25

12 Jun '25

(apologies for cross-posting) Due to numerous requests, we have decided to extend the deadline to *June 30, 2025*. Any other query, we are at your disposal. Please share among your contacts. 2025 IEEE CHILEAN CONFERENCE ON ELECTRICAL, ELECTRONIC ENGINEERING, INFORMATICS AND COMMUNICATIONS TECHNOLOGY [image: image.png] Celebrating 50 years of research and innovation IEEE CHILECON2025 - Call for Papers Valparaíso, Chile, October 28-30, 2025 Conference web site: chilecon2025.pucv.cl Organized by: IEEE CHILE CENTRO SECTION IEEE CHILEAN CONTROL SYSTEMS CHAPTER ASOCIACIÓN CHILENA DE CONTROL AUTOMÁTICO ( ACCA) PONTIFICIA UNIVERSIDAD CATÓLICA DE VALPARAÍSO Venue Valparaíso, with its amphitheater-like setting and steep hills with their deep ravines to which its multi-colored houses cling, is embedded in the imagination of people worldwide. The historic quarter of Valparaíso was declared a World Heritage Site in 2003. On Bellavista Hill is La Sebastiana, one of the houses of Nobel Prize-winning poet Pablo Neruda, now converted into 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 Ecological Technology and Digital Agriculture Energy and Power Systems Engineering Education Information Technologies and Communication Systems IoT, Mecatronics Power Electronics Production and Industry 4.0 Smart Industry for Sustainable Economic Growth Robotics, Computer Vision Geoscience and remote sensors Videogames and Virtual Reality Important Dates Full Paper Submission: June 15, 2025 June 30, 2025 IPC notifications: Sept. 14, 2025 Camera Ready Papers: Oct. 1, 2025 Early registration: Oct. 1, 2025 Conference: Oct. 28-30, 2025 Full paper submission via Easychair at https://easychair.org/conferences/?conf=cleijccchilecon2025 and select the appropriate Chilecon track. Articles in IEEE format ( https://www.ieee.org/conferences/publishing/templates), with Title, Abstract, and Keywords in English. The rest of the article can be written in English, Spanish, or Portuguese. Paper length: 6 pages. Additional page USD50 per page, max 2 extra pages. IEEE Chilecon2025 is an official IEEE Conference (Record number # 66915). All accepted papers will be published in IEEE Xplore and presented for Scopus indexation. Chilecon2025 is co-located with another 2 conferences: - 51a Conferencia Latinoamericana de Informática - CLEI2025 ( conferencia2025.clei.org), and - Jornadas Chilenas de Computación - JCC2025 (jcc2025.pucv.cl) Registration Early birds Oct 1, -10% General audience: USD 250 Full author registration: USD 350 (-10% IEEE, ACCA member) Co-author student: USD 60, with Author registration. Paper with only a student must register at the full author rate. Student Registration; General student: USD 60. IEEE Chilecon2025 web: http://chilecon2025.pucv.cl

1 0

PhD position at the University of Duisburg-Essen
by Barbara König 10 Jun '25

10 Jun '25

PhD position at the University of Duisburg-Essen ====================================================================== The Theoretical Computer Science Group (Prof. Barbara Koenig) at the University of Duisburg-Essen, Campus Duisburg (Germany) has one open PhD position paid according to TV-L 13 (full-time): https://www.uni-due.de/karriere/stelle.php?kennziffer=289-25 The PhD thesis topic will be in the area of modelling and verification of concurrent systems. Our main research interests are behavioural equivalences and behavioural metrics, graph transformation systems and fixpoint theory with applications to formal methods for reinforcement learning. For more information on the research group see https://www.uni-due.de/theoinf/index_en.php We offer a well-paid position in a stimulating research environment. Do not hesitate to contact me if you have questions! Requirements ------------ You should have or should be in the process of obtaining an MSc or equivalent degree (in Computer Science or Mathematics). Prior knowledge about the topics mentioned above is considered an advantage but not strictly necessary. Good English speaking and writing skills are demanded, as well as the willingness to learn German. The application deadline is 3rd July 2025. ====================================================================== Your Application ---------------- You can obtain further information by adressing your enquiries to: Barbara Koenig barbara_koenig(a)uni-due.de tel.: ++49-203-3793397 If you are interested in the position, please send your application. Your application should include: * A description of your interest in the position, including your motivation and specific qualifications. * A curriculum vitae, including an abstract of your graduate thesis and the name of your supervisor. Please send your application directly to me (barbara_koenig(a)uni-due.de).

1 0