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
18 Aug 09:21 2014Vincent Aravantinos
**Integration from neg-infinity to pos-infinity, real functions
16 Aug 01:44 2014Jiaqi Tan
*How to handle what looks like syntactic rewrites in subgoal
16 Aug 08:44 2014Ramana Kumar
**How to handle what looks like syntactic rewrites in subgoal
17 Aug 06:14 2014Jiaqi Tan
***How to handle what looks like syntactic rewrites in subgoal
11 Aug 10:41 2014Robert Künnemann
*Matrix multiplication in HOL
12 Aug 18:30 2014Ramana Kumar
**Matrix multiplication in HOL
16 Aug 03:02 2014Bill Richter
***Matrix multiplication in HOL
1 Aug 13:44 2014Geoff Sutcliffe
*CADE-25 CFP/CFW/CFT/CFC
29 Jul 06:15 2014Klaus Havelund
*[fm-announcements] RV 2014: Call for Participation
29 Jul 11:02 2014Ramana Kumar
*quieter output from bin/build
5 Aug 07:58 2014Michael Norrish
**quieter output from bin/build
24 Jul 17:04 2014Ramana Kumar
*math mode printing of strings
25 Jul 08:32 2014Michael Norrish
**math mode printing of strings
26 Jul 11:53 2014Ramana Kumar
***math mode printing of strings
28 Jul 01:17 2014Michael Norrish
****math mode printing of strings
24 Jul 14:15 2014Ramana Kumar
*tweaking printing of []
24 Jul 16:47 2014Michael Norrish
**tweaking printing of []
24 Jul 19:54 2014Ramana Kumar
***tweaking printing of []
25 Jul 04:22 2014Michael Norrish
****tweaking printing of []
25 Jul 08:10 2014Ramana Kumar
*****tweaking printing of []
25 Jul 08:18 2014Michael Norrish
******tweaking printing of []
25 Jul 08:21 2014Ramana Kumar
*******tweaking printing of []