Kristina Asimi

PAST EVENTS

• September 2-5, 2025: Algebra Week, University of Siena, Siena, Italy

Talk: (Promise) Model Checking Problems

• May 29, 2025: Algorithms and Complexity Theory Seminar, University of Oxford, Oxford, UK

Talk: Promise Model Checking Problems

• May 27, 2025: ACiD Workshop: Games and Graphs II, Durham University, Durham, UK

• April 14-16, 2025: British Colloquium for Theoretical Computer Science, University of Strathclyde, Glasgow, UK 

• March 27-30, 2025: Spring School of Algebra, Strážné, Czech Republic

• March 25, 2025: Algebra Colloquium, Charles University, Prague, Czech Republic

Talk: Promise Model Checking Problems

• February 7-9, 2025:  AAA106 - 106th Workshop on General Algebra, Olomouc, Czech Republic

• January 7, 2025: Computing Education Practice, Durham University, UK

• November 12-13, 2024: Liverpool Discrete Mathematics Colloquium, University of Liverpool, UK

• October 29, 2024: ACiD Seminar, Durham University, UK

Talk: Promise Model Checking Problems

• September 23-27, 2024: CSP World Congress, Colfosco, Italy

• September 10-13, 2024: Algebra Week, Siena, Italy

• May 31-June 2, 2024: AAA105 - 105th Workshop on General Algebra, Prague, Czech Republic

• May 7-8, 2024: Birmingham CSP Meeting, University of Birmingham, UK

Talk: Model Checking Problems

• May 1, 2024: ACiD Workshop: Games and Graphs, Durham University, Durham, UK

• April 15, 2024: Cambridge Algorithms and Complexity Workshop, University of Cambridge, UK

• February 9, 2024: SLADIM+ Seminar, University of Novi Sad, Serbia

Talk: (Promise) Constraint Satisfaction Problem

• November 30-December 3, 2023: Fall School of Algebra, Teplice nad Metují, Czech Republic

Talk: Teaching Mathematics in a Montessori school

• July 1, 2023: Women in Logic workshop, Rome, Italy (online)

• March 27, 2023: G²OAT seminar, Czech Technical University, Prague, Czech Republic

Talk: Promise CSP (standard and seen from the other side)

• March 23-26, 2023: Spring School of Algebra, Bohemian Paradise, Czech Republic

• February 14, 2023: ACiD Seminar, Durham University, UK (online)

Talk: Promise CSP (standard and seen from the other side)

• September 26-29, 2022: LAP 2022 - Logic and Applications 2022, Dubrovnik, Croatia

Talk: Fixed-Template Promise Model Checking Problems

• September 18-24, 2022: CSP World Congress, Molveno, Italy

• August 2-5, 2022: CP 2022 - The 28th International Conference on Principles and Practice of Constraint Programming, Haifa, Israel

Talk: Fixed-Template Promise Model Checking Problems

• July 31, 2022: WiL 2022 - 6th International Workshop "Women in Logic", Haifa, Israel

• May 15-20, 2022: Dagstuhl Seminar 22201: The Constraint Satisfaction Problem: Complexity and Approximability, Schloss Dagstuhl, Germany

• April 13, 2022: SIAM SC Seminar, Charles University, Prague, Czech Republic

Talk: (Not) Finitely Tractable PCSPs

• March 25, 2022: Seminar of the Algebra Group at TU Wien, Vienna, Austria

Talk: (Not) Finitely Tractable PCSPs

• November 3-7, 2021: Fall School of Algebra, Lucky vrch, Czech Republic

• September 26-October 2, 2021: CSP World Congress, Kranjska Gora, Slovenia

Talk: Promise First-Order Model Checking Problems Parameterized by the Model

• August 23-27, 2021: MFCS 2021 - 46th International Symposium on Mathematical Foundations of Computer Science, Tallinn, Estonia

Talk: Finitely Tractable Promise Constraint Satisfaction Problems

• June 4-6, 2021: AAA101 - 101st Workshop on General Algebra, Novi Sad, Serbia (online)

• May 25-27, 2021: ISMVL 2021 - IEEE International Symposium on Multiple-Valued Logic, Nursultan, Kazakhstan (online)

• February 23, 2021: PALS - Panglobal Algebra and Logic Seminar, CU Boulder, USA (online)

Talk: Finitely tractable PCSPs  

• February 5-7, 2021: AAA100 - 100th Workshop on General Algebra, Krakow, Poland (online)

• September 20-26, 2020: CSP World Congress 2020, Völs am Schlern, Italy

Talk: Not finitely tractable PCSPs

• February 21-23, 2020: AAA99 - The 99th Workshop on General Algebra, Siena, Italy

Talk: Infinity - Relevant or Irrelevant

• October 3-5, 2019: The Young Mathematicians Conference, Novi Sad, Serbia

Talk: Obećanja svode konačne probleme na beskonačne (Translation: Promises Reduce Finite Problems to Infinite Ones)

• September 1-7, 2019: SSAOS 2019 - The 57th Summer School on General Algebra and Ordered Sets, Karolinka, Czech

Talk: Infinite Nature of Finite PCSPs

• June 21-23, 2019: AAA98 - The 98th Workshop on General Algebra, Dresden, Germany

• June 9-11, 2019: Russian Workshop on Complexity and Model Theory, Dolgoprudny, Russia

• April 4-7, 2019: Spring School of Algebra, Seč-Ústupky, Czech Republic

Talk: Infinity Is Relevant 

• March 1-3, 2019: AAA97 - The 97th Workshop on General Algebra, Vienna, Austria

• August 7-12, 2018:  The Cornell, Maryland, Max Planck Pre-doctoral Research School, Saarbrücken, Germany

• November 21-22, 2017: Data Science Conference, Belgrade, Serbia