News
Book on justification logic — Jun 7, 2019 11:46:00 AM
ESSLLI Standing Committee — Nov 13, 2018 9:31:33 AM
Course page for ESSLLI 2017 — Jul 14, 2017 9:08:14 AM
Collaboration project with the Parcifal team at INRIA and LIX — Nov 16, 2015 2:43:23 PM
ALCOP 2016 Call for Abstracts — Nov 13, 2015 10:28:09 AM
Full text of the LFCS16 paper posted — Oct 27, 2015 10:22:27 AM
New paper accepted to LFCS 2016 — Oct 15, 2015 9:29:34 AM
Updated version of Tableaux 2015 paper on fully modular realization — Jul 20, 2015 9:07:51 AM
Paper accepted to Tableaux 2015 — Jul 3, 2015 9:39:02 AM
Interpolation using hypersequents — Jul 1, 2015 1:40:00 PM
PC member of AiML 2016 — Jun 27, 2015 12:17:46 PM
Interpolation via Hypersequents — Mar 10, 2015 3:46:47 PM
Tbilisi Summer School in Logic and Language — Mar 10, 2015 3:39:31 PM
Grafted Sequents — Feb 3, 2015 12:00:48 PM
Lise Meitner Fellow now — Feb 3, 2015 11:56:12 AM
Invited talk at the Proof Theory special session at LC'15 — Nov 25, 2014 10:19:30 AM
VCLA International Student Awards — Nov 25, 2014 10:14:33 AM
Interpolation paper is out — Nov 25, 2014 10:06:39 AM