14 Jun 2013 20:30Marly Roncken
*Reminder - MEMOCODE 2013 Design Contest and Paper Submissions coming u
17 Jun 2013 21:05Malay Ganai
*DIFTS'13: Second Call For Papers
17 Jun 2013 15:11Ramana Kumar
*tactic works only once
17 Jun 2013 15:39Mark
**tactic works only once
17 Jun 2013 12:38Ramana Kumar
*tactic works only once
16 Jun 2013 21:03Ramana Kumar
*tactic works only once
16 Jun 2013 23:21Konrad Slind
**tactic works only once
12 Jun 2013 16:19Christoph LANGE
*CfP for Math. in Computer Science Special Issue on 'Enabling Domain Ex
10 Jun 2013 19:36S B Cooper
*Book announcement: ALAN TURING - His Work and Impact
9 Jun 2013 18:28SYNASC 2013
*CFP Synasc 2013, Timisoara, Romania
10 Jun 2013 15:07Hendrik Tews
*Hol Light packages for Debian (and Ubuntu)
7 Jun 2013 08:33Serge Autexier
*Call for Participation CICM 2013 8-12 July 2013, Registration deadline
6 Jun 2013 23:43Hana Chockler
*Looking for old CAV pictures for the website and the brochure
3 Jun 2013 16:05peterschueller
*[Deadline extended: June 15] CFP: Workshop on Knowledge Representation
3 Jun 2013 09:36Serge Autexier
*CICM 2013: Final Call for Work in Progress Papers, Deadline June 7th,
29 May 2013 14:46Unknown
*ESEC/FSE Tool Demos Track (final CfP)
28 May 2013 23:01Jose A Martin
*CFP FOCLASA 2013: The 13th International Workshop on Foundations of Co
29 May 2013 00:49Peter Höfner
*CFP: Relational and Algebraic Methods in Computer Science (RAMiCS 2014
22 May 2013 05:06Brigitte Pientka
*LFMTP'13: Logical Frameworks and Meta-Languages (CFP)
20 May 2013 13:10Christoph LANGE
*2nd CfP: OpenMath workshop at CICM (10 July, Bath, UK), submission dea
19 May 2013 22:04GRLMC
*SSTiC 2013: next registration deadline 26 May
19 May 2013 12:23Announce Announcements
*ECSCW 2013: Doctoral Colloquium
17 May 2013 13:03Jose A Martin
*CFP FOCLASA 2013: The 13th International Workshop on Foundations of Co
16 May 2013 14:06S B Cooper
*CiE 2013 in Milan, July 1 - 5: First Call for Participation
16 May 2013 15:11Yuntao Peng
*Induction in HOL4.
16 May 2013 16:36Liya Liu
**Induction in HOL4.
14 May 2013 15:28Rungta, Neha S. (ARC-TI)[Sting
*[fm-announcements] webcast of NFM 2013
14 May 2013 05:46Yuntao Peng
*How to throw exception defined by user in HOL4
14 May 2013 12:01Ramana Kumar
**How to throw exception defined by user in HOL4
14 May 2013 09:53Luca Paolini
*RDP 2013 Call for Participation
10 May 2013 08:46Michael Norrish
*(CFP) Certified Programs and Proofs 2013 - Second Call for Papers
9 May 2013 12:34Iain Whiteside
**Deadline Extension* PLMMS, 9th July 2013, Bath, UK
7 May 2013 00:25Marly Roncken
*MEMOCODE 2013 Call for Papers and Design Contest (EXTENDED DATES)
6 May 2013 15:38Nurvitadhi, Eriko
*MEMOCODE Design Contest 2013 -- start May 15
7 May 2013 05:18Chao Yan
*FMCAD 2013 Final Call for Papers
2 May 2013 19:13Malay Ganai
*DIFTS'13: First Call For Papers
3 May 2013 09:23Sam Owre
*VeriSure Workshop Call for Papers
6 May 2013 01:49Laurent Théry
*MCS: Formal Proofs for Mathematics and Computer Science [Call for Pape
2 May 2013 05:32Sam Owre
*VSTTE 2013 Call for Participation
1 May 2013 16:55Rungta, Neha S. (ARC-TI)[Sting
*[fm-announcements] Third Summer School on Formal Techniques
1 May 2013 16:54Rungta, Neha S. (ARC-TI)[Sting
*[fm-announcements] VSTTE 2013: Call for participation
1 May 2013 13:10Jose A Martin
*CFP FOCLASA 2013: The 13th International Workshop on Foundations of Co
29 Apr 2013 17:41Klaus Havelund
*[fm-announcements] RV 2013 call for papers - deadline extension
28 Apr 2013 11:03Hana Chockler
*CAV 2013 - Call for Participation
27 Apr 2013 06:17Jared C. Davis
*ACL2 2013 - Call for Participation
26 Apr 2013 00:51S B Cooper
*CiE 2013 - 2nd Call for Informal Presentations
24 Apr 2013 08:58Pietro Sala
*------ GandALF 2013 ----- FINAL CALL FOR PAPERS -----
23 Apr 2013 23:16Sam Owre
*VSTTE 2013 Call for Participation
20 Apr 2013 00:24Christoph LANGE
*CfP: OpenMath workshop at CICM (10 July, Bath, UK), submission deadlin
19 Apr 2013 17:28Geoff Sutcliffe
*CADE-24 Call for Participation
21 Apr 2013 11:30GRLMC
*TPNC 2013: 1st call for papers
17 Apr 2013 22:17Sam Owre
*VSTTE Competition 2013 Second Announcement
17 Apr 2013 18:50Peter Sewell
*Researcher positions in Rigorous Engineering for Mainstream Systems (R
17 Apr 2013 15:06A. C.
*SUBST question
17 Apr 2013 18:08Gardner, Philippa A
*RA positions at Imperial
17 Apr 2013 11:54Announce Announcements
*MobiWIS 2013: Final Call for Papers (extended deadline) and Call for D
17 Apr 2013 13:28Ewen Maclean
*AI4FM 2013: Final Call for Short Contributions - 1 week to go
16 Apr 2013 09:39Sam Owre
*Third Summer School on Formal Techniques, May 20-24, 2013 (call for pa
16 Apr 2013 08:08Dave Clarke
*CFP: 4th Workshop on Formal Methods and Analysis in Software Product L
15 Apr 2013 15:15Tjark Weber
*Two PhD Positions in Multicore Computing at the UPMARC Center of Excel
15 Apr 2013 20:47J. J. W.
*Failure loading files using HOL4
15 Apr 2013 22:30Michael Norrish
**Failure loading files using HOL4
15 Apr 2013 11:11Walther Neuper
*2nd CfP "TP components for educational software" THedu at CICM
15 Apr 2013 08:20Walther Neuper
*2nd CfP CSASC "Proof in Education"
13 Apr 2013 22:46Chao Yan
*FMCAD 2013 Second Call for Papers
13 Apr 2013 22:37Chao Yan
*FMCAD 2013 Second Call for Papers
13 Apr 2013 12:11Renate Schmidt
*REMINDER FROCOS 2013 DEADLINE
11 Apr 2013 13:10J. J. W.
*Array's in proof
11 Apr 2013 19:12Konrad Slind
**Array's in proof
11 Apr 2013 19:40Anthony Fox
***Array's in proof
14 Apr 2013 14:23J. J. W.
****Array's in proof
15 Apr 2013 02:06Konrad Slind
*****Array's in proof
15 Apr 2013 15:52J. J. W.
******Array's in proof
15 Apr 2013 16:24Konrad Slind
*******Array's in proof
15 Apr 2013 20:40J. J. W.
********Array's in proof
10 Apr 2013 17:44Tom Ridge
*Microsoft-funded PhD opportunity (software/ system verification)
10 Apr 2013 14:34Geoff Sutcliffe
*LPAR-19 CFP and Workshops
9 Apr 2013 08:14Ramana Kumar
*coinductive relations
9 Apr 2013 08:46Michael Norrish
**coinductive relations
5 Apr 2013 00:00F.Lockwood Morris
*difficulty with Holmake for HOL-Omega
5 Apr 2013 03:26Peter Vincent Homeier
**difficulty with Holmake for HOL-Omega
5 Apr 2013 00:11Cris Perdue
*Undefined operations such as division by zero in HOL
5 Apr 2013 01:00Konrad Slind
**Undefined operations such as division by zero in HOL
5 Apr 2013 07:43Cris Perdue
***Undefined operations such as division by zero in HOL
5 Apr 2013 09:01Konrad Slind
****Undefined operations such as division by zero in HOL
5 Apr 2013 01:28Vincent Aravantinos
**Undefined operations such as division by zero in HOL
5 Apr 2013 07:50Cris Perdue
***Undefined operations such as division by zero in HOL
5 Apr 2013 17:35Vincent Aravantinos
****Undefined operations such as division by zero in HOL
9 Apr 2013 06:40Albert Y. C. Lai
****Undefined operations such as division by zero in HOL
10 Apr 2013 08:22Michael Norrish
*****Undefined operations such as division by zero in HOL
9 Apr 2013 11:22Freek Wiedijk
**Undefined operations such as division by zero in HOL
9 Apr 2013 21:46Cris Perdue
***Undefined operations such as division by zero in HOL
10 Apr 2013 08:18Michael Norrish
****Undefined operations such as division by zero in HOL
10 Apr 2013 12:04Freek Wiedijk
*****Undefined operations such as division by zero in HOL
10 Apr 2013 15:37Rob Arthan
******Undefined operations such as division by zero in HOL
10 Apr 2013 16:51Freek Wiedijk
*******Undefined operations such as division by zero in HOL
11 Apr 2013 20:56Cris Perdue
******Undefined operations such as division by zero in HOL
11 Apr 2013 21:50Freek Wiedijk
*******Undefined operations such as division by zero in HOL
10 Apr 2013 08:55Jeremy Dawson
*****Undefined operations such as division by zero in HOL
3 Apr 2013 15:11Ramana Kumar
*inductive relations recursing through GSPEC