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