diff --git a/content/_index.md b/content/_index.md index ed99873..c8a4a31 100644 --- a/content/_index.md +++ b/content/_index.md @@ -39,8 +39,8 @@ sections: date_start: '2022-10-01' date_end: '2023-03-31' description: |2- - Teaching students the basics of logic in computer science (the first course is called "Grundlagen der Logik in der Informatik") and the basics of functional programming languages ("Theorie der Programmierung"). - - title: Midlands Graduate School + Teaching students the basics of logic in computer science ("Grundlagen der Logik in der Informatik") and the basics of functional programming languages ("Theorie der Programmierung"). + - title: Midlands Graduate School 2024 company: University of Leicester company_url: 'https://le.ac.uk/' company_logo: leicester @@ -48,7 +48,7 @@ sections: date_start: '2024-04-08' date_end: '2024-04-12' description: |2- - Visiting a graduate school on the Mathematical Foundations of Computing Science. + Visiting the [midlands graduate school](https://www.cs.le.ac.uk/events/mgs2024/) on the Mathematical Foundations of Computing Science. - title: Student Research Assistant company: University of Erlangen-Nuremberg company_url: 'https://www.fau.eu'