Thread Index
(1310)
[Chronological Index]
[Top]
Last update: Thu Dec 16 20:23:41 2021
3 threaded messages
[mizar] 2nd CfP (deadline 31 Oct) Math. in Comp. Sci. Special Issue 'Enabling Domain Experts to use Formalised Reasoning',
Christoph LANGE
[mizar] "Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: call for starting school application and workshop registration,
Hugo Herbelin
[mizar] PhD and PostDoc Positions at the University of Innsbruck, Austria,
Cezary Kaliszyk
[Chronological Index]
[Top]