Theoretische Informatik
Journal Papers - December 2021
A series of papers co-authored by Florin Manea were accepted and will soon appear in the journals Algorithmica, Journal of Software: Evolution and Process, Theory of Computing Systems, and the International Journal of Foundations of Computer Science. See our Publications page.____________________________________________________________________________
Accepted Paper at RP 2021 - October 2021
A paper co-authored by all the members of our group was accepted at RP 2021. See our Publications page.____________________________________________________________________________
Accepted Papers at MFCS 2021 and WORDS 2021 - Summer 2021
A paper co-authored by the members of our group was accepted at MFCS 2021 and one at WORDS 2021. See our Publications page.____________________________________________________________________________
Accepted Paper at CAV 2021 - July 2021
Florin Manea's paper was accepted at CAV 2021. See our Publications page.____________________________________________________________________________
Theory and Practice of String Solving @ CAV 2021 - July 2021
Florin Manea is an invited speaker at the workshop Theory and Practice of String Solving, organized at CAV 2021.____________________________________________________________________________
Accepted Paper at CiE 2021 - June 2021
Maria Kosche's paper was accepted at CiE 2021. See our Publications page.____________________________________________________________________________
Romanian Algorithms Days - June 2021
Florin Manea is an invited speaker at the workshop Romanian Algorithms Days.____________________________________________________________________________
PC Memberships - 2021
Florin Manea is a Program Committee member of RP 2021, CiE 2021, CPM 2021, CSL 2021, WORDS 2021.____________________________________________________________________________
Accepted Papers at STACS 2021 and SOFSEM 2021 - Winter 2021
Two papers co-authored by the members of our group were accepted at STACS 2021 and one at SOFSEM 2021. Other recent papers were accepted at ICALP 2020 - Track B, FORMALISE@ICSE 2020, AST@ICSE 2020, DLT 2020.____________________________________________________________________________
Lecture Series - March 2021
Our group organizes a CIDAS-lecture series on the subject "The interplay between fundamental computer science and data science".More details here.
____________________________________________________________________________
Lehrpreis 2020 - December 2020
Florin Manea was awarded the Lehrpreis 2020 (Teaching Award) by the CS-students from Göttingen.____________________________________________________________________________
Christmas Event Talk - December 2020
Maria Kosche gave an invited talk at the Christmas Event organized by the CS-students from Göttingen.____________________________________________________________________________
Special Issues - September 2020
Our papers from ICALP 2020 - Track B, DLT 2020, and AST@ICSE 2020 were invited to the journal special issues dedicated to the respective conferences.____________________________________________________________________________
Awards - July 2020
Best Presentation Award at FORMALISE@ICSE 2020. Special Recognition Award at AST@ICSE 2020.____________________________________________________________________________
Logic Mentoring Workshop - July 2020
Florin Manea was invited speaker at the 5th Logic Mentoring Workshop, LMW 2020.____________________________________________________________________________
Other News
Florin Manea was invited speaker at WORDS 2019.____________________________________________________________________________