Thread Index
(1603)
[Chronological Index]
[Top]
Last update: Thu Dec 16 20:23:46 2021
5 threaded messages
[mizar] CFP: Logical Frameworks and Meta-Languages: Theory and Practice,
Makarius
[mizar] [ITP 2016] Please circulate: Call for Bids to Host ITP 2017 (fwd),
Adam Naumowicz
[mizar] Second Call for Papers: Special Issue of the SCP on Automated Verification of Critical Systems,
Lin, Yuhui
[mizar] ADG 2016 2nd CFP - Automated Deduction in Geometry, Strasbourg, June, 27-29,
Julien Narboux
[Chronological Index]
[Top]