26 Jun 12:28 2015Radomirovic Sasa
*3 PhD positions in Information Security at ETH Zurich
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
23 Apr 11:20 2015VSTTE Conference
*Extended Deadline (May 1), VSTTE'15
22 Apr 16:22 2015Geoff Sutcliffe
*TABLEAUX - Call for Papers
22 Apr 05:37 2015Xinyu Feng
*APLAS 2015: Call for Papers
21 Apr 09:10 2015Serge Autexier
*CICM 2015 - Call for Work-in-Progress Papers
21 Apr 10:58 2015Iain Whiteside
*AI4FM 2015: Call for Short Contributions
15 Apr 20:02 2015Michael Winter
*2nd CALL FOR PhD/MSc Contributions (RAMiCS 2015)
13 Apr 16:49 2015Jean-Pierre Talpin
*[Memocode] ACM-IEEE MEMOCODE’14 — PRELIMINARY CALL FOR PAPERS
16 Apr 13:03 2015Marco Bozzano
*xSAP 1.0.0 has been released
15 Apr 13:25 2015fabio.zanasi
*CALCO Early Ideas 2015 : Call for Contributions
21 Apr 04:52 2015VSTTE Conference
*VSTTE 2015 Final Call For Papers
20 Apr 10:57 2015alexander.perucci
*Projects Showcase at STAF'15 - Reminder Abstract Submission
17 Apr 07:21 2015Muhammad Umair Siddique
*CICM 2015 Doctoral Programme [2nd Call for Applications]
16 Apr 15:17 2015Christian Urban
*Call for Votes on Bids to Host ITP-2016
14 Apr 12:28 2015Ramana Kumar
*HOL Workshop 2015 Call for Abstracts
13 Apr 11:06 2015alexander.perucci
*CfP REMINDER - SCFI 2015 at IEEE SERVICES 2015