22 Jul 10:49 2015Alwen Tiu
*One postdoc and two PhD positions on formal verification of security p
14 Jul 09:11 2015Martin Fränzle
*CfP: 2nd Autumn School on Automatic Analysis and Verification of Compl
15 Jul 15:25 2015Makarius
*HOL4 build, deps etc.
15 Jul 16:07 2015Konrad Slind
**HOL4 build, deps etc.
16 Jul 09:58 2015Michael Norrish
**HOL4 build, deps etc.
15 Jul 10:25 2015Ramana Kumar
*Unicode versions
9 Jul 16:46 2015宋丹
*Call for papers - PAS 2015
13 Jul 23:04 2015MUNOZ, CESAR (LARC-D320
*[fm-announcements] Final CFP -- 11th Int. Workshop on Developments in
13 Jul 02:47 2015Christian Urban
*ITP 2015 Call for Participation
12 Jul 15:53 2015Andrius Velykis
*AI4FM 2015: Final call for short contributions
6 Jul 08:57 2015Serge Autexier
*CICM 2015: Final Call for Participation, Deadline July 6th, 2015
5 Jul 22:22 2015Peter Csaba Ölveczky
*Final CfP: International Conference on Formal Aspects of Component Sof
6 Jul 13:23 2015Tjark Weber
*PhD Students in Concurrency Theory at Uppsala University
5 Jul 05:06 2015Chao Wang
*DIFTS 2015: Call for Papers
2 Jul 16:35 2015Geoff Sutcliffe
*LPAR-20 Workshops - Calls for Papers
3 Jul 18:26 2015Isabela Drămnesc
*CFP PAS 2015
28 Jun 23:26 2015Jasmin Blanchette
*Open software engineer position at Inria Nancy
22 Jun 00:15 2015Viorica Sofronie-Stokkermans
*Summer School VTSA: 24-28 August 2015, Koblenz
24 Jun 13:49 2015Marcel Kyas
*Second Call for Workshop Proposals: 12th International Conference on i
25 Jun 08:01 2015Ramana Kumar
*HOL workshop, August 2-3
25 Jun 12:51 2015Makarius
**HOL workshop, August 2-3
24 Jun 12:04 2015Roberto Guanciale
*PhD position in trustworthy embedded platforms, KTH - School of Comput
23 Jun 00:24 2015Georg Weissenbacher
*FMCAD student forum: deadline extension (July 9)
19 Jun 12:55 2015rim.abid
*Software Verification and Testing Track, ACM SAC 2016 (Pisa, Italy) -
19 Jun 08:47 2015Rob van Glabbeek
*Call for Papers: Models for Formal Analysis of Real Systems (MARS'15)
17 Jun 14:21 2015Gwen.Salaun
*PhD Position in Grenoble (France)
17 Jun 19:14 2015Georg Weissenbacher
*FMCAD Student Forum: Call for Contributions
16 Jun 10:05 2015alexander.perucci
*FOCLASA 2015 - 3rd Call for Papers - Submission deadline extended
9 Jun 08:37 2015Ramana Kumar
*Final call for abstracts (HOL4 Workshop)
8 Jun 19:40 2015Robert White
*On the wondering of detection of constructive proofs
8 Jun 19:47 2015Joe Leslie-Hurd
**On the wondering of detection of constructive proofs
8 Jun 20:01 2015Robert White
***On the wondering of detection of constructive proofs
8 Jun 20:37 2015Joe Leslie-Hurd
****On the wondering of detection of constructive proofs
10 Jun 12:04 2015Marco Maggesi
**On the wondering of detection of constructive proofs
8 Jun 10:42 2015YuHui Lin
*AVoCS 2015: Extended Paper Deadline
5 Jun 15:05 2015Jean-Pierre Talpin
*[Memocode] ACM-IEEE MEMOCODE’15 FINAL CALL FOR PAPERS -- DEADLINE EX
5 Jun 16:31 2015Geoff Sutcliffe
*CADE-25 Call for Participation
5 Jun 05:32 2015Xinyu Feng
*APLAS 2015: deadline extension
4 Jun 09:07 2015ICECCS 2015
*ICECCS 2015: CfP
5 Jun 03:07 2015Chao Wang
*DIFTS 2015: Call for Papers -- International Workshop on Design and Im
31 May 15:04 2015Esseger
*Different topologies on a given set in HOL
1 Jun 00:18 2015Rob Arthan
**Different topologies on a given set in HOL
1 Jun 08:25 2015Esseger
***Different topologies on a given set in HOL
1 Jun 09:27 2015Johannes Hölzl
****Different topologies on a given set in HOL
1 Jun 21:49 2015Esseger
*****Different topologies on a given set in HOL
28 May 20:13 2015Robert White
*Question about camlp5
29 May 04:55 2015"Mark Adams"
**Question about camlp5
27 May 18:34 2015Xinyu Feng
*APLAS 2015: Final Call for Papers
27 May 12:41 2015YuHui Lin
*AVoCS 2015: Final Call for Papers
27 May 12:05 2015alexander.perucci
*[ERRATA CORRIGE] SCART 2015 at SEFM 2015 - Submission Deadline Extende
27 May 11:45 2015alexander.perucci
*FOCLASA 2015 @ CONCUR 2015 - 2nd Call For Papers
27 May 11:33 2015alexander.perucci
*SCART 2015 at SEFM 2015 - Submission Deadline Reminder - Springer JISA
26 May 17:26 2015Matt Kaufmann
*ACL2 Workshop submission deadline extension
21 May 22:05 2015Robert White
*(no subject)
21 May 15:18 2015Robert White
*Intuitionistic basic_rewrites?
21 May 16:20 2015Marco Maggesi
**Intuitionistic basic_rewrites?
21 May 16:47 2015Robert White
**Intuitionistic basic_rewrites?
21 May 14:00 2015Robert White
*EQ_MP as a TAC?
21 May 14:06 2015Robert White
**EQ_MP as a TAC?
21 May 14:43 2015Petros Papapanagiotou
**EQ_MP as a TAC?
21 May 15:29 2015Robert White
***EQ_MP as a TAC?
21 May 15:52 2015Marco Maggesi
***EQ_MP as a TAC?
21 May 13:39 2015Robert White
*Question about rewriting in proofs
21 May 14:12 2015Ramana Kumar
**Question about rewriting in proofs
21 May 14:14 2015Ramana Kumar
***Question about rewriting in proofs
21 May 14:22 2015Petros Papapanagiotou
**Question about rewriting in proofs
21 May 14:41 2015Robert White
***Question about rewriting in proofs
19 May 15:16 2015fabio.zanasi
*MFPS XXXI/CALCO 2015 : Call for Participation
20 May 21:03 2015Clark Barrett
*Deadline extended: 2015 SAT/SMT Summer School
19 May 15:58 2015Geoff Sutcliffe
*LPAR-20 in Fiji - Call for Papers and Workshops
19 May 16:09 2015Ramana Kumar
*HOL Workshop 2015
17 May 08:34 2015fghassemi
*Call for papers - The First IFIP International Conference on Topics in
18 May 17:06 2015"Mark"
* Question about proof of law of excluded middle.
18 May 18:45 2015"Mark"
** Question about proof of law of excluded middle.
21 May 13:32 2015Robert White
***Question about proof of law of excluded middle.
21 May 22:10 2015Robert White
****Question about proofs like (((A==>B)==> C)==> D)==> E
22 May 01:31 2015Mario Carneiro
*****Question about proofs like (((A==>B)==> C)==> D)==> E
22 May 10:16 2015Robert White
******Question about proofs like (((A==>B)==> C)==> D)==> E
23 May 23:35 2015Albert Y. C. Lai
*******Question about proofs like (((A==>B)==> C)==> D)==> E
24 May 07:31 2015Mario Carneiro
********Question about proofs like (((A==>B)==> C)==> D)==> E
15 May 18:58 2015Robert White
*Question about proof of law of excluded middle.
16 May 05:52 2015Waqar Ahmad
**Question about proof of law of excluded middle.
11 May 12:20 2015Tjark Weber
*Workshop ATP meets ITP (AMI 2015): Final Call for Papers
11 May 11:22 2015alexander.perucci
*SCART 2015 at SEFM 2015 - Submission Deadline Reminder - Springer JISA
7 May 12:17 2015Narges kh
*loading a theory in HOL4
8 May 01:58 2015Michael Norrish
**loading a theory in HOL4
8 May 08:31 2015Narges Khakpour
***loading a theory in HOL4
8 May 08:51 2015Michael Norrish
****loading a theory in HOL4
8 May 09:25 2015Narges Khakpour
*****loading a theory in HOL4
13 May 07:40 2015Michael Norrish
******loading a theory in HOL4
13 May 16:49 2015narges kh
*******loading a theory in HOL4
6 May 04:47 2015Clark Barrett
*Fwd: advertising email
4 May 14:30 2015Thomas Wahl
*Abstract registration EXTENDED to MAY 8 -- Formal Methods in Computer-
5 May 15:53 2015Jean-Pierre Talpin
*[Memocode] ACM-IEEE MEMOCODE’15 SPECIAL ANNOUNCEMENT — DESIGN CONT
5 May 14:22 2015Matt Kaufmann
*ACL2 2015 - Second Call For Papers
4 May 16:48 2015Geoff Sutcliffe
*3rd FMCAD Student Forum
28 Apr 18:25 2015SYNASC 2015
*Call for papers -- SYNASC 2015
28 Apr 13:48 2015Martin Leucker
*CfP: ICTAC 2015 - Columbia
27 Apr 15:49 2015Thomas Wahl
*Final Call for Papers -- Abstracts Due MAY 2: Formal Methods in Comput
27 Apr 22:11 2015alexander.perucci
*Projects Showcase at STAF'15 - Deadline Extension