We’re proud to annouce that our principal investigator Joël Ouaknine has received the LICS Test-of-Time Award for his 2005 paper “On the Decidability of Metric… Read More
News
In spring 2025, we met in Bad Hersfeld, located in-between Saarbrücken and Dresden, for a three-day all-hands-on-deck meeting to discuss each project’s progress and perspective… Read More
At the midpoint of our 12-year research agenda, PIs Raimund Dachselt and Holger Hermanns have swapped their roles: As of the beginning of 2025, PI Raimund Dachselt is now the spokesperson of CPEC and PI Holger Hermanns takes the role of Co-Spokesperson. Read More
Congratulations to our PI Joël Ouaknine on receiving the ERC Synergy Grant “DynAMiCs” from the European Research Council, awarded jointly with Valerie Berthe (CNRS/IRIF, France)… Read More
In September of 2024, we once again convened for an in-person meeting of all CPEC researchers in Dresden. Like in 2023, the event included additional… Read More
PI Anne Lauber-Rönsberg Elected Deputy Member of the Saxon Constitutional Court
June 12th 2024 GeneralOur PI Prof. Dr. Anne Lauber-Rönsberg has been elected by the Saxon state parliament as a deputy member of the Saxon Constitutional Court. The members… Read More
Successful kick-off event for mentoring program for female early career researchers and students
April 25th 2024 GeneralOn April 18, the kick-off event for the second round of the mentoring program for female early career researchers and students took place in the… Read More
The three-day, English-speaking conference, which was conceived and organized by the Diversity Management department of the TU Dresden in collaboration with the coordinators of several… Read More
In March 2024, we met again to synchronize our research agenda across our different location. This time, in addition to plenary talks and project-specific work… Read More
In April 2024, we will, for the first time, invite young female pupils (12+ years) to an easter academy in cooperation with InfoLab Saar. There,… Read More
On Wednesday, 20 September, the mentoring programme for young women, for young female scientists and students took place on the topic of “Do’s and Don’ts… Read More
In September 2023, we’re continuing our biyearly general assemblies, meeting from 04.09.-07.09.2023.This iteration contains an extra day for our Young Researchers, organized by our Young… Read More
After the successful proposal for a second funding period, in March 2023, we met to kick off this next phase of CPEC. Read More
We are proud to announce that CPEC PI Maria Christakis has received an ERC starting grant: MirandaTesting: Testing Program Analyzers Ad Absurdum Program analyzers act… Read More
We are pleased to share the news that our Center for Perspicuous Computing is one of five Transregional Collaborative Research Centres that DFG has approved… Read More
In our CPEC Colloquium series, we invite distinguished speakers to share their research on perspicuity and related topics. We’re happy to announce the following talk: Wednesday, November… Read More
In 2022, Principal Investigator Bernd Finkbeiner and CPEC member Sven Apel each received an ERC Advanced Grant: Read More
In July, we will meet halfway between Dresden and Saarbrücken – for the first time in CPEC’s history. The meeting serves to prepare the review… Read More
Young Researchers Colloquium Series: Muhammad Usama Sardar
April 22nd 2022 CPEC Young Researchers Colloquium SeriesIn our CPEC Young Researchers Colloquium series, we invite young CPEC researchers to present their research to all of CPEC in a short and lightweight talk. We’re… Read More
At the 33rd International Conference on Concurrency Theory (CONCUR), three CPEC principal investigators received a test of time award for their outstanding publications. The CONCUR… Read More
Two CPEC papers receive an AAAI-22 “outstanding paper award, honorable mention”
March 4th 2022 AwardsWe’re pleased to announce that two of our Principal Investigators are now holding an “outstanding paper award, honorable mention” at the 36th AAAI Conference on… Read More
In our CPEC Young Researchers Colloquium series, we invite young CPEC researchers to present their research to all of CPEC in a short and lightweight talk. We’re… Read More
In March, we will meet again in Saarbrücken. The main purpose of this meeting will be to plan the second CPEC phase and prepare the… Read More
We’re proud to announce that Joël Ouaknine has been granted an ACM Fellowship for contributions to algorithmic analysis of dynamical systems. Joël Ouaknine is an expert in… Read More
Young Researchers Colloquium Series: Nikolai Käfer
November 8th 2021 CPEC Young Researchers Colloquium SeriesIn our CPEC Young Researchers Colloquium series, we invite young CPEC researchers to present their research to all of CPEC in a short and lightweight talk. We’re… Read More
In September, we’ll finally meet in Dresden again. There, we plan to discuss the progress of all projects, plan additional collaborations across our universities and… Read More
Young Researchers Colloquium Series: Robin Ziemek
July 16th 2021 CPEC Young Researchers Colloquium SeriesIn our CPEC Young Researchers Colloquium series, we invite young CPEC researchers to present their research to all of CPEC in a short and lightweight talk. We’re… Read More
We’re proud to announce that in addition to his AAAI Fellowship, Jörg Hoffmann has been granted an EurAI Fellowship. Jörg Hoffmann is an expert in… Read More
Young Researchers Colloquium Series: Patrick Koopmann
July 2nd 2021 CPEC Young Researchers Colloquium SeriesIn our CPEC Young Researchers Colloquium series, we invite young CPEC researchers to present their research to all of CPEC in a short and lightweight talk. We’re… Read More
In our CPEC Colloquium series, we invite distinguished speakers to share their research on perspicuity and related topics. We’re happy to announce the following talk: Friday, June… Read More
The website revolving around the CPEC projects related to the Racetrack use case is online! On this page you find general information about and material… Read More
Friday, May 28, 2:15pm: Markus Langer (Saarland University, DE) An Applied Psychology Perspective on Explainable Artificial Intelligences This talk presents research at the intersection of… Read More
First International Workshop on Requirements Engineering for Explainable Systems (RE4ES)
April 26th 2021 GeneralWe gladly support the ramp-up of the First International Workshop on Requirements Engineering for Explainable Systems (RE4ES) and we strongly encourage submissions. This workshop is working to bridge the gap between Requirements Engineering and Perspicuity. Read More
In our upcoming 4th general CPEC meeting starting on 10.03.2021, we’ll focus on looking for new external collaborations and fostering internal collaboration between our young researchers. Read More
In our CPEC Colloquium series, we invite distinguished speakers to share their research on perspicuity and related topics. We’re happy to announce a talk by Diogo Behrens (Huawei Dresden, DE) on Friday, Feb 26, 2:15pm. Read More
Stopping the Invisible Hands: Boeing’s Suspicious MCAS System
February 12th 2021 GeneralSuspicious ComputingIf you’re inclined to trust the boastful announcements, they’re already here: Autonomous cars that are capable of getting you from A to B through dense… Read More
In our CPEC Colloquium series, we invite distinguished speakers to share their research on perspicuity and related topics. We’re happy to announce a talk by Prof. Isabel Valera (Saarland University, Saarbrücken, DE) on Friday, Feb 19, 2:15pm. Read More
In our CPEC Colloquium series, we invite distinguished speakers to share their research on perspicuity and related topics. We’re happy to announce a talk by Robert R. Hoffman, Ph.D. (Institute for Human and Machine Cognition, Pensacola, FL) on Friday, Jan 29, 3:15pm. Read More
We’re proud to announce that Jörg Hoffmann, one of our principal investigators, has been granted an AAAI Fellowship for significant contributions to AI planning and related areas, particularly in the design and analysis of heuristic functions and other search methods. Read More
Franz Baader wins Herbrand Award for Distinguished Contributions to Automated Reasoning
October 27th 2020 AwardsWe’re proud to annouce that Franz Baader, one of our principal investigators, has been bestowed the Herbrand Award for Distinguished Contributions to Automated Reasoning in recognition of his significant contributions to unification theory, combinations of theories and reasoning in description logics. Read More