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
24 Oct 18:16 2014Cvetan Dunchev
*CROSS_applied thm.
25 Oct 11:49 2014Konrad Slind
**CROSS_applied thm.
25 Oct 18:09 2014Vincent Aravantinos
**CROSS_applied thm.
25 Oct 18:36 2014Anthony Fox
***CROSS_applied thm.
26 Oct 02:39 2014Cvetan Dunchev
****CROSS_applied thm.
23 Oct 13:00 2014Piotr Trojanek
*HOL Light-style parsing in HOL4
23 Oct 23:59 2014Konrad Slind
**HOL Light-style parsing in HOL4
23 Oct 23:59 2014Konrad Slind
***HOL Light-style parsing in HOL4
24 Oct 01:31 2014Michael Norrish
**HOL Light-style parsing in HOL4
23 Oct 19:58 2014Ramana Kumar
*omitting a constant from pretty-printing
23 Oct 23:54 2014Michael Norrish
**omitting a constant from pretty-printing
24 Oct 12:00 2014Ramana Kumar
***omitting a constant from pretty-printing
22 Oct 22:42 2014S B Cooper
*CiE 2015: Evolving Computability, Bucharest, June 29 - July 3, 2015
20 Oct 21:19 2014Michael Winter
*CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2015
16 Oct 18:18 2014Ramana Kumar
*Theorems Produced by Type Definitions
16 Oct 18:29 2014Rob Arthan
**Theorems Produced by Type Definitions
17 Oct 01:04 2014"Mark Adams"
**Theorems Produced by Type Definitions
15 Oct 14:34 2014Geoff Sutcliffe
*CADE-25 Call for Papers, etc.
13 Oct 18:44 2014Geoff Sutcliffe
*NETYS 2015 Call for Papers
13 Oct 08:17 2014Sophie Tison
*RTA 2015 - First Call For Papers
11 Oct 11:11 2014Ramana Kumar
*annotation with HOLKeyword
17 Oct 01:17 2014Michael Norrish
**annotation with HOLKeyword
7 Oct 00:02 2014Marjan Sirjani
*Final CFP: FSEN 2015
7 Oct 15:26 2014DIFTS14
*DIFTS'14 - Call For Participation
3 Oct 18:28 2014Klaus Havelund
*[fm-announcements] NFM 2015 - 3rd call for papers
11 Oct 04:34 2014Mario Carneiro
*Instrumenting the HOL light core
11 Oct 09:45 2014Ramana Kumar
**Instrumenting the HOL light core
11 Oct 09:54 2014Marco Maggesi
**Instrumenting the HOL light core
29 Sep 16:45 2014Geoff Sutcliffe
*CAV Call for Papers
26 Sep 10:07 2014Alwen Tiu
*CPP 2015: second call for papers
28 Sep 18:13 2014Ramana Kumar
*munger on strings containing backslash
30 Sep 06:25 2014Michael Norrish
**munger on strings containing backslash
24 Sep 22:40 2014Benja Fallenstein
*Getting the original type of a constant
25 Sep 01:30 2014Michael Norrish
**Getting the original type of a constant
17 Sep 14:14 2014Nela Cicmil
*advice on installing Ocaml, camlp5 & HOL Light on Mac OS X 10.8.5?
17 Sep 16:09 2014Ramana Kumar
**advice on installing Ocaml, camlp5 & HOL Light on Mac OS X 10.8.5?
17 Sep 15:34 2014Marco Maggesi
**advice on installing Ocaml, camlp5 & HOL Light on Mac OS X 10.8.5?
18 Sep 12:12 2014Tom Ridge
***advice on installing Ocaml, camlp5 & HOL Light on Mac OS X 10.8.5?
17 Sep 05:23 2014"Mark Adams"
*Flyspeck Project completion
17 Sep 05:50 2014"Mark Adams"
* advice on installing Ocaml, camlp5 & HOL Light on Mac OS X 10.8.5?
17 Sep 09:15 2014Marco Maggesi
**advice on installing Ocaml, camlp5 & HOL Light on Mac OS X 10.8.5?
17 Sep 18:05 2014"Mark Adams"
** advice on installing Ocaml, camlp5 & HOL Light on Mac OS X 10.8.5?
18 Sep 12:12 2014Nela Cicmil
***advice on installing Ocaml, camlp5 & HOL Light on Mac OS X 10.8.5?
19 Sep 10:38 2014Nela Cicmil
****advice on installing Ocaml, camlp5 & HOL Light on Mac OS X 10.8.5?
16 Sep 16:31 2014Nela Cicmil
*advice on installing Ocaml, camlp5 & HOL Light on Mac OS X 10.8.5?
16 Sep 18:55 2014Ramana Kumar
**advice on installing Ocaml, camlp5 & HOL Light on Mac OS X 10.8.5?
10 Sep 17:33 2014Stephan Merz
*opening for a research engineer (post-doctoral) position at MSR-INRIA
9 Sep 03:13 2014Jiaqi Tan
*Problems with METIS_TAC: Crashing with exception raised in CHOOSE
8 Sep 08:20 2014Jiaqi Tan
*Problem trying to prove "A ==> A": Error from CHOOSE
9 Sep 06:04 2014Michael Norrish
**Problem trying to prove "A ==> A": Error from CHOOSE
9 Sep 07:07 2014Jiaqi Tan
***Problem trying to prove "A ==> A": Error from CHOOSE
9 Sep 08:34 2014Michael Norrish
****Problem trying to prove "A ==> A": Error from CHOOSE
30 Aug 16:23 2014Klaus Havelund
*[fm-announcements] Second call for papers: NASA Formal Methods - NFM 2
21 Aug 19:52 2014Ramana Kumar
*SaveState
18 Aug 17:40 2014Gwen.Salaun
*Postdoc Position on Verification of Asynchronously Communicating Syste
16 Aug 07:23 2014Kristin Yvonne Rozier
*[fm-announcements] Call for Highlights: Aerospace America Intelligent
13 Aug 22:12 2014Mohamed yousri soliman
*Integration from neg-infinity to pos-infinity, real functions
16 Aug 08:09 2014Umair Siddique
**Integration from neg-infinity to pos-infinity