Proof Exchange for Theorem Proving (PxTP)
Event name
Proof Exchange for Theorem Proving (PxTP)
Event type
Event for scientific audience
Start date
31-07-2011
End date
01-08-2011
Location
Wroclaw, Poland
Country
Europe
Event format Veranstaltungsformat
On Site