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
13 Mar 01:07 2015Mario Carneiro
*Viewing HOL proofs
13 Mar 01:56 2015Petros Papapanagiotou
**Viewing HOL proofs
13 Mar 08:52 2015Ramana Kumar
***Viewing HOL proofs
13 Mar 11:46 2015Freek Wiedijk
****Viewing HOL proofs
13 Mar 00:39 2015Piotr Trojanek
*Isabelle-like "advanced rule induction" in HOL4?
13 Mar 00:50 2015Michael Norrish
**Isabelle-like "advanced rule induction" in HOL4?
16 Mar 17:17 2015Makarius
***Isabelle-like "advanced rule induction" in HOL4?
9 Mar 11:07 2015fabio.zanasi
*CALCO 2015 : Last Call for Papers
11 Mar 17:41 2015Rungta, Neha S. (ARC-TI)[SGT,
*[fm-announcements] Fifth Summer School on Formal Techniques, CA
7 Mar 16:48 2015Marjan Sirjani
*CfPart: FSEN 2015
9 Mar 15:12 2015Geoff Sutcliffe
*Horn Clauses for Verification and Synthesis - Call for Papers
5 Mar 19:17 2015Geoff Sutcliffe
*3rd Workshop on Interpolation - Call for Papers
5 Mar 19:33 2015Ramana Kumar
*type grammar for munger
6 Mar 04:31 2015Michael Norrish
**type grammar for munger
7 Mar 13:23 2015Ramana Kumar
***type grammar for munger
5 Mar 19:19 2015Alexander Perucci
*SCART 2015 - 1st Call for Papers (at SEFM 2015)
5 Mar 18:33 2015Xinyu Feng
*APLAS 2015: Call for Papers
4 Mar 23:02 2015Matt Kaufmann
*ACL2 2015 - Call For Papers
4 Mar 10:33 2015Carlo Alberto Furia
*Formal Integrated Development Environment Workshop @ FM 2015
4 Mar 09:44 2015Christian Urban
*Call for Bids to host ITP 2016
1 Mar 23:51 2015Thomas Wahl
*Formal Methods in Computer-Aided Design (FMCAD), 2015 - First Call for
2 Mar 20:18 2015MUNOZ, CESAR (LARC-D320
*[fm-announcements] CFP: 11th International Workshop on Developments in
2 Mar 02:07 2015Christian Urban
*LAST CALL FOR PAPERS: ITP 2015
23 Feb 14:06 2015Geoff Sutcliffe
*LPAR-20 Call for Workshops
19 Feb 15:05 2015Serge Autexier
*CFP CICM 2015 - Deadline Extension
19 Feb 17:01 2015Alexander Perucci
*FOCLASA 2015 - 1st Call For Papers
18 Feb 15:02 2015Michael Winter
*CALL FOR PhD/MSc Contributions (RAMiCS 2015)
18 Feb 15:28 2015Geoff Sutcliffe
*LPAR-20 in Fiji - Call for Papers
16 Feb 16:05 2015Geoff Sutcliffe
*ARW'15: Call for Abstracts and Grant Applications
19 Feb 19:50 2015Geoff Sutcliffe
*TABLEAUX 2015 - Call for Papers
20 Feb 14:08 2015Julian Tschannen
*Special Promotion: LASER Summer School 2015 --- Concurrency: the next
19 Feb 16:01 2015Klaus Havelund
*[fm-announcements] NFM 2015 - CALL FOR PARTICIPATION
20 Feb 16:01 2015Geoff Sutcliffe
*TESTS AND PROOFS - Deadline extended
18 Feb 12:21 2015Ramana Kumar
*Holmake broken?
18 Feb 18:03 2015Ramana Kumar
**Holmake broken?
19 Feb 04:48 2015Michael Norrish
***Holmake broken?
19 Feb 07:46 2015Ramana Kumar
****Holmake broken?
24 Feb 00:35 2015Michael Norrish
*****Holmake broken?
24 Feb 08:09 2015Ramana Kumar
******Holmake broken?
16 Feb 15:42 2015Walther Neuper
*ThEdu'15, Theorem proving components for Educational software, cfp
15 Feb 18:20 2015Volker Sorge
*ARW'15: Call for Abstracts and Grant Applications
15 Feb 11:12 2015Enrico Tassi
*Journal of Formalized Reasoning opens a section for PhD/HDR thesis
13 Feb 09:32 2015Adnan Rashid
*Theory loading conflict
13 Feb 15:18 2015Marco Maggesi
**Theory loading conflict
14 Feb 08:36 2015Adnan Rashid
***Theory loading conflict
15 Feb 14:46 2015Marco Maggesi
****Theory loading conflict
26 Feb 04:38 2015John Harrison
*****Theory loading conflict
12 Feb 17:41 2015Muhammad Umair Siddique
*CICM 2015 Doctoral Programme [Call for Applications]
11 Feb 23:24 2015Geoff Sutcliffe
*CADE-25 Workshops- Calls for Papers
3 Feb 08:30 2015Sophie Tison
*RTA 2015: Last Call for Papers- Extended Deadline: title and abstract:
5 Feb 20:18 2015Geoff Sutcliffe
*CADE-25 Final Call for Papers
3 Feb 21:09 2015Geoff Sutcliffe
*TABLEAUX/FroCoS Call for Workshops
3 Feb 07:46 2015Serge Autexier
*MKM, Calculemus and DML (CICM 2015): 2nd CfP, Invited Speakers & Works
3 Feb 12:45 2015Ramana Kumar
*Holmake runs out of memory "Analysing"
3 Feb 22:57 2015Michael Norrish
**Holmake runs out of memory "Analysing"