Grundlagen der Informatik

Accepted Paper at CAV 2021

Florin Manea's paper was accepted at CAV 2021. See our Publications page.
____________________________________________________________________________

Accepted Paper at CiE 2021

Maria Kosche's paper was accepted at CiE 2021. See our Publications page.
____________________________________________________________________________

Theory and Practice of String Solving @ CAV 2021

Florin Manea is an invited speaker at the workshop Theory and Practice of String Solving, organized at CAV 2021.
____________________________________________________________________________

Romanian Algorithms Days

Florin Manea is an invited speaker at the workshop Romanian Algorithms Days.
____________________________________________________________________________

PC Memberships

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

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

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.
____________________________________________________________________________