In 2022, Principal Investigator Bernd Finkbeiner and CPEC member Sven Apel each received an ERC Advanced Grant: ERC Advanced Grant awarded to Bernd Finkbeiner:Logics and… Read More
News
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