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