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 []
15 Jul 09:13 2014DIFTS14
*DIFTS14 - SECOND Call for Papers
15 Jul 09:16 2014DIFTS14
*DIFTS14 - SECOND Call for Papers
17 Jul 16:23 2014Alwen Tiu
*Call for Papers: CPP 2015 -- Certified Programs and Proofs
17 Jul 08:25 2014Klaus Havelund
*[fm-announcements] Call for Papers: NASA Formal Methods (NFM) 2015
10 Jul 16:02 2014David Sanan
*how to provide a witness of a forall quantifier to generate a countere
10 Jul 22:33 2014Ramana Kumar
**how to provide a witness of a forall quantifier to generate a countere
1 Jul 11:08 2014SYNASC 2014
*[Extended deadlines] CFP for workshops in conjunction with SYNASC 2014
3 Jul 09:00 2014Tsung-Yi Ho
*Call for Participat​ion - ACM Student Research Competitio​n at ICC
4 Jul 14:27 2014lina.ye
*Call for Participation: SEFM 2014
1 Jul 17:35 2014Juan Boubeta Puig
*Invitation to submit a chapter proposal on SOA 2.0
4 Jul 17:11 2014lina.ye
*ACM SAC 2015: Software Verification and Testing Track - Second CfP
25 Jun 16:18 2014DIFTS14
*DIFTS14 - FIRST Call for Papers
27 Jun 19:49 2014Jiaqi Tan
*Proving with existentially quantified variable: Can witnesses be gener
28 Jun 00:23 2014Anthony Fox
**Proving with existentially quantified variable: Can witnesses be gener
28 Jun 03:56 2014Jiaqi Tan
***Proving with existentially quantified variable: Can witnesses be gener
28 Jun 08:31 2014Anthony Fox
****Proving with existentially quantified variable: Can witnesses be gener
25 Jun 18:18 2014Geoff Sutcliffe
*SCSS 2014 Deadline Extension
25 Jun 07:57 2014Tsung-Yi Ho
*Call for Participat​ion - ACM Student Research Competitio​n at ICC
22 Jun 18:49 2014Ramana Kumar
*type-directed user printers
23 Jun 02:27 2014Michael Norrish
**type-directed user printers
19 Jun 14:00 2014Roberto Guanciale
*PhD position in verification of low-level software
18 Jun 08:27 2014Tobias Wrigstad
*ECOOP 2014: Call for Participation
17 Jun 11:23 2014Katarina Jurik
*Vienna Summer of Logic: Call for Participation
15 Jun 11:12 2014Sophie Tison
*Vienna Summer of Logic: Call for participation
12 Jun 08:53 2014Leo Freitas
*VSComp - Call for Participation
10 Jun 21:08 2014MUNOZ, CESAR (LARC-D320
*[fm-announcements] Fourth Verified Software Competition (VSComp), 14-1
11 Jun 00:09 2014Jean-Pierre Talpin
*[Memocode] FINAL CALL FOR PAPERS - MEMOCODE'14 - 12th ACM/IEEE Interna
11 Jun 18:17 2014FOCLASA 2014
*FOCLASA 2014 - Deadline Extended (The 13th International Workshop on F
10 Jun 11:18 2014lina.ye
*ACM SAC 2015: Software Verification and Testing Track - First CfP
6 Jun 09:40 20142014 wadt
*WADT 2014 - 2nd Call for Papers
7 Jun 15:37 2014Curious Researcher
*Modeling real-time distributed system
5 Jun 17:38 2014Gergely Buday
*mk_type in quotation
5 Jun 11:33 2014Gergely Buday
*integer library in hol88
5 Jun 11:35 2014Amy Felty
*LFMTP 2014: Call for Participation
5 Jun 12:17 2014Gerwin Klein
*ITP'14: early registration deadline approaching
4 Jun 11:32 2014Mitra Purandare
*Call for submissions: FMCAD 2014 Student Forum
3 Jun 17:37 2014Geoff Sutcliffe
*IJCAR Call for Participation
1 Jun 17:47 2014Gergely Buday
*The SECD Microprocessor -- A Verification Case Study
3 Jun 18:32 2014Konrad Slind
**The SECD Microprocessor -- A Verification Case Study
3 Jun 19:56 2014Gergely Buday
***The SECD Microprocessor -- A Verification Case Study
1 Jun 17:43 2014Ramana Kumar
*LaTeX munger on Datatype theorems
2 Jun 02:02 2014Michael Norrish
**LaTeX munger on Datatype theorems
2 Jun 12:11 2014Matthew Gadd
***LaTeX munger on Datatype theorems
3 Jun 00:34 2014Michael Norrish
****LaTeX munger on Datatype theorems
29 May 18:39 2014David Sanan
*transitive closure
29 May 19:41 2014Ramana Kumar
**transitive closure
30 May 01:04 2014Michael Norrish
**transitive closure
29 May 07:55 2014Maria Spichkova
*Workshop "Human-Oriented Formal Methods" @SEFM 2014
27 May 19:30 2014FSEN
*First Call for Papers: FSEN 2015
28 May 18:32 2014Ramana Kumar
*Call for Participation: HOL'14 Workshop
26 May 18:36 2014Umair Siddique
*hol-info Digest, Vol 96, Issue 8
22 May 15:42 2014rs-workshop-at-floc14
*[RS-at-FLoC-14] Reactive Systems workshop in honor of David Harel - Ju
24 May 11:58 2014Valerie Martin
*Stuck in trying to prove a simple mathematical summation
26 May 18:03 2014Ramana Kumar
**Stuck in trying to prove a simple mathematical summation
23 May 14:41 2014lina.ye
*Second Call for Papers: Workshops Colocated with SEFM 2014
24 May 14:42 2014Leo Freitas
*VSComp 2014 CfP
16 May 07:59 2014Tobias Nipkow
*ISABELLE WORKSHOP and TUTORIAL
13 May 12:40 2014Eijiro Sumii
*FLOPS 2014 call for participation (early registration deadline extende
13 May 10:01 2014masoume tajvidi
*Useful Modus Ponens Tactic?
13 May 10:08 2014Michael Norrish
**Useful Modus Ponens Tactic?
13 May 10:25 2014Ramana Kumar
**Useful Modus Ponens Tactic?
13 May 10:27 2014Ramana Kumar
***Useful Modus Ponens Tactic?
13 May 10:35 2014Magnus Myreen
**Useful Modus Ponens Tactic?
13 May 11:08 2014masoume tajvidi
***Useful Modus Ponens Tactic?
13 May 11:24 2014Magnus Myreen
****Useful Modus Ponens Tactic?
14 May 07:46 2014masoume tajvidi
*****Useful Modus Ponens Tactic?
12 May 10:52 2014aniello murano
*GandALF 2014: Extended deadlines
11 May 16:32 2014Michael Kohlhase
*First Call for Papers: 26. OpenMath Workshop (at CICM 2014; July 7. J
7 May 11:01 2014Jean-Pierre Talpin
*[Memocode] ACM-IEEE MEMOCODE’14 SPECIAL ANNOUNCEMENT — SOFTWARE AN
5 May 08:30 2014Serge Autexier
*CICM 2014: Invited Speakers & Call for Work-in-Progress Papers, 1 June
2 May 16:50 2014afelty
*LFMTP 2014: Deadline Extension
2 May 10:44 2014LMCS
*Logical Methods in CS: ten years