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