hol-info

Messages by Date

2019/03/06 Re: [Hol-info] HOL difficulty with this subgoal Haitao Zhang
2019/03/06 [Hol-info] between drule and drule_all Haitao Zhang
2019/03/06 Re: [Hol-info] HOL difficulty with this subgoal Michael.Norrish
2019/03/05 Re: [Hol-info] HOL difficulty with this subgoal Haitao Zhang
2019/03/05 Re: [Hol-info] HOL difficulty with this subgoal Haitao Zhang
2019/03/05 Re: [Hol-info] HOL difficulty with this subgoal Michael.Norrish
2019/03/05 [Hol-info] PhD scholarships and post-doctoral opportunities at Programming Language Systems, ANU Michael.Norrish
2019/03/05 [Hol-info] HOL difficulty with this subgoal Haitao Zhang
2019/03/05 Re: [Hol-info] library visibility Michael.Norrish
2019/03/05 [Hol-info] Question Saburou Saitoh
2019/03/05 Re: [Hol-info] literature for tactics Umair Siddique
2019/03/05 [Hol-info] literature for tactics Gergely Buday
2019/03/05 Re: [Hol-info] library visibility Thomas Lacroix
2019/03/03 [Hol-info] CICM 2019, July 8-12: Extended Deadline 8th March 2019 (abstracts), 15th March 2019 (full papers) Serge Autexier
2019/03/03 Re: [Hol-info] An infinite sum of 0 or 1 is finite, then ... Chun Tian (binghe)
2019/03/03 Re: [Hol-info] library visibility Michael.Norrish
2019/03/02 [Hol-info] Division by zero, implimented?! Saburou Saitoh
2019/03/02 Re: [Hol-info] library visibility Haitao Zhang
2019/03/02 Re: [Hol-info] library visibility Thomas Tuerk
2019/03/02 Re: [Hol-info] library visibility Haitao Zhang
2019/03/02 [Hol-info] library visibility Haitao Zhang
2019/03/01 Re: [Hol-info] An infinite sum of 0 or 1 is finite, then ... Haitao Zhang
2019/03/01 Re: [Hol-info] An infinite sum of 0 or 1 is finite, then ... Chun Tian (binghe)
2019/03/01 Re: [Hol-info] An infinite sum of 0 or 1 is finite, then ... Saburou Saitoh
2019/03/01 Re: [Hol-info] An infinite sum of 0 or 1 is finite, then ... Chun Tian (binghe)
2019/03/01 Re: [Hol-info] An infinite sum of 0 or 1 is finite, then ... Chun Tian (binghe)
2019/03/01 Re: [Hol-info] An infinite sum of 0 or 1 is finite, then ... Haitao Zhang
2019/03/01 [Hol-info] An infinite sum of 0 or 1 is finite, then ... Chun Tian (binghe)
2019/03/01 [Hol-info] division by zero Saburou Saitoh
2019/02/28 Re: [Hol-info] MATCH_MP_TAC and canonical implication form Haitao Zhang
2019/02/28 [Hol-info] MATCH_MP_TAC and canonical implication form Haitao Zhang
2019/02/28 Re: [Hol-info] Transform under binders Thomas Tuerk
2019/02/28 [Hol-info] Transform under binders Haitao Zhang
2019/02/26 Re: [Hol-info] Working with assumptions Michael.Norrish
2019/02/26 Re: [Hol-info] Exists unique quantifier Michael.Norrish
2019/02/26 [Hol-info] Exists unique quantifier Haitao Zhang
2019/02/26 Re: [Hol-info] Working with assumptions Haitao Zhang
2019/02/26 Re: [Hol-info] Sorting a finite sequence of disjoint sets? Chun Tian (binghe)
2019/02/25 Re: [Hol-info] Working with assumptions Michael.Norrish
2019/02/25 [Hol-info] CfP ThEdu'19 Walther Neuper
2019/02/25 [Hol-info] Working with assumptions Haitao Zhang
2019/02/25 [Hol-info] VerifyThis @ ETAPS 2019: Travel Grants + Call for Participation VerifyThis
2019/02/25 [Hol-info] SYNASC 2019 - 1st Call for Papers SYNASC 2019
2019/02/25 Re: [Hol-info] Sorting a finite sequence of disjoint sets? Thomas Sewell
2019/02/25 [Hol-info] Sorting a finite sequence of disjoint sets? Chun Tian (binghe)
2019/02/25 Re: [Hol-info] The equivalence of two definitions of "inf" (infimum) of real sets? Chun Tian (binghe)
2019/02/22 Re: [Hol-info] The equivalence of two definitions of "inf" (infimum) of real sets? Michael.Norrish
2019/02/21 [Hol-info] CICM 2019, July 8-12: 2nd Call for Submissions Serge Autexier
2019/02/21 [Hol-info] Formal Methods for Statistical Software, Call for Position Statements Black, Paul E. (Fed)
2019/02/21 Re: [Hol-info] 0 / 0 = 0 ??? Freek Wiedijk
2019/02/21 Re: [Hol-info] 0 / 0 = 0 ??? Lawrence Paulson
2019/02/21 [Hol-info] The equivalence of two definitions of "inf" (infimum) of real sets? Chun Tian (binghe)
2019/02/20 Re: [Hol-info] subtypeTools (was Re: 0 / 0 = 0 ???) Michael.Norrish
2019/02/20 [Hol-info] subtypeTools (was Re: 0 / 0 = 0 ???) Chun Tian (binghe)
2019/02/20 [Hol-info] WORDS 2019, 2nd call for papers Words 2019
2019/02/20 Re: [Hol-info] 0 / 0 = 0 ??? Ramana Kumar
2019/02/20 Re: [Hol-info] 0 / 0 = 0 ??? Umair Siddique
2019/02/20 Re: [Hol-info] 0 / 0 = 0 ??? Freek Wiedijk
2019/02/20 Re: [Hol-info] 0 / 0 = 0 ??? Ramana Kumar
2019/02/20 Re: [Hol-info] 0 / 0 = 0 ??? Chun Tian (binghe)
2019/02/20 Re: [Hol-info] 0 / 0 = 0 ??? Ramana Kumar
2019/02/20 Re: [Hol-info] 0 / 0 = 0 ??? Lawrence Paulson
2019/02/20 Re: [Hol-info] [tag] DATALOG 2.0 Call for Papers ** DEADLINE EXTENSION ** Mario Alviano
2019/02/20 [Hol-info] iFM 2019: Call for Workshops and Tutorials Martin Leucker
2019/02/20 [Hol-info] CADE-27: Second Call for Papers geoff
2019/02/20 [Hol-info] CFP: ICLP 2019 - Application Track Fioretto, Ferdinando
2019/02/20 [Hol-info] CFP: ICLP 2019 - Sister Conferences and Journal Presentation Track Fioretto, Ferdinando
2019/02/20 [Hol-info] DATALOG 2.0 Call for Papers ** DEADLINE EXTENSION ** Gregory Gelfond
2019/02/19 Re: [Hol-info] 0 / 0 = 0 ??? Michael.Norrish
2019/02/19 Re: [Hol-info] 0 / 0 = 0 ??? Konrad Slind
2019/02/19 Re: [Hol-info] 0 / 0 = 0 ??? Michael.Norrish
2019/02/19 Re: [Hol-info] 0 / 0 = 0 ??? Waqar Ahmad via hol-info
2019/02/19 Re: [Hol-info] 0 / 0 = 0 ??? Chun Tian (binghe)
2019/02/19 Re: [Hol-info] The remainder (tail) of an positive infinite summation? Chun Tian (binghe)
2019/02/19 [Hol-info] The remainder (tail) of an positive infinite summation? Chun Tian (binghe)
2019/02/17 Re: [Hol-info] 0 / 0 = 0 ??? Michael.Norrish
2019/02/16 Re: [Hol-info] Dealing with INFINITE num set ... Chun Tian (binghe)
2019/02/16 Re: [Hol-info] Dealing with INFINITE num set ... Chun Tian (binghe)
2019/02/16 Re: [Hol-info] Dealing with INFINITE num set ... Konrad Slind
2019/02/16 Re: [Hol-info] Dealing with INFINITE num set ... Konrad Slind
2019/02/15 [Hol-info] ITP 2019: Second Call for Papers O'Leary, John W
2019/02/15 Re: [Hol-info] 0 / 0 = 0 ??? Chun Tian (binghe)
2019/02/15 Re: [Hol-info] Dealing with INFINITE num set ... Chun Tian (binghe)
2019/02/15 [Hol-info] Dealing with INFINITE num set ... Chun Tian (binghe)
2019/02/15 Re: [Hol-info] 0 / 0 = 0 ??? Mark Adams
2019/02/15 Re: [Hol-info] 0 / 0 = 0 ??? Chun Tian (binghe)
2019/02/14 Re: [Hol-info] 0 / 0 = 0 ??? Michael.Norrish
2019/02/14 Re: [Hol-info] 0 / 0 = 0 ??? buday.gergely
2019/02/14 Re: [Hol-info] 0 / 0 = 0 ??? Jeremy Dawson
2019/02/14 Re: [Hol-info] 0 / 0 = 0 ??? Jeremy Dawson
2019/02/14 Re: [Hol-info] 0 / 0 = 0 ??? Michael.Norrish
2019/02/14 Re: [Hol-info] 0 / 0 = 0 ??? Konrad Slind
2019/02/14 Re: [Hol-info] 0 / 0 = 0 ??? Thomas Sewell
2019/02/14 [Hol-info] 0 / 0 = 0 ??? Chun Tian (binghe)
2019/02/12 [Hol-info] iFM 2019 - Call for Workshops and Tutorials Martin Leucker
2019/02/12 [Hol-info] Ninth Summer School on Formal Techniques, Atherton, California, May 18-24, 2019 Natarajan Shankar
2019/02/12 [Hol-info] CAUSAL 2019 Call for Papers Emily LeBlanc
2019/02/08 [Hol-info] Call for Papers: FMCAD 2019 Clark Barrett
2019/02/08 [Hol-info] CfP formal methods for statistics software, 2 March deadline Black, Paul E. (Fed)
2019/02/08 [Hol-info] Request Mohamed Wagdy
2019/02/05 [Hol-info] WiL 2019: Women in Logic Workshop Call for Papers Amy Felty
2019/02/05 [Hol-info] PhD Positions on Verified Mathematics at VU Amsterdam Jasmin Blanchette
2019/01/31 [Hol-info] POPL 2020 -- Call for Papers Michael Greenberg
2019/01/29 [Hol-info] LPNMR 2019 Final Call for Papers ** DEADLINE EXTENSION ** Gregory Gelfond
2019/01/17 [Hol-info] VerifyThis at ETAPS 2019: 2nd Call for Problems VerifyThis
2019/01/16 [Hol-info] ENTROPY 2019: Call for Papers Thomas Sewell
2019/01/15 Re: [Hol-info] Confused about Induct_on Alexander Cox
2019/01/15 Re: [Hol-info] Confused about Induct_on Michael.Norrish
2019/01/15 Re: [Hol-info] Confused about Induct_on Alexander Cox
2019/01/15 Re: [Hol-info] Confused about Induct_on Konrad Slind
2019/01/14 Re: [Hol-info] How to prove basic equivalency of rational? Xero Essential
2019/01/14 Re: [Hol-info] Confused about Induct_on Chun Tian (binghe)
2019/01/14 [Hol-info] Confused about Induct_on Alexander Cox
2019/01/14 Re: [Hol-info] How to prove basic equivalency of rational? Michael.Norrish
2019/01/14 Re: [Hol-info] How to prove basic equivalency of rational? Chun Tian (binghe)
2019/01/14 Re: [Hol-info] How to prove basic equivalency of rational? Heiko Becker
2019/01/13 [Hol-info] How to prove basic equivalency of rational? Xero Essential
2019/01/13 [Hol-info] SEFM 2019 - First Call for Papers LINA Marsso
2019/01/11 [Hol-info] [CFP] FMIS 2019: 8th Formal Methods for Interactive Systems workshop José Creissac Campos
2019/01/11 [Hol-info] How to prove basic equivalency of rational? Xero Essential
2019/01/10 [Hol-info] CONCUR 2019: Call for Workshop Proposals Luttik, S.P.
2019/01/10 [Hol-info] FM'19: Second Call for Papers Renato Neves
2019/01/09 [Hol-info] ITP 2019: Call for Papers O'Leary, John W
2019/01/09 [Hol-info] ICTAC 2020 - 2nd Call for Organizers - Deadline approaching Martin Leucker
2019/01/08 [Hol-info] 2019 Alonzo Church Award: Call for Nominations Natarajan Shankar
2019/01/07 Re: [Hol-info] New grammar of defining theorems? Michael.Norrish
2019/01/07 Re: [Hol-info] New grammar of defining theorems? Jeremy Dawson
2019/01/07 Re: [Hol-info] HOL's new measure theory (in progress) Michael.Norrish
2019/01/07 Re: [Hol-info] New grammar of defining theorems? Michael.Norrish
2019/01/07 Re: [Hol-info] New grammar of defining theorems? Michael.Norrish
2019/01/07 Re: [Hol-info] New grammar of defining theorems? Jeremy Dawson
2019/01/07 Re: [Hol-info] New grammar of defining theorems? Konrad Slind
2019/01/07 Re: [Hol-info] New grammar of defining theorems? Michael.Norrish
2019/01/07 Re: [Hol-info] assignment Michael.Norrish
2019/01/07 [Hol-info] assignment ????????
2019/01/07 Re: [Hol-info] New grammar of defining theorems? Chun Tian (binghe)
2019/01/07 [Hol-info] assignment ????????
2019/01/07 Re: [Hol-info] New grammar of defining theorems? Chun Tian (binghe)
2019/01/07 Re: [Hol-info] New grammar of defining theorems? Michael.Norrish
2019/01/07 Re: [Hol-info] assignment Michael.Norrish
2019/01/07 [Hol-info] assignment ????????
2019/01/07 Re: [Hol-info] HOL's new measure theory (in progress) Chun Tian (binghe)
2019/01/07 Re: [Hol-info] HOL's new measure theory (in progress) Chun Tian (binghe)
2019/01/07 Re: [Hol-info] New grammar of defining theorems? Chun Tian (binghe)
2019/01/07 Re: [Hol-info] HOL's new measure theory (in progress) Chun Tian (binghe)
2019/01/06 Re: [Hol-info] HOL's new measure theory (in progress) Waqar Ahmad via hol-info
2019/01/06 Re: [Hol-info] HOL's new measure theory (in progress) Michael.Norrish
2019/01/06 Re: [Hol-info] New grammar of defining theorems? Michael.Norrish
2019/01/05 Re: [Hol-info] How to do this kind of induction? Chun Tian (binghe)
2019/01/05 Re: [Hol-info] How to do this kind of induction? Konrad Slind
2019/01/05 Re: [Hol-info] How to do this kind of induction? Konrad Slind
2019/01/05 Re: [Hol-info] How to do this kind of induction? Chun Tian (binghe)
2019/01/05 [Hol-info] How to do this kind of induction? Chun Tian (binghe)
2019/01/04 Re: [Hol-info] Relations which build upon each other Michael.Norrish
2019/01/04 Re: [Hol-info] HOL's new measure theory (in progress) Chun Tian (binghe)
2019/01/04 Re: [Hol-info] HOL's new measure theory (in progress) Waqar Ahmad via hol-info
2019/01/04 [Hol-info] HOL's new measure theory (in progress) Chun Tian (binghe)
2019/01/03 [Hol-info] Relations which build upon each other Alexander Cox
2019/01/03 Re: [Hol-info] New grammar of defining theorems? Makarius
2019/01/03 Re: [Hol-info] New grammar of defining theorems? Chun Tian (binghe)
2019/01/03 Re: [Hol-info] New grammar of defining theorems? Makarius
2019/01/03 Re: [Hol-info] New grammar of defining theorems? Chun Tian (binghe)
2019/01/02 Re: [Hol-info] New grammar of defining theorems? Chun Tian (binghe)
2019/01/02 Re: [Hol-info] New grammar of defining theorems? Michael.Norrish
2019/01/01 [Hol-info] New grammar of defining theorems? Chun Tian (binghe)
2018/12/21 [Hol-info] LSFA 2019 Call for papers Amy Felty
2018/12/20 [Hol-info] Postdoc Positions at KTH and Chalmers on Cyber-Physical Systems (with CakeML) Magnus Myreen
2018/12/20 [Hol-info] Element assignment in structures ????????
2018/12/20 Re: [Hol-info] (no subject) Ramana Kumar
2018/12/20 Re: [Hol-info] (no subject) Chun Tian (binghe)
2018/12/19 [Hol-info] (no subject) ????????
2018/12/19 Re: [Hol-info] Element assignment in structures Konrad Slind
2018/12/19 [Hol-info] Element assignment in structures ????????
2018/12/19 Re: [Hol-info] Element assignment in structures Konrad Slind
2018/12/19 [Hol-info] Element assignment in structures ????????
2018/12/19 Re: [Hol-info] Element assignment in structures Michael.Norrish
2018/12/19 [Hol-info] Element assignment in structures ????????
2018/12/18 [Hol-info] Element assignment in structures ????????
2018/12/18 [Hol-info] LPNMR 2019 Call for Papers ** INVITED SPEAKERS TO BE ANNOUNCED ** Gregory Gelfond
2018/12/18 Re: [Hol-info] Element assignment in structures Chun Tian (binghe)
2018/12/17 [Hol-info] Element assignment in structures ????????
2018/12/17 Re: [Hol-info] Element assignment in structures Michael.Norrish
2018/12/17 [Hol-info] Element assignment in structures ????????
2018/12/12 [Hol-info] ITP2019: Call for Workshops - DEADLINE EXTENDED O'Leary, John W
2018/12/12 [Hol-info] Training: Getting Started with Formal Verification Ashish Darbari
2018/12/11 [Hol-info] Call for Papers: JLAMP Special Issue on Relational and Algebraic Methods in Computer Science Walter Guttmann
2018/12/11 [Hol-info] Work opportunities for Students/Graduates at Fondazione Bruno Kessler Marco Roveri
2018/12/11 [Hol-info] Post-doc position in the field of Predictive Maintenance at Fondazione Bruno Kessler Marco Roveri
2018/12/11 [Hol-info] Post-doc position in the field of Formal Methods at Fondazione Bruno Kessler Marco Roveri
2018/12/11 [Hol-info] Post-doc position in the field of Planning and Scheduling at Fondazione Bruno Kessler Marco Roveri
2018/12/09 [Hol-info] ICTAC 2020 - Call for Organizers Martin Leucker
2018/12/09 [Hol-info] CfP Reliability, safety and security of railway systems (RSSRail 2019) Alexander Romanovsky
2018/12/09 [Hol-info] [fm-announcements] SPIN 2019 in Beijing - Call for Papers and Participation Havelund, Klaus (348B) via hol-info
2018/12/02 [Hol-info] NFM 2019 Third Call For Papers- 11th Annual NASA Formal Methods Symposium Rozier, Kristin Yvonne [AER E]
2018/11/29 [Hol-info] WORDS 2019, 1st call for papers Words 2019
2018/11/29 [Hol-info] CfP Reliability, safety and security of railway systems (RSSRail 2019) Alexander Romanovsky
2018/11/29 [Hol-info] CONCUR 2019 Call for Workshop Proposals Luttik, S.P.
2018/11/27 [Hol-info] JELIA 2019 - DEADLINES EXTENDED (Abstract 2 Dec. - Submission 7 Dec.) cfp
2018/11/22 [Hol-info] VerifyThis at ETAPS 2019: Announcement + Call for Problems VerifyThis
2018/11/21 [Hol-info] POPL 2019 Call for Participation -- Cascais/Lisbon January 16-18 Michael Greenberg