Talks and Conferences
Upcoming:
- Participant at Dagstuhl Seminar 'The Constraint Satisfaction Problem: Approximability and Complexity', 15-20.5.22, Schloss Dagstuhl.
Past:
- Participation at Dagstuhl Seminar 'Logic and Random Discrete Structures', 6.-11.2.22, Schloss Dagstuhl.
- Invited Tutorial Speaker at BLAST, June 9-13, Online in Las Cruces, New Mexico State University.
- April 29, talk at the Ulam Seminar at CU Boulder.
- PC member of RAMICS 2021.
- Durham Symposium on Mathematics of Constraint Satisfaction, 19.-24.07.2020, Durham University. POSTPONED BECAUSE OF THE CORONAVIRUS PANDEMIC
- Invited Tutorial Speaker at AAA 100 in Krakow: "Oligomorphic clones", February 4-7.2021.
- Organiser of the Oberwolfach Workshop: Homogeneous structures: model theory meets universal algebra, Mathematisches Forschungsinstitut Oberwolfach, 03.-09.01.2021. Took place virtually.
- PC member of ICALP 2020. Took place electronically.
- My video with Jakub Rydval at LICS 2020 got the best video award!
- Algorithmic Model Theory Meeting, 25.-27.03.2020, Darmstadt. CANCELLED BECAUSE OF THE CORONAVIRUS PANDEMIC
- PC member of STACS 2020.
- Participating at the 22nd Colloquiumfest, 6.12.-9.12.2019, Prague.
- PC member of RAMICS 2020.
- PC member of CSL 2020.
- Universal Algebra and CSP exchange visit to the Algebra Department at Charles University, Prague, 20.11.2019. Slides of my talk.
- Participating at the QuantLA Workshop of our graduate program at Schloss Stolpen, 7.10.-11.10.2019.
- Participating at the 25. Jahrestagung der GI Fachgruppe "Logik in der Informatik", 21.-22.10.2019, Jena.
- Participating at the Midsummer Combinatorial Workshop in Prague, 29.7.-2.7.2019. Slides of my talk.
- Organisator der 98ten Arbeitstagung Allgemeine Algebra, 21-23.6.2019, in Dresden.
- QuantLA Spring school, 25.3.2019 - 29.3.2019, in Krippen.
Slides of my talk. - PC member of CSR 2019.
- Teilnahme an der 97ten Arbeitstagung Allgemeine Algebra, 1.3.2019 - 3.3.2019, in Wien.
- Eingeladener Sprecher des Workshops RAMiCS 2018, October 29 - November 2, in Groningen.
- Research exchange trip to Prag, October 17-18, 2018.
- Teilnehmer am QuantLA Workshop 2018, August 28-31, in Meissen.
- Teilnehmer am Dagstuhl Seminar 18231, The Constraint Satisfaction Problem: Complexity and Approximability, June 3-8, in Dagstuhl.
- Organisator der 96ten Arbeitstagung Allgemeine Algebra, June 1-3, 2018, in Darmstadt.
- Teilnahme am Workshop Structure and dynamics of Polish groups, im Rahmen des Spezialsemesters zu `Descriptive set theory and Polish groups' , EPFL Lausanne, March 19-23, 2018.
- Vortrag im FG1 Seminar (universelle Algebra und Mengelehre) der TU Wien, 16.3.2018.
- Organisation der Sektion 'mathematische Logik' der gemeinsamen Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV) und der Gesellschaft für Didaktik der Mathematik (GDM), 05.-09. März 2018, Paderborn.
- Talk in the Workshop of the European Master Program in Computational Logic, Dresden, February 2018.
- Invited Speaker of the Prague Gathering of Logicians, held jointly with `Beauty of Logic', at Villa Lanna in Prague, January 25-27, 2018.
- Talk in the seminar of the department of mathematics and computer science of the University Basel, December 2017.
- Teilnahme am QuantLA Workshop 2017, 18-22.9.2017 in Altenberg.
- PC member of the 42nd International Symposium on Mathematical Foundations of Computer Science, August 21-25, 2017, Aalborg (Denmark)
- Invited speaker at the conference AAA94+NSAC17, The 94th Workshop on General Algebra in conjunction with the 5th Novi Sad Algebraic Conference, Novi Sad, Serbia, June 15-18, 2017. THIS WAS MY LAST FLIGHT.
- Research train trip to Prag, Warsaw, and Krakow, March 8 - March 17, 2017.
- Teilnahme AAA94+NSAC17, The 94th Workshop on General Algebra in conjunction with the 5th Novi Sad Algebraic Conference, Novi Sad, Serbia, June 15-18, 2017.
- Teilnahme am Dagstuhl Seminar 16482, Algorithms and Effectivity in Tropical Mathematics and Beyond, November 27 -- December 02, 2016.
- Im Editorial Board des Journals Mathematical Logic Quarterly (MLQ).
- Teilnahme am QuantLA Workshop 19.-23.9.2016 in Krippen.
- Im Programmkomitee des Logic Colloquium 2016 (Leeds).
- Im Programmkomitee des Colloquium Logicum 2016 (Hamburg), Teilnahme am Colloquium am 10. und 11.9.2016.
- Im Programmkomitee der Konferenz Computer Science Logic 2016 (Marseille).
- Organisation der QuantLA Schule, 15.-20.5.2016 in Leipzig.
- Eingeladener Sprecher im Rahmen der DMV/GAMM-Jahrestagung 2016, Braunschweig, 7.-11. März (Sektion Discrete Mathematics and Theoretical Computer Science)
- Teilnahme am BIRS-Workshop Homogeneous Structures, Banff, Canada, November 8 until November 13, 2015.
- Organisation des Workshops Qualitative Temporal and Spatial Reasoning: Algorithms and Complexity, zur KI'2015, Dresden, 21/22.9.2015.
- Organisation der Konferenz Groups and Topological Groups (GTG) in Dresden am 30.7.2015 und 31.7.2015.
- Teilnahme am Dagstuhl Seminar 15301, The Constraint Satisfaction Problem: Complexity and Approximability, July 19-24, 2015.
- Eingeladener Sprecher 25th British Combinatorial Conference, July 6-10, 2015, Warwick, UK.
- Betreuer im Graduiertenkolleg QuantLA (DFG Research Training Group 1763).
- Eingeladener Sprecher 32nd International Symposium on Theoretical Aspects of Computer Science (STACS), March 4-7, 2015, Munich, Germany.
- Organisation der AAA 89, February 26 to March 1, 2015, Dresden.
- Mitglied ICCL (International Center for Computational Logic).
- Organisation des Workshops Algebraic and Model Theoretical Methods in Constraint Satisfaction, Banff International Research Station, November 23-28, 2014.
- Eingeladener Sprecher beim Colloquium Logicum 2014, 4-6 September, Munich, Germany.
- Teilnahme am Dagstuhl Seminar 14331, Querying and Reasoning Under Expressive Constraints, 10-14 August, 2014.