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

RISC Forum

Dr. Tudor Jebelean: Experiments on Natural-Style Proving using Cylindrical Algebraic Decomposition
When May 22, 2017
from 01:30 PM to 02:00 PM
Where Seminar room castle
Add event to calendar vCal
iCal
« April 2019 »
April
MoTuWeThFrSaSu
1234567
891011121314
15161718192021
22232425262728
2930
Upcoming Events
NO RISC Forum Apr 22, 2019 01:30 PM - 01:45 PM
RISC Forum Apr 29, 2019 01:30 PM - 01:45 PM
RISC Forum May 06, 2019 01:30 PM - 01:45 PM
RISC Forum May 13, 2019 01:30 PM - 01:45 PM
RISC Forum May 20, 2019 01:30 PM - 01:45 PM
Previous events…
Upcoming events…