cl-banner

Latest News


September 9, 2020: Congratulations: Fabian Mitterwallner completes his master studies

Today Fabian successfully defended his master thesis on “Extending Tools for Confluence and Related Properties of Rewrite systems”. We are happy that Fabian will be employed on a university position to pursue a PhD.

 May 4, 2020: René Thiemann is joint invited speaker of FSCD-IJCAR conference 2020

The international conference on formal structures for computation and deduction (FSCD) and the international joint conference on automated reasoning (IJCAR) are two major conferences in the areas of rewriting, verification, automated deduction, and automated reasoning. In 2020 these conferences are collocating as part of the Paris Nord Summer of LoVe 2020, a joint event on logic and verification. There will be two joint invited speakers: John Harrison of Amazon Web Services and René Thiemann from our research group. CL congratulates.

April 28, 2020: Congratulations: Jonas Schöpf completes his master studies

Today Jonas successfully defended his master thesis on “The Weighted Path Order in TTT2”. We are happy that Jonas will be employed on a university position to pursue a PhD.

February 1, 2020: Georg Moser becomes full professor

Georg Moser, who joined CL in 2004, has been appointed as professor at the Department of Computer Science. He will head the “Theoretical Computer Science” group. We wish him all the best and look forward to fruitful collaboration.

 

News Archive »

Nach oben scrollen