Personal tools
You are here: Home / Internal / RISC Forum / 2017 / RISC Forum

RISC Forum

Peter Paule: announcement `10 years DESY-RISC colloquium'; David Cerna: Clausal analysis in proof theory
When Jan 23, 2017
from 01:30 PM to 02:15 PM
Where Seminar room castle
Add event to calendar vCal
iCal
« September 2017 »
September
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
252627282930
Upcoming Events
RISC Forum Oct 09, 2017 01:30 PM - 01:45 PM — Seminar room castle
Previous events…
Upcoming events…