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 Dec 14:33 2014Geoff Sutcliffe
*CICM Call for Papers
7 Dec 19:49 2014Rob Arthan
*Controlling instantiation in rewriting
7 Dec 20:22 2014Konrad Slind
**Controlling instantiation in rewriting
8 Dec 00:47 2014Michael Norrish
**Controlling instantiation in rewriting
5 Dec 13:51 2014Scott Owens
*Funded PhD studentship on verified compilers
3 Dec 11:23 2014Asad Ahmed
*Type Checking issue
3 Dec 12:47 2014Petros Papapanagiotou
**Type Checking issue
2 Dec 19:11 2014Serge Autexier
*CICM 2015: Call for Workshops
3 Dec 03:26 2014David Sanán
*printing double space in emacs
3 Dec 06:02 2014Michael Norrish
**printing double space in emacs
3 Dec 08:29 2014David Sanán
***printing double space in emacs
2 Dec 00:32 2014Joe Leslie-Hurd
*Version 6 of the OpenTheory article file format standard
28 Nov 15:07 2014David Sanán
*ITSET_IND
1 Dec 00:46 2014Michael Norrish
**ITSET_IND
3 Dec 03:19 2014David Sanán
***ITSET_IND
3 Dec 06:01 2014Michael Norrish
****ITSET_IND
30 Nov 10:24 2014Jean-Pierre Talpin
*[Memocode] ACM Transactions on Embedded Computing — Special Issue on
25 Nov 10:26 2014Zanasi Fabio
*CALCO 2015: First Call for Papers
26 Nov 15:17 2014Tjark Weber
*PhD Position in Formal Verification of Concurrent Systems at Uppsala U
24 Nov 16:36 2014Michael Winter
*2nd CFP: Relational and Algebraic Methods in Computer Science (RAMiCS
26 Nov 20:45 2014Josef Urban
*QED+20 - JFR Special Issue: Last Call for Papers - EXTENDED DEADLINE
21 Nov 21:37 2014Shruti Chawla
*Pierce's Law in HOL Light
23 Nov 11:29 2014Phil Scott
**Pierce's Law in HOL Light
21 Nov 23:22 2014Geoff Sutcliffe
*CFP for the 9th TESTS AND PROOFS (TAP 2015)
15 Nov 09:25 2014Bill Richter
*formalizing an axiom schema and MacOS OCaml/Camlp binaries
15 Nov 15:25 2014Rob Arthan
**formalizing an axiom schema and MacOS OCaml/Camlp binaries
17 Nov 02:58 2014Bill Richter
***formalizing an axiom schema and MacOS OCaml/Camlp binaries
11 Nov 17:08 2014Serge Autexier
*First CFP CICM 2015
10 Nov 22:43 2014Aleksy Schubert
*RDP 2015 Last Call for Workshops
10 Nov 05:56 2014Michael Norrish
*HOL4 Kananaskis-10 released
4 Nov 03:33 2014"f~鳓ぁぇ
*how to prove a goal with "case...of..."
4 Nov 04:31 2014Michael Norrish
**how to prove a goal with "case...of..."
4 Nov 06:45 2014Thomas Tuerk
***how to prove a goal with "case...of..."
3 Nov 19:29 2014Klaus Havelund
*[fm-announcements] NFM 2015 - deadline extension: Nov 18
3 Nov 03:00 2014Alwen Tiu
*Multiple postdoc positions in formal methods for cyber security
26 Oct 15:26 2014Klaus Havelund
*[fm-announcements] NFM 2015 - final call for papers
26 Oct 13:50 2014Ruy de Queiroz
*WoLLIC 2015 - Call for Papers