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?
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
15 Apr 14:49 2016Andrea Rosa
*Managed Languages Conference: PPPJ 2016 Call for Papers
13 Apr 18:59 2016Temesghen Kahsai
*VSTTE 2016 -- Call for papers
13 Apr 18:48 2016Barbara Kordy
*Graphical Models for Security (GraMSec'16) - deadline extended until A
12 Apr 08:43 2016Martin Leucker
*CfP: ICTAC 2016 - NEWS: Special Issue, Award, Deadline
9 Apr 08:09 2016aniello murano
*SR 2016 - Extended Deadline and Last Call for Contributions
7 Apr 14:57 2016CrossFyre 2016 Organizers
*CrossFyre'16 - TU Darmstadt, Germany, July 21-22
6 Apr 16:06 2016Geoff Sutcliffe
*GCAI 2016 - CFP
6 Apr 10:17 2016Walther Neuper
*"Justifying (in) Math" at CADGME 2016
5 Apr 08:46 2016Sebastian Gerwinn
*FORMATS 2016 - Last Call for Papers
1 Apr 06:21 2016Roopsha Samanta
*Verification Mentoring Workshop 2016: CALL for Applications for Studen
1 Apr 10:25 2016alexander.perucci
*[VeryComp 2016] - 2nd CfP and Dedicated Thematic Series on Springer JI
31 Mar 02:49 2016Mayo, Jackson
*Deadline Extended: HCCV 2016 - Workshop on High-Consequence Control Ve
25 Mar 08:54 2016Peter Schueller
*Second Call For Workshop Proposals: 32nd International Conference on L
31 Mar 18:09 2016Marco Bozzano
*xSAP 1.1.0 has been released
29 Mar 14:55 2016Ada
*A question about rewrite in HOL4
27 Mar 09:13 2016Ada
*A question about specialization in HOL4
27 Mar 22:43 2016Thomas Tuerk
**A question about specialization in HOL4
18 Mar 17:35 2016Leo Freitas
*IJCAR 2016 Workshop - Call for Position Statements
22 Mar 15:49 2016Umair Siddique
*[cfp] 14th IEEE International Conference on Embedded and Ubiquitous Co
21 Mar 21:08 2016Magnus Myreen
*Instantiating existentials under existentials
21 Mar 21:12 2016Ramana Kumar
**Instantiating existentials under existentials
21 Mar 21:15 2016Ramana Kumar
***Instantiating existentials under existentials
22 Mar 04:08 2016Yong Kiam
***Instantiating existentials under existentials
22 Mar 08:46 2016Thomas Tuerk
****Instantiating existentials under existentials
21 Mar 13:26 2016Serge Autexier
*Call for Papers: Workshop on User Interfaces for Theorem Provers (UITP
20 Mar 15:18 2016Ada
*A question about rewrite in HOL4
21 Mar 04:53 2016Michael Norrish
**A question about rewrite in HOL4
18 Mar 15:51 2016Magnus Myreen
*PhD and Post-Doc positions at Chalmers
15 Mar 15:53 2016Geoff Sutcliffe
*CFP - ARQNL 2016 - Automated Reasoning in Quantified Non-Classical Log
16 Mar 15:15 2016Ada
*A question about adding an assumption with "by"
15 Mar 17:39 2016Lin, Yuhui
*Second Call for Papers: Special Issue of the SCP on Automated Verifica
15 Mar 17:44 2016Lin, Yuhui
*Second Call for Papers: Special Issue of the SCP on Automated Verifica
14 Mar 09:06 2016Ada
*A question about a proof with TAKE and DROP?
14 Mar 23:25 2016Ramana Kumar
**A question about a proof with TAKE and DROP?
14 Mar 23:28 2016Ramana Kumar
***A question about a proof with TAKE and DROP?
10 Mar 15:29 2016Havelund, Klaus (349F
*[fm-announcements] [RV 2016] Second Call for Papers -- 2 months to the
10 Mar 16:02 2016fabio.zanasi
*CMCS 2016: Last Call for Participation (with Programme)
10 Mar 18:42 2016Peter Schueller
*Call For Workshop Proposals: 32nd International Conference on Logic Pr
10 Mar 14:51 2016Jasmin Blanchette
*Call for Bids to Host ITP 2017
8 Mar 14:59 2016Geoff Sutcliffe
*CFP - 5th Workshop on Practical Aspects of Automated Reasoning
8 Mar 10:42 2016Sebastian Gerwinn
*FORMATS 2016 - Second Call for Papers
8 Mar 17:09 2016Walther Neuper
*CfP ThEdu'16 at CICM
7 Mar 07:24 2016Peter Schueller
*2nd CFP ICLP 2016, New York City: 32nd International Conference on Log
7 Mar 17:53 2016Serge Autexier
*Final Call for Papers - 9th Conference on Intelligent Computer Mathema