15 Apr 15:57 2014Andreas Lochbihler
*Two PhD positions in Information Security at ETH Zurich, Switzerland
15 Apr 08:30 2014Ramana Kumar
*INT_OF_NUM conversion
15 Apr 08:42 2014Ramana Kumar
**INT_OF_NUM conversion
15 Apr 08:46 2014Ramana Kumar
***INT_OF_NUM conversion
15 Apr 09:20 2014Ramana Kumar
****INT_OF_NUM conversion
14 Apr 11:47 2014Wendelin Serwe
*FMICS 2014: submission still open
14 Apr 17:00 2014Lina Ye
*Call for Papers: Workshops Colocated with SEFM 2014
14 Apr 16:16 2014Ramana Kumar
*list_compset behaviour on EXISTS
14 Apr 16:26 2014Ramana Kumar
**list_compset behaviour on EXISTS
14 Apr 16:46 2014Ramana Kumar
***list_compset behaviour on EXISTS
14 Apr 21:05 2014Albert Y. C. Lai
***list_compset behaviour on EXISTS
15 Apr 08:03 2014Ramana Kumar
****list_compset behaviour on EXISTS
11 Apr 08:45 2014Peter Höfner
*ATVA - (Final) Call for Workshop Proposals
10 Apr 09:16 2014Klaus Havelund
*[fm-announcements] RV 2014, Deadlines extended: abstract April 18, ful
10 Apr 08:19 2014Natarajan Shankar
*Fourth Summer School on Formal Techniques, May 19-23, 2014, Menlo Coll
10 Apr 07:23 2014Adnan Rashid
*How to remove Hilbert choice operator
10 Apr 14:08 2014Ramana Kumar
**How to remove Hilbert choice operator
10 Apr 09:23 2014SYNASC 2014
*[5 days left for abstract submission] CFP Synasc 2014
10 Apr 09:13 2014SYNASC 2014
*[5 days left for abstract submission] CFP SYNASC 2014
9 Apr 20:40 2014Amy Felty
*LFMTP 2014: 2nd Call for Papers
8 Apr 17:11 2014Geoff Sutcliffe
*4th International SAT/SMT Summer School
7 Apr 09:59 2014Serge Autexier
*2nd CfP, VERIFY 2014, 8th Verification Workshop, *Abstract Deadline Ap
8 Apr 09:42 2014CrossFyre'14
*Call for Papers: CrossFyre Workshop, July 3-4, 2014 - Bochum, Germany
7 Apr 12:58 2014Alexandra Silva
*MFPS 2014: last call for papers
5 Apr 04:23 2014Jiaqi Tan
*How long should it take to build examples/machine-code?
5 Apr 09:09 2014Ramana Kumar
**How long should it take to build examples/machine-code?
5 Apr 11:29 2014Anthony Fox
***How long should it take to build examples/machine-code?
5 Apr 20:31 2014Jiaqi Tan
****How long should it take to build examples/machine-code?
5 Apr 21:15 2014Anthony Fox
*****How long should it take to build examples/machine-code?
5 Apr 23:28 2014Jiaqi Tan
******How long should it take to build examples/machine-code?
4 Apr 23:18 2014Rungta, Neha S. (ARC-TI)[Sting
*[fm-announcements] 21st International Symposium on Model Checking of S
4 Apr 16:36 2014Eijiro Sumii
*FLOPS 2014 call for participation (June 4-6, Kanazawa, Japan; early re
2 Apr 13:21 2014Leo Freitas
*VSTTE CfP
4 Apr 13:30 2014Wendelin Serwe
*FMICS 2014: deadlines extended
1 Apr 17:30 2014Klaus Havelund
*[fm-announcements] 2nd International Summer School on Cyber-Physical S
31 Mar 18:34 2014Klaus Havelund
*[fm-announcements] RV 2014: LAST Call for Papers, Deadline in 1 week
31 Mar 18:51 2014Geoff Sutcliffe
*FLoC workshops - Interpolation, Vampire
31 Mar 16:37 2014Jesse Alama
*CfP: The Notion of Proof
31 Mar 13:45 2014David Sanan
*proving termination on a partial recursive function.
31 Mar 16:10 2014Konrad Slind
**proving termination on a partial recursive function.
31 Mar 18:37 2014David Sanan
***proving termination on a partial recursive function.
31 Mar 10:37 2014Lutz Strassburger
*Third and Last Call for Papers for SD14, July 12-13, 2014, Vienna
29 Mar 16:27 2014Peter Höfner
*RAMiCS 2014 Marienstatt Westerwald 28 April - Mai 1: 2nd CfPart
26 Mar 11:54 2014hamed nemati
*Loading a file containing abbreviations to compile a theory
26 Mar 21:11 2014Michael Norrish
**Loading a file containing abbreviations to compile a theory
28 Mar 11:57 2014hamed nemati
***Loading a file containing abbreviations to compile a theory
25 Mar 06:56 2014Franck Cassez
*ATVA 2014: 2nd Call for Papers -- Sydney November 3-7
25 Mar 19:24 2014Joel Ouaknine
*RP 2014 -- First Call for Papers
26 Mar 14:05 2014Unknown
*MOD* 2014: Logics and MODel-checking for self-* systems (CfP)
25 Mar 17:18 2014Iain Whiteside
*AI4FM 2014: Call for Participation
24 Mar 09:18 2014Wendelin Serwe
*Second Call for Papers: FMICS 2014
22 Mar 01:53 2014Cris Perdue
*How "LC" implies FOL
21 Mar 21:24 2014Ian Zimmerman
*Set-theoretical interpretation of HOL [Was: Learning HOL Light]
21 Mar 13:00 2014Walther Neuper
*NLSR: 2nd call for papers
20 Mar 05:10 2014Klaus Havelund
*[fm-announcements] RV 2014: 3rd Call for Papers, Deadline in 3 weeks
19 Mar 10:29 2014Mitra Purandare
*Call for Papers: International Conference on Formal Methods in Compute
20 Mar 02:51 2014Kristin Yvonne Rozier
*[fm-announcements] NFM 2014: Second Call for Participation
19 Mar 20:37 2014SYNASC 2014
*Last Call for Papers ICTAC 2014 (a related event to SYNASC 2014)
20 Mar 13:35 2014Geoff Sutcliffe
*Artificial Intelligence and Symbolic Computation AISC 2014
18 Mar 12:21 2014Georg Weissenbacher
*CfP: Second workshop on Interpolation: From Proofs to Applications
17 Mar 17:57 2014lina.ye
*SEFM 2014: Extended Deadlines
17 Mar 14:14 2014Georg Weissenbacher
*CfP: SAT/SMT Summer School 2014
9 Mar 23:58 2014Guadalupe Ortiz
*ESOCC 2014 Call for Workshops
11 Mar 16:24 2014Carlo Alberto Furia
*WING 2014: Invariant Generation
7 Mar 11:49 2014Lutz Strassburger
*Second Call for Papers for SD14, July 12-13, 2014, Vienna
7 Mar 17:45 2014Geoff Sutcliffe
*PAAR 2014 Call for Papers
6 Mar 10:16 2014S B Cooper
*CiE 2014: Language, Life, Limits - Grants, and Call for Presentations
5 Mar 17:38 2014lina.ye
*SEFM 2014: Final Call for Papers
5 Mar 09:53 2014SYNASC 2014
*CFP Synasc 22-25 September 2014, Timisoara, Romania
5 Mar 09:47 2014SYNASC 2014
*CFP Synasc 22-25 September 2014, Timisoara, Romania
5 Mar 20:11 2014Simone
*ESOCC 2014 - Call for Papers
5 Mar 09:55 2014Martin Leucker
*Deadline Extended: TASE 2014
4 Mar 20:16 2014Gabriel Ciobanu
*Call for Papers ICTAC 2014, 17-20 Sept, Bucharest, Romania
4 Mar 16:03 2014Ramana Kumar
*HOL'14 Workshop: Call for Abstracts
28 Feb 09:44 2014Serge Autexier
*CICM 2014: Extended Deadline March 14th, 2014
28 Feb 12:45 2014Dongming Wang
*JSC special issue on Program Verification, Automated Debugging and Sym
27 Feb 17:29 2014Luca Paolini
*2nd CFP, Intersection Types and Related Systems 2014
26 Feb 22:56 2014Kristin Yvonne Rozier
*[fm-announcements] NFM 2014 Call for Participation
26 Feb 08:54 2014Wendelin Serwe
*Second Call for Papers: FMICS 2014
23 Feb 09:02 2014Miroslav Velev
*CFP: 11th International Workshop on Boolean Problems (IWSBP'14)
24 Feb 07:30 2014Peter Höfner
*Call for Participation RAMiCS 2014
21 Feb 16:47 2014Serge Autexier
*First Call for Papers: 8th Verification Workshop (VERIFY 2014), Focus
21 Feb 22:31 2014Amy Felty
*LFMTP 2014: Call for Papers
18 Feb 16:04 2014Alexandra Silva
*CMCS 2014: call for short contributions and participation
16 Feb 10:08 2014GRLMC
*LATA 2014: call for participation
17 Feb 15:00 2014Serge Autexier
*2nd Call for Papers: Conf. Intelligent Computer Mathematics (CICM 2014
14 Feb 06:43 2014Klaus Havelund
*[fm-announcements] RV 2014: 2nd Call for Papers, Deadline in 2 months
13 Feb 05:03 2014Adnan Rashid Raja
*Tactics to delete the assumptions in HOL-Light
14 Feb 12:50 2014Ramana Kumar
**Tactics to delete the assumptions in HOL-Light
14 Feb 14:12 2014Bill Richter
***Tactics to delete the assumptions in HOL-Light
14 Feb 14:29 2014Ramana Kumar
****Tactics to delete the assumptions in HOL-Light
14 Feb 14:34 2014Vincent Aravantinos
*****Tactics to delete the assumptions in HOL-Light
17 Feb 12:34 2014Bill Richter
******Tactics to delete the assumptions in HOL-Light
14 Feb 14:28 2014Adnan Rashid Raja
****Tactics to delete the assumptions in HOL-Light
14 Feb 13:12 2014Adnan Rashid Raja
***Tactics to delete the assumptions in HOL-Light
14 Feb 06:50 2014Klaus Havelund
*[fm-announcements] Summer School on Cyber-Physical Systems, GRENOBLE (
11 Feb 10:53 2014Leo Freitas
*VSTTE CfP
10 Feb 16:05 2014Walther Neuper
*Cfp for NLSR at RTA-TLCA in Vienna 2014
6 Feb 18:02 2014Iain Whiteside
*AI4FM 2014: Call for Short Contributions
10 Feb 10:35 2014Ramana Kumar
*Find the precedence and fixity