hol-info

Messages by Date

2019/04/14 [Hol-info] NFM 2019 Call For Participation- 11th Annual NASA Formal Methods Symposium Kristin Yvonne Rozier
2019/04/14 [Hol-info] CFP: ICLP 2019 - Special Session: Women in Logic Programming Fioretto, Ferdinando
2019/04/14 [Hol-info] [ECAI2020] Preliminary CFP 24th European Conference on Artificial Intelligence. 8-12 June 2020. Santiago de Compostela, Spain. BUGARIN DIZ ALBERTO JOSE
2019/04/14 [Hol-info] CFP: ICLP 2019 - Research Challenges in Logic Programming Track Fioretto, Ferdinando
2019/04/13 [Hol-info] [Call for Papers] Formal Techniques for Dependable Autonomous Systems (FT4DAS-2019) Umair Siddique
2019/04/11 [Hol-info] [Call for Papers] Formal Verification of Physical Systems (FVPS 2019) Umair Siddique
2019/04/11 [Hol-info] LPNMR 2019 -- CALL FOR PARTICIPATION Gregory Gelfond
2019/04/11 [Hol-info] Call for Papers: Formal Methods Teaching Workshop and Tutorial Claudio MENGHI
2019/04/11 [Hol-info] CAUSAL 2019 Call for Papers (co-located with LPNMR 2019) ** updated submission link Emily LeBlanc
2019/04/09 [Hol-info] Call for Bids to host ITP 2021 O'Leary, John W
2019/04/09 [Hol-info] [2nd Call for Papers] ASYDE 2019 @ SEFM 2019 alexander . perucci
2019/04/09 [Hol-info] LFMTP 2019 - CFP - Extended Deadline Ivan Scagnetto
2019/04/09 [Hol-info] WORDS 2019, last call for papers (Extended Deadline) Words 2019
2019/04/09 [Hol-info] CfP - FACS 2019 (Formal Aspects of Component Software) Sung-Shik Jongmans
2019/04/08 [Hol-info] Research Position in Verified Confidentiality for Weak Memory Concurrency Toby Murray
2019/04/07 [Hol-info] [CALL FOR TUTORIAL PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence Luca Pulina
2019/04/07 [Hol-info] [CALL FOR WORKSHOP PROPOSALS] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence Luca Pulina
2019/04/07 [Hol-info] CFP - The 35th International Conference on Logic Programming (ICLP 2019) Applications Track Fioretto, Ferdinando
2019/04/07 [Hol-info] FMICS 2019: Formal Methods for Industrial Critical Systems; deadlines: 19 April (abstract); 26 April (paper) Tim Willemse
2019/04/05 [Hol-info] QBFEVAL'19 Competitive Evaluation of QBF Solvers - DEADLINE EXTENSION Luca Pulina
2019/04/03 [Hol-info] WiL 2019: Women in Logic Workshop Final Call for Papers-Extended Deadline Amy Felty
2019/04/03 [Hol-info] ASPOCP 2019 - call for papers (deadline extended) Jorge Fandino
2019/04/03 [Hol-info] ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers Fioretto, Ferdinando
2019/04/03 [Hol-info] 6th Workshop on Proof eXchange for Theorem Proving (PxTP) - CFP geoff
2019/04/03 [Hol-info] ICLP 2019 - Call For Workshop Proposals Fioretto, Ferdinando
2019/04/03 [Hol-info] [1st Call for Papers] ASYDE 2019 @ SEFM 2019 alexander . perucci
2019/04/03 [Hol-info] First Call for Papers: AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence Luca Pulina
2019/04/03 [Hol-info] CfPart Reliability, safety and security of railway systems (RSSRail 2019) Alexander Romanovsky
2019/03/29 [Hol-info] Open Position: Lecturer in Cybersecurity - University of Exeter Achim D. Brucker
2019/03/26 [Hol-info] 1st CFP for Certified Programs and Proofs (CPP 2020) Catalin Hritcu
2019/03/24 [Hol-info] PhD scholarships at the Logic and Computation research group, ANU Michael.Norrish
2019/03/24 [Hol-info] ASPOCP 2019 - call for papers Jorge Fandino
2019/03/24 [Hol-info] CfP: RV2019 - Runtime Verification Martin Leucker
2019/03/19 Re: [Hol-info] "Proofs of Life"/axiomatics for all Rene Vestergaard
2019/03/19 Re: [Hol-info] HOL Saburou Saitoh
2019/03/19 Re: [Hol-info] Best way to conduct a generalized IMP_TRANS Haitao Zhang
2019/03/19 Re: [Hol-info] Best way to conduct a generalized IMP_TRANS Waqar Ahmad via hol-info
2019/03/19 [Hol-info] Best way to conduct a generalized IMP_TRANS Haitao Zhang
2019/03/18 [Hol-info] ICLP 2019 - Research Challenges in Logic Programming Track Fioretto, Ferdinando
2019/03/18 [Hol-info] Formal Methods 2019 - Final Call For Papers Renato Neves
2019/03/18 [Hol-info] NFM 2019: Call for Participation (Hotel Block Closing Shortly) Kristin Yvonne Rozier
2019/03/18 [Hol-info] Formal Methods 2019 - Doctoral Symposium Renato Neves
2019/03/18 [Hol-info] iFM 2019: Call for Workshops and Tutorials Martin Leucker
2019/03/18 [Hol-info] [fm-announcements] NFM 2019: Call for Participation (Hotel Block Closing Shortly) Kristin Yvonne Rozier
2019/03/18 Re: [Hol-info] "Wrong" definitions of transcendental functions (sin, cos, exp)? Chun Tian (binghe)
2019/03/18 [Hol-info] "Wrong" definitions of transcendental functions (sin, cos, exp)? Chun Tian (binghe)
2019/03/14 [Hol-info] ITP 2019: Final Call for Papers O'Leary, John W
2019/03/12 Re: [Hol-info] Proving a negative statement Michael.Norrish
2019/03/12 [Hol-info] Proving a negative statement Haitao Zhang
2019/03/12 [Hol-info] LSFA 2019 - Second Call for papers Amy Felty
2019/03/12 [Hol-info] SEFM 2019 - Call for Papers Lina Marsso
2019/03/11 [Hol-info] CONCUR 2019 final call for papers Fokkink, W.J. via hol-info
2019/03/10 [Hol-info] ICLP 2019 - CALL FOR WORKSHOP PROPOSALS Fioretto, Ferdinando
2019/03/10 [Hol-info] LFMTP 2019 - Call For Papers Ivan Scagnetto
2019/03/10 [Hol-info] CAUSAL 2019 Call for Papers (co-located with LPNMR 2019) Emily LeBlanc
2019/03/10 [Hol-info] Second Dali Workshop: First Call for Papers Renato Neves
2019/03/10 [Hol-info] ICLP 2019 - Special Session: Women in Logic Programming Fioretto, Ferdinando
2019/03/10 [Hol-info] FOCLASA 2019 - CFP Alejandro Perez Vereda
2019/03/10 [Hol-info] 5th Workshop on Bridging the Gap between Human and Automated Reasoning geoff
2019/03/10 [Hol-info] JELIA 2019 - Call For Participation cfp
2019/03/10 [Hol-info] CFP FMICS 2019: 24th International Conference on Formal Methods for Industrial Critical Systems Tim Willemse
2019/03/09 [Hol-info] proved a version of Yoneda lemma Haitao Zhang
2019/03/06 Re: [Hol-info] between drule and drule_all Haitao Zhang
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 ????????