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
11 Apr 05:09 2015Ada
*about METIS_TAC
12 Apr 00:43 2015Michael Norrish
**about METIS_TAC
10 Apr 12:29 2015Andrei Paskevich
*Last Call for Papers, PxTP 2015
8 Apr 12:30 2015Moshe Vardi
*CfP: 3rd Intl Wshop on Strategic Reasoning (SR-2015)
9 Apr 21:57 2015fabio.zanasi
*CALCO Early Ideas 2015 : Call for Contributions
6 Apr 02:41 2015Thomas Wahl
*Formal Methods in Computer-Aided Design (FMCAD), 2015 - Second Call fo
9 Apr 17:30 2015Ramana Kumar
*sanity checks on exported theorems
9 Apr 21:55 2015Rob Arthan
**sanity checks on exported theorems
10 Apr 08:59 2015Ramana Kumar
***sanity checks on exported theorems
7 Apr 10:25 2015Wishnu Prasetya
*HOLStmt question
7 Apr 11:59 2015Tjark Weber
**HOLStmt question
7 Apr 12:27 2015Wishnu Prasetya
***HOLStmt question
7 Apr 13:38 2015Tjark Weber
****HOLStmt question
8 Apr 13:52 2015Wishnu Prasetya
*****HOLStmt question
3 Apr 11:12 2015alexander.perucci
*SCFI 2015 - 2nd Call for Papers (at IEEE SERVICES 2015) - Springer JIS
26 Mar 08:41 2015Daniel Bundala
*VSTTE 15, Second Call for Papers
26 Mar 15:27 2015Geoff Sutcliffe
*Verification Mentoring Workshop Student Scholarships
27 Mar 12:42 2015YuHui Lin
*AVoCS 2015: Second Call for Papers
23 Mar 14:15 2015alexander.perucci
*FOCLASA 2015 - 2nd Call For Papers
18 Mar 15:48 2015S B Cooper
*Computability in Europe 2015: Call for Informal Presentations
16 Mar 14:08 2015Michael Winter
*CALL FOR PhD/MSc Contributions (RAMiCS 2015)
18 Mar 17:10 2015Petros Papapanagiotou
*Bindings for embedded languages in HOL
18 Mar 17:33 2015Ramana Kumar
**Bindings for embedded languages in HOL
22 Mar 21:04 2015John Harrison
**Bindings for embedded languages in HOL
23 Mar 04:45 2015Konrad Slind
***Bindings for embedded languages in HOL
22 Mar 22:09 2015Sean McLaughlin
***Bindings for embedded languages in HOL
17 Mar 17:26 2015alexander.perucci
*Projects Showcase at STAF'15 - Call for Paper
17 Mar 17:06 2015alexander.perucci
*SCFI 2015 Call for Papers (at IEEE SERVICES 2015)
14 Mar 02:56 2015Toby Murray
*CFP: Programming Languages and Analysis for Security (PLAS 2015)
13 Mar 19:41 2015Konrad Slind
*request for literature pointers