ERC consolidator grant "CSP-Infinity"

The research project "Homogeneous Structures, Constraint Satisfaction Problems, and Topological Clones" (CSP-Infinity, grant number 681988) was conducted from October 2016 until September 2021 at the institute of algebra of TU Dresden. It was funded by the European Research Council (ERC) as a consolidator grant. The principal investigator is Manuel Bodirsky.

Team members

  • Manuel Bodirsky, principal investigator.
  • Bertalan Bodor, PhD student (automorphism groups of Ramsey structures), since October 2016.
  • Johannes Greiner, PhD student (polynomial-time decision procedures for CSPs of combinations of theories), co-funded.
  • Thomas Quinn-Gregson (Octobre 2018-September 2021)

  • Albert Vucaj (since October 2018)

  • Andres Aranda (October 2017 - July 2020)
  • Marcello Mamino (complexity of algebraic constraint satisfaction problems), associated member (wissenschaftlicher Mitarbeiter at the institute until November 2017).
  • Antoine Mottet, PhD student (The complexity of arithmetic CSPs), funded by the DFG graduate program QuantLA (September 2015 - August 2018).
  • Jakub Oprsal, postdoc (universal algebra), (October 2016 - November 2018).
  • Caterina Viola (valued constraint satisfaction problems over infinite domains, for semilinear cost functions), funded by the DFG graduate program QuantLA (March 2016 - March 2020).

Associated team members

  • Simon Knäuer, PhD student (Complexity of Network Satisfaction Problems, Applications of Constraint Satisfaction in Finite Model Theory), since October 2018. Funded by the research training group QuantLA. 
  • Florian Starke, PhD student (Theory of Digraph Homomorphisms), since October 2018. Associated member of QuantLA. 
  • Jakub Rydval, PhD student (Expressability of CSPs in Fixed Point Logic), QuantLA member under primary supervision of Prof. Franz Baader. 

Events

2021:

  • 27.09.21-02.10.21: Bertalan Bodor, Jakub Rydval, and Albert Vucaj participate at the CSP World Congress, Kranjska Gora, Slovenia. 
  • 20.09.21-24.09.21: Manuel Bodirsky participating at a HIM Workshop (virtual) on tropical geometry and complexity. 
  • 01.09.21: the prospective PhD student Zaneta Semanisinova is visiting our group. 
  • 13.07.21-16.07.21: Simon Knäuer and Manuel Bodirsky participating at ICALP (virtual), Simon presenting in a video joint result with Sebastian Rudolph and Manuel Bodirsky. 
  • 29.06.21-02.07.21: Bertalan Bodor and Manuel Bodirsky participating at LICS (virtual), Bertalan Bodor presenting a joint paper. 
  • 09.06.21-13.06.21: Manuel Bodirsky particiapting at the BLAST conference (virtual), giving an invited tutorial. 
  • 04.06.21-06.06.21: Bertalan Bodor, Albert Vucaj, Reinhard Poeschel, and Jakub Rydval  participate at AAA 101 in Novi Sad. 
  • 18.05.21: Johannes Greiner presents joint paper with Manual Bodirsky at JELIA. 
  • 04.02.21-07.02.21: Manuel Bodirsky giving an invited Tutorial at AAA 100 in Krakow (virtual). 
  • 03.01.21-09.01.21: Jointly with Michael Pinsker and Joanna Ochremiak, Manuel Bodirsky is organising the Oberwolfach Seminar `Homogeneous structures: model theory meets universal algebra'. 

2020:

  • 26.10.20-29.10.20: Simon Knäuer and Manuel Bodirsky participating at the conference RAMICS (virtual), Simon presenting a joint paper. 
  • 20.09.20-26.09.20: Bertalan Bodor, Simon Knaeuer, Jakub Rydval, and Albert Vucaj participating in the CSP World Congress, Voels am Schlern, Austria. 
  • 08.07.20-12.07.20: Jakub Rydval and Manuel Bodirsky participating at LICS. Their contributed video for their joint paper (with Wied Pakusa) wins the best video award!
  • 01.07.20: Simon Knaeuer, Florian Starke, and Manuel Bodirsky present a video about their joint paper at the conference `Computing in Europe'. 
  • 17.06.20: PhD defense of Caterina Viola. 
  • 21.02.20-23.02.20:  Reinhard Poeschel, Jakub Rydval, Simon Starke, Caterina Viola, and Albert Vucaj participate at the AAA 99 in Sienna. 
  • 13.01.20: Antoine Mottet is awarded the Ackermann Award for his PhD at the institute of Algebra. 

2019:

  • 07.12.19-10.12.19: Manuel Bodirsky participating at the 22nd Colloquiumfest, giving an invited lecture. 
  • 10.19-11.19: Anvar Nurakunov is visiting our group. 
  • 20.11.19-21.11.19: Research Exchange Trip "Universal Algebra and CSP" from Dresden (Aranda, Bodor, Bodirsky, Greiner, Knäuer, Lehtonen, Nurakunov, Starke, Rydval, Vucaj, Viola) to the institute of algebra in Prague
  • 21.10.19-22.10.19: Simon Knäuer, Jakub Rydval, and Manuel Bodirsky participate at the Section meeting `Logic in der Informatik' in Jena. 
  • 14.10.19-18.10.19: Caterina Viola is visiting Standa Zivny's group in Oxford. 
  • 23.09.19-26.09.19: Simon Knäuer, Thomas Quinn-Gregson, and Florian Starke participating at the Logic Section of the DMV meeting in Karlsruhe, all giving a talk. 
  • 01.09.19-07.09.19: Bertalan Bodor, Reinhard Poeschel, and Albert Vucaj participating at the summer school SSAOS in Karolinka (Czechia), each of them delivering a talk. 

  • 29.07.19-01.08.19: Simon Knäuer, Florian Starke and Manuel Bodirsky participating at the Midsummer Combinatorial Workshop.  

  • 25.06.19-28.06.19: Caterina Viola and Albert Vucaj participate in the Algebra Week at Sienna. 
  • 21.06.19-23.06.19: The institute of algebra is hosting the conference AAA 98 (>100 participants), organised by Lehtonen, Oprsal, Bodirsky, who were supported by the entire Dresden group.  
  • 10.06.19-13.06.19: Thomas Quinn-Gregson presents his results at the SandGal conference "semigroups and groups, Automata, logics" in Cremona. 
  • 07.03.19-09.03.19: Jakub Oprsal visiting Dresden. 
  • 28.02.19-03.03.19: Many group members (Bodor, Bodirsky, Greiner, Quinn-Gregson, Knaeuer, Poeschel, Rydval, Starke, Vucaj) participating at AAA in Vienna, all of them giving presentations. 
  • 21.01.19-23.01.19: James Worrell visiting our group. 

2018:

  • 26.11.1-27.11.18: Thomas Quinn-Gregson visits York University and gives a talk on CSPs.
  • 29.10.18-01.11.18: Manuel Bodirsky participating at RAMICS in Groningen, giving an invited plenary talk. 
  • 24.10.18-26.10.18: Pablo Cubides is visiting the institute. 
  • 22.10.18-25.10.18: Johannes Thapper is visiting our group. 
  • 17.10.18-18.10.18: Many group members (Aranda, Bodirsky, Bodor, Greiner, Knäuer, Lehtonen, Mamino, Quinn-Gregson, Rydval, Viola, Vucaj) visit Prag for research exchange. 
  • 01.10.18: Albert Vucaj, Simon Knäuer, Jakub Rydval, and Florian Starke start as PhD students. 
  • 17.09.18-21.09.18: Andres Aranda and Bertalan Bodor participating at the workshop ``From Permutation Groups to Model Theory'', ICMS Edinburgh, Aranda being one of the organizers. 
  • 18.07.18-29.07.18: Caterina Viola visiting Johan Thapper in Greater Paris. 
  • 19.06.18-22.06.18: Jakub Oprsal gives an invited talk at the Algebra Week in Sienna. 
  • 31.05.18-03.06.18: Many group members (including Bodor, Bodirsky, Greiner, Mottet, Oprsal, Viola, Schneider) participating at AAA in Darmstadt. 
  • 24.05.18-30.05.18: Dima Zhuk visiting our group. 
  • 15.03.18-24.03.18: Research exchange trip of Manuel Bodirsky to TU Wien (Pinsker) and EP Lausanne (Workshop Topological Groups). 
  • 05.03.18-09.03.18: Manuel Bodirsky organising the logic section at the DMV meeting in Paderborn; Aranda from our group is participating and presenting. 
  • 07.02.18: The group (inclusing Aranda, Bodor, Greiner, Mamino, Mottet, Oprsal, Starke, Bodirsky) is visiting the algebra group in Prague. 
  • 25.01.18-28.01.18: Bertalan Bodor and Manuel Bodirsky partitipating at the conference `Beauty of Logic' at Villa Lana in Prague. 

2017:

  • 20.12.17-22.12.17: Research exchange trip of Manuel Bodirsky to the University of Basel (Helmert). 
  • 8.11.17-18.11.17: Michal Stronkowski visiting our group. 
  • 10.17-12.17: Anvar Nurakunov is visiting our group. 
  • 15.06.17-18.06.17: Bertalan Bodor, Manuel Bodirsky, Marcello Mamino, Jakub Oprsal,  and Caterina Viola participating at the AAA conference in Novi Sad where the two proofs of the finite-domain CSP dichotomy conjecture were announced. 
  • 3.4.17-7.4.17: Barnaby Martin from Durham visiting our group. 

  • 8.3.17-17.3.17: Research exchange trip of Manuel Bodirsky to Warsaw (Bojancyzk, Toruncyzk), Krakow (Kozik, Wrona), and Prague (Barto).  

2016:

About this page

Manuel Bodirsky
Last modified: Nov 23, 2021