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"
3 Feb 23:29 2015Ramana Kumar
***Holmake runs out of memory "Analysing"
3 Feb 23:30 2015Michael Norrish
****Holmake runs out of memory "Analysing"
4 Feb 06:11 2015Michael Norrish
****Holmake runs out of memory "Analysing"
4 Feb 10:56 2015Ramana Kumar
*****Holmake runs out of memory "Analysing"
4 Feb 11:20 2015Ramana Kumar
******Holmake runs out of memory "Analysing"
26 Jan 14:06 2015Jasmin Blanchette
*TAP 2015 (Tests and Proofs): Second Call for Papers
2 Feb 23:12 2015Daniel Bundala
*VSTTE 2015 Call For Papers
1 Feb 06:46 2015Ramana Kumar
*merging duplicate subgoals
1 Feb 09:13 2015Jeremy Dawson
**merging duplicate subgoals
26 Jan 13:54 2015Jiaqi Tan
*Question: Internal HOL4 resource usage when using prove, store_thm, an
26 Jan 14:30 2015Ramana Kumar
**Question: Internal HOL4 resource usage when using prove, store_thm, an
26 Jan 14:37 2015Jiaqi Tan
***Question: Internal HOL4 resource usage when using prove, store_thm, an
21 Jan 22:54 2015Fabio Zanasi
*CALCO 2015: Second Call for Papers
21 Jan 13:50 2015YuHui Lin
*AVoCS 2015: First Call for Papers
13 Jan 16:32 2015Geoff Sutcliffe
*10th Ershov Informatics Conference, Call for Papers
16 Jan 15:43 2015Ashish Darbari
*Formal Verification Opportunity at Imagination Technologies UK
12 Jan 14:07 2015Piotr Trojanek
*Weakest precondition of While as the least fixpoint
8 Jan 14:29 2015Sophie Tison
*RTA 2015: 2nd CFP
4 Jan 15:38 2015Gergely Buday
*hardware verification
19 Dec 16:36 2014Julian Tschannen
*LASER Summer School 2015 --- Concurrency: the next frontiers
23 Dec 16:16 2014Klaus Havelund
*[fm-announcements] First CFP: CRV15 - 2nd Competition on Runtime Verif
18 Dec 21:01 2014Alves-Foss, James (jimaf@uidah
*Cyber Security Symposium 2015 Call for Papers
12 Dec 20:57 2014Mahdi Jaghoori
*Call for papers TTCS'15 (Tehran, Iran)
14 Dec 23:52 2014Andrzej Murawski
*LICS 2015 - Last Call for Papers
12 Dec 16:54 2014Christian Urban
*1st CFP for ITP 2015 in Nanjing
11 Dec 23:30 2014Muhammad Qasim
*WF_INDUCT_TAC for HOL4
12 Dec 00:39 2014Michael Norrish
**WF_INDUCT_TAC for HOL4
10 Mar 19:33 2015Muhammad Qasim
**Inductive_set definition in HOL4
11 Mar 18:29 2015Ramana Kumar
***Inductive_set definition in HOL4
11 Mar 21:23 2015Muhammad Qasim
****Inductive_set definition in HOL4