Invited Speakers

CLAS

Volker Diekert

Universität Stuttgart

TBA

Maribel Fernandez

Kings College London

Hierarchical Higher-Order Port-graph Rewriting as a Modelling Tool

Luigi Liquori

Inria Sophia Antipolis-Méditerranée

Intersection, Union, Dependent Types and SubType Systems

Manfred Kufleitner

Universität Stuttgart

TBA

Catherine Meadows

U.S. Naval Research Laboratory

Crypto Protocol Analysis With Time and Space

Invited Speakers

CICM

Erika Ábrahám

RWTH Aachen University

SMT solving for Arithmetic Theories

Deyan Ginev

FAU Erlangen-Nürnberg and NIST

Welcome to ar5iv! Wrestling with the open problems of scholarly writing

Sébastien Gouëzel

IRMAR, Université de Rennes 1

Formalizing the change of variables formula for integrals in mathlib

Invited Speakers

PPDP/LOPSTR

Niki Vazou

IMDEA Software Institute

TBA

Florian Zuleger

Technische Universität Wien

TBA

Torsten Grust

University of Tübingen

TBA

Robert Hierons

The University of Sheffield

Systematic Testing for Robotic Systems

Invited Speakers

MPC

Fabio Zanasi

University College London

Lens Theoretic Foundations for Learning: from Semantics to Verification

Daniela Petrisan

Université de Paris

The semifree monad

Conor McBride

Strathclyde University

Picking Your Way Through Pascal’s Triangle

Invited Speakers

ICTAC

Miaomiao Zhang

Tongji University

TBA

Marsha Chechik

University of Toronto

TBA

Bernhard Beckert

Karlsruhe Institute of Technology

TBA

Dmitriy Traytel

University of Copenhagen

TBA

Invited Speakers

RV

Serdar Tasiran

Amazon Web Services

TBA

Michal Valko

DeepMind, Inria

TBA

Flag Counter