23 Jun 06:36 2016Adnan Rashid
*About proof of a Theorem (Integrability of a Vector Function)
22 Jun 10:21 2016Ada
*A question about the theorem in HOL4?
22 Jun 10:24 2016Ramana Kumar
**A question about the theorem in HOL4?
22 Jun 12:47 2016Mark Adams
***A question about the theorem in HOL4?
21 Jun 15:18 2016Jasmin Blanchette
*ITP 2016: Call for participation
21 Jun 11:29 2016Thomas Tuerk
*How to show the function body in ML?
21 Jun 16:42 2016Konrad Slind
**How to show the function body in ML?
21 Jun 00:14 2016Andrea Rosa
*Call for Participation: 3rd Virtual Machine Meetup, September 1-2, Lug
16 Jun 11:01 2016Heiko Becker
*Fwd: Re: HOL-Light Beginner Questions
16 Jun 11:56 2016Petros Papapanagiotou
**Fwd: Re: HOL-Light Beginner Questions
16 Jun 13:45 2016Mark Adams
**Fwd: Re: HOL-Light Beginner Questions
17 Jun 11:51 2016Heiko Becker
***Fwd: Re: HOL-Light Beginner Questions
17 Jun 16:04 2016Mark Adams
****Fwd: Re: HOL-Light Beginner Questions
7 Jun 17:10 2016Peter Csaba Ölveczky
*[Memocode] CfP: Formal Techniques for Safety-Critical Systems (FTSCS'1
6 Jun 17:57 2016Wendelin Serwe
*PhD position at INRIA Grenoble on formal methods for testing
10 Jun 10:08 2016Vincent Aravantinos
*Job offer: close-to-industry research position
7 Jun 11:16 2016Roopsha Samanta
*Call for Participation: CAV 2016, July 17-23, Toronto
14 Jun 23:24 2016pedro.lopez
*LOPSTR'16: Final Call for Papers and *Deadline Extension*
15 Jun 17:09 2016Heiko Becker
*HOL-Light Beginner Questions
16 Jun 01:57 2016Ramana Kumar
**HOL-Light Beginner Questions
14 Jun 17:26 2016Geoff Sutcliffe
*CFP extended deadline - 2nd Global Conference on Artificial Intelligen
15 Jun 23:43 2016Andrea Rosa
*ICPE 2017 - 1st Call for Papers
14 Jun 07:07 2016Thomas Tuerk
*Is there a function that can produce random number in HOL4?
14 Jun 07:07 2016Ramana Kumar
*HOL Workshop 2016: Final call
8 Jun 23:35 2016Peter Vincent Homeier
*Difficulty with higher order matching
9 Jun 01:15 2016Ramana Kumar
**Difficulty with higher order matching
9 Jun 13:05 2016Rob Arthan
***Difficulty with higher order matching
9 Jun 13:27 2016Michael Norrish
****Difficulty with higher order matching
9 Jun 13:28 2016Peter Vincent Homeier
***Difficulty with higher order matching
6 Jun 15:15 2016JAMES P. (366409
*WADT 2016 -- Extended Deadline
6 Jun 14:38 2016Scott Owens
*CakeML postdoc opportunity
1 Jun 07:49 2016Pedro López García
*LOPSTR 2016: 2nd Call for Papers
31 May 20:36 2016Elizabeth Leonard
*MEMOCODE 2016: First Call for Papers
3 Jun 10:48 2016Andrea Rosa
*PPPJ 2016, Submission Deadline Extended to June 13 AoE
31 May 17:39 2016Peter Vincent Homeier
*Opening theories without output
31 May 18:22 2016Anthony Fox
**Opening theories without output
31 May 19:59 2016Peter Vincent Homeier
***Opening theories without output
1 Jun 01:57 2016Michael Norrish
****Opening theories without output
1 Jun 15:10 2016Peter Vincent Homeier
*****Opening theories without output
2 Jun 05:17 2016Michael Norrish
******Opening theories without output
2 Jun 07:36 2016Magnus Myreen
*******Opening theories without output
31 May 08:57 2016Abid Rauf
*Query
30 May 12:21 2016alexander.perucci
*[Springer JISA journal] CfP - Thematic Series on Verification and Comp
28 May 17:08 2016Rob Arthan
*Google is not always your friend
30 May 03:05 2016Michael Norrish
**Google is not always your friend
28 May 09:19 2016Abid Rauf
*Overload Resolution
27 May 07:14 2016Waqar Ahmad
*Translating HOL4 function to SML
27 May 08:56 2016Michael Norrish
**Translating HOL4 function to SML
27 May 09:09 2016Anthony Fox
***Translating HOL4 function to SML
27 May 09:42 2016Waqar Ahmad
****Translating HOL4 function to SML
27 May 03:23 2016Abid Rauf
*(no subject)
27 May 03:30 2016Abid Rauf
*help needed.
26 May 09:27 2016Barbara Kordy
*GraMSec'16 CALL FOR PARTICIPATION
10 May 00:42 2016Havelund, Klaus (348B
*[fm-announcements] RV 2016, Deadlines Extended - Abstract: May 20, Pap
21 May 19:04 2016Isabela Dramnesc
*CFP Synasc 2016, Timisoara, Romania
19 May 07:38 2016Alexander Romanovsky
*Call for papers: SERENE 2016, 5-6th September 2016, Gothenburg, Sweden
10 May 15:22 2016Alexander Romanovsky
*CfPart: Int. Conference on Reliability, Safety and Security of Railway
25 May 08:28 2016Walther Neuper
*ThEdu at CICM'16 deadline approaching
24 May 15:29 2016Chun Tian (binghe
*Process algebra CCS in HOL?
4 Jun 00:35 2016Michael Norrish
**Process algebra CCS in HOL?
24 May 06:50 2016Thomas Tuerk
*Problem installing HOL 4
24 May 07:23 2016Michael Norrish
**Problem installing HOL 4
24 May 07:29 2016Thomas Tuerk
***Problem installing HOL 4
24 May 10:39 2016Chun Tian (binghe
****Problem installing HOL 4
24 May 10:47 2016Ramana Kumar
*****Problem installing HOL 4
24 May 11:04 2016Anthony Fox
******Problem installing HOL 4
24 May 11:14 2016Chun Tian (binghe
*******Problem installing HOL 4
21 May 11:30 2016Ayesha Gauhar
*Need a Property in finding a proof
22 May 02:04 2016John Harrison
**Need a Property in finding a proof
19 May 06:31 2016Ramana Kumar
*HOL Workshop 2016: 2nd call for abstracts
16 May 08:38 2016Asad Ahmed
*types issue
16 May 16:38 2016mark
**types issue
6 May 17:17 2016Tobias Nipkow
*ISABELLE WORKSHOP 2016: Call for Papers
9 May 14:49 2016Geoff Sutcliffe
*Vampire Workshop CFP
9 May 17:25 2016Walther Neuper
*Deadline extended for eduTPS at CADGME
9 May 17:25 2016Jasmin Blanchette
*Call to Vote on Bids to Host ITP 2017
9 May 13:15 2016JAMES P. (366409
*CFP: WADT 2016
6 May 11:24 2016Walther Neuper
*ThEdu CfP "Theorem Prover Components for Educational Software"
5 May 15:00 2016Havelund, Klaus (348B
*[fm-announcements] NFM 2016 - Call for participation
5 May 10:41 2016不知道
*How to define the implementation of Counter by List
4 May 17:40 2016Serge Autexier
*Last Call for Papers: Workshop on User Interfaces for Theorem Provers
3 May 09:54 2016Ramana Kumar
*What is the advantage of HOL4?
5 May 15:00 2016Rob Arthan
**What is the advantage of HOL4?
28 Apr 11:41 2016Nils Muellner
*CFP Dependable Software Engineering (SETTA)
30 Apr 17:25 2016Manuel Hermenegildo
*LOPSTR 2016 Call for Papers
26 Apr 11:06 2016Martin Leucker
*ICTAC 2016 - Paper submission closes on 9th of May 2016!
30 Apr 01:30 2016Mayo, Jackson
*CFA: HCCV 2016 - Workshop on High-Consequence Control Verification
30 Apr 12:48 2016Alexander Romanovsky
*ISSRE 2016 - Call for Submissions
29 Apr 21:11 2016Geoff Sutcliffe
*PAAR 2016 - Extended Deadline
26 Apr 16:45 2016Osman Hasan
*CFP FTSCS 2016: FTSCS 2016 5th International Workshop on Formal Techni
26 Apr 15:53 2016Roberto Guanciale
*PhD position in Formal Modelling and Verification for High Assurance
21 Apr 23:15 2016Peter Schueller
*Final CFP and Deadline Extension ICLP 2016, New York City: 32nd Intern
22 Apr 11:50 2016Barbara Kordy
*Ph.D. Position in Security Modeling at IRISA in Rennes, France
23 Apr 15:42 2016Walther Neuper
*Last CfP "Justifying (in) Math" at CADGME 2016
23 Apr 14:43 2016Julien Narboux
*ADG 2016 : deadline extended until Mai 2
22 Apr 13:54 2016alexander.perucci
*DEADLINE APPROACHING - 3rd CfP and Dedicated Thematic Series On Spring
20 Apr 08:39 2016Yves Bertot
*CFP: The 6th ACM SIGPLAN Conference on Certified Programs and Proofs (
19 Apr 14:56 2016Sebastian Gerwinn
*FORMATS 2016 - Deadline extension
18 Apr 10:24 2016Andrea Rosa
*JTRES 2016 Call for Papers
13 Apr 21:12 2016Geoff Sutcliffe
*Verification Mentoring Workshop - Travel Scholarships