February 13 – 18 , 2022, Dagstuhl Seminar 22072
Last update: May 8 2022
New Perspectives in Symbolic Computation and Satisfiability Checking
On-site participants
- Erika Abraham (RWTH Aachen University, DE) [dblp]
- Christopher W. Brown (U.S. Naval Academy – Annapolis, US) [dblp]
- Alessandro Cimatti (Bruno Kessler Foundation – Trento, IT) [dblp]
- James H. Davenport (University of Bath, GB) [dblp]
- Tereso del Rio (Coventry University, GB)
- Matthew England (Coventry University, GB) [dblp]
- Jürgen Gerhard (Maplesoft – Waterloo, CA) [dblp]
- Alberto Griggio (Bruno Kessler Foundation – Trento, IT) [dblp]
- Tudor Jebelean (Universität Linz, AT)
- Konstantin Korovin (University of Manchester, GB) [dblp]
- Gereon Kremer (Stanford University, US) [dblp]
- Corin Lee (University of Bath, GB)
- Sergio Mover (Ecole Polytechnique – Palaiseau, FR)
- Jasper Nalbach (RWTH Aachen University, DE) [dblp]
- Thomas Powell (University of Bath, GB) [dblp]
- Stefan Ratschan (The Czech Academy of Sciences – Prague, CZ) [dblp]
- Ali K. Uncu (University of Bath, GB)
- Baptiste Vergain (University of Liège, BE)
Remote participants
- Haniel Barbosa (Federal University of Minas Gerais-Belo Horizonte, BR)
- Anna Maria Bigatti (University of Genova, IT) [dblp]
- Russell Bradford (University of Bath, GB)
- Martin Brain (City – University of London, GB) [dblp]
- Curtis Bright (University of Windsor, CA) [dblp]
- Martin Bromberger (MPI für Informatik – Saarbrücken, DE) [dblp]
- Changbo Chen (Chinese Academy of Sciences – Chongqing, CN) [dblp]
- Isabela Dramnesc (West University of Timisoara, RO)
- Bruno Dutertre (Amazon – Cupertino, US) [dblp]
- Madalina Erascu (West University of Timisoara, RO) [dblp]
- Pascal Fontaine (University of Liège, BE) [dblp]
- Vijay Ganesh (University of Waterloo, CA) [dblp]
- Ahmed Irfan (Amazon – Cupertino, US) [dblp]
- Manuel Kauers (Johannes Kepler Universität Linz, AT) [dblp]
- Daniela Kaufmann (Johannes Kepler Universität Linz, AT) [dblp]
- Ilias S. Kotsireas (Wilfrid Laurier University – Waterloo, CA) [dblp]
- Enrico Lipparini (Bruno Kessler Foundation – Trento, IT)
- Chenqi Mou (Beihang University – Beijing, CN) [dblp]
- Mizuhito Ogawa (JAIST – Ishikawa, JP) [dblp]
- AmirHosein Sadeghimanesh (Coventry University, GB)
- Martina Seidl (Johannes Kepler Universität Linz, AT) [dblp]
In case of mistakes or questions regarding the links to dblp, please contact Michael Wagner