Joanna Ochremiak Photo Joanna Ochremiak Photo

Hello

My name is Joanna Ochremiak, I am a postdoctoral researcher at IRIF, Université Paris Diderot.




Research

My research interests include: constraint satisfaction problems, finite model theory, computation theory with atoms, database theory & automata over infinite alphabets.

Upcoming

Logical Structures in Computation Reunion Workshop

Proof Complexity Dagstuhl Seminar

Papers

Proof Complexity Meets Algebra | with Albert Atserias

ICALP 2017  ||  download↓

Homomorphism Problems for First-Order Definable Structures | with Bartek Klin, Sławek Lasota, Szymon Toruńczyk

FSTTCS 2016  ||  download↓  ||  full↓

Extended Constraint Satisfaction Problems

PhD thesis   ||  download↓

Eliminating Recursion from Monadic Datalog Programs on Trees | with Filip Mazowiecki, Adam Witkowski

MFCS 2015  ||  download↓

Locally Finite Constraint Satisfaction Problems | with Bartek Klin, Eryk Kopczyński, Szymon Toruńczyk

LICS 2015  ||  download↓

Algebraic Properties of Valued Constraint Satisfaction Problem | with Marcin Kozik

ICALP 2015  ||  download↓  ||  full↓

Turing Machines with Atoms, Constraint Satisfaction Problems, and Descriptive Complexity | with Bartek Klin, Sławek Lasota, Szymon Toruńczyk

LICS 2014  ||  download↓

Nominal Sets over Algebraic Atoms

RAMiCS 2014  ||  download↓

Talks

Proof Complexity of Constraint Satisfaction Problems

15.09.2017  HIGHLIGHTS 2017
7.09.2017  Finite and Algorithmic Model Theory Dagstuhl Seminar  ||  download↓
3.05.2017  Current Topics in Logic and Database Theory Berlin  ||  download↓
12.04.2017  Automata Seminar University of Warsaw

Proof Complexity Meets Algebra

17.08.2017  Proof Complexity and Beyond Oberwolfach Workshop
11.07.2017  ICALP 2017 Warsaw  ||  download↓

FO-Definable Constraint Satisfaction Problems

15.05.2017  Séminaire Général de Logique Institut de Mathématiques de Jussieu
9.11.2016  {Symmetry, Logic, Computation} Simons Institute, Berkeley  ||  download↓

Computation in Sets with Atoms | 19.09.2016

guest lecture at QuantLA workshop  ||  download↓

Homomorphism Problems for First-Order Definable Structures

21.04.2016  Logic & AI Seminar Imperial College London
12.04.2016  ALGA 2016  ||  download↓

Extended Constraint Satisfaction Problems | 24.02.2016

PhD defence  ||  download↓

Algebraic Necessary Condition for Tractability of Valued CSP | 18.09.2015

HIGHLIGHTS 2015  ||  download↓

Deciding FO-definable CSP instances | 24.07.2015

The Constraint Satisfaction Problem Dagstuhl Seminar  ||  download↓

Locally Finite Constraint Satisfaction Problems

08.07.2015  LICS 2015 Kyoto
02.06.2015  Verification Seminar Oxford  ||  download↓
22.05.2015  ToCAI Seminar Middlesex University, London
15.05.2015  Logic and Semantics Seminar Cambridge
09.01.2015  Seminar “Automata” LIAFA, Paris

Algebraic Properties of Valued Constraint Satisfaction Problem

06.07.2015  ICALP 2015 Kyoto  ||  download↓
20.05.2015  Algorithms Seminar Oxford

Turing Machines with Atoms and Constraint Satisfaction Problems | 3.09.2014

HIGHLIGHTS 2014  ||  download↓

Nominal Sets over Algebraic Atoms | 29.04.2014

RAMiCS 2014  ||  download↓

PROJECTS

ERC grant AUTAR led by Albert Atserias


NCN grant New Notion of Finiteness in Theory of Computation led by Mikołaj Bojańczyk


Blog on computation with atoms




contact

joanna.ochremiak (at) gmail (dot) com




Created by ZN - Copyright 2014