Talks

This repository contains sources of slides of our talks.

Name		Name	Last commit message	Last commit date
AmadeusNancyVienna12 - Combining RPI and LU		AmadeusNancyVienna12 - Combining RPI and LU
CADE15 - FOLU		CADE15 - FOLU
EMCL Workshop 2014		EMCL Workshop 2014
IJCAR2014 - Skeptik		IJCAR2014 - Skeptik
Impact - Skeptik/Skeptik.key		Impact - Skeptik/Skeptik.key
IoC-Tallinn - Techniques for Proof Compression		IoC-Tallinn - Techniques for Proof Compression
PCC13 - LUniv		PCC13 - LUniv
SMT13 - LUniv		SMT13 - LUniv
Skeptik/Skeptik.key/Data		Skeptik/Skeptik.key/Data
Tableaux2013 - LUniv		Tableaux2013 - LUniv
Tableaux2013 - Subsumption, Recursive Split, Greedy Pebbling		Tableaux2013 - Subsumption, Recursive Split, Greedy Pebbling
Thesis Defense		Thesis Defense
VSC - HPATP		VSC - HPATP
VSC2014 - Proof Compression In VSC		VSC2014 - Proof Compression In VSC
Waterloo Algorithms Seminar - FO LU RPI		Waterloo Algorithms Seminar - FO LU RPI
.gitignore		.gitignore
README.md		README.md

Navigation Menu