Thread Index
(1306)
[Chronological Index]
[Top]
Last update: Thu Dec 16 20:23:40 2021
3 threaded messages
[mizar] FLoC 2014 Call for Workshops (The Sixth Federated Logic Conference, July 2014, Vienna, Austria),
Aleksy Schubert
[mizar] CfP for Math. in Computer Science Special Issue on 'Enabling Domain Experts to use Formalised Reasoning' (deadline 31 Oct),
Christoph LANGE
[mizar] CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call),
Aleksy Schubert
[Chronological Index]
[Top]