hol-info  

Messages by Thread

• • Re: [Hol-info] An infinite sum of 0 or 1 is finite, then ... Chun Tian (binghe)
• [Hol-info] division by zero Saburou Saitoh
• [Hol-info] MATCH_MP_TAC and canonical implication form Haitao Zhang
  • Re: [Hol-info] MATCH_MP_TAC and canonical implication form Haitao Zhang
• [Hol-info] Transform under binders Haitao Zhang
  • Re: [Hol-info] Transform under binders Thomas Tuerk
• [Hol-info] Exists unique quantifier Haitao Zhang
  • Re: [Hol-info] Exists unique quantifier Michael.Norrish
• [Hol-info] CfP ThEdu'19 Walther Neuper
• [Hol-info] Working with assumptions Haitao Zhang
  • Re: [Hol-info] Working with assumptions Michael.Norrish
  • Re: [Hol-info] Working with assumptions Haitao Zhang
  • Re: [Hol-info] Working with assumptions Michael.Norrish
• [Hol-info] VerifyThis @ ETAPS 2019: Travel Grants + Call for Participation VerifyThis
• [Hol-info] SYNASC 2019 - 1st Call for Papers SYNASC 2019
• [Hol-info] Sorting a finite sequence of disjoint sets? Chun Tian (binghe)
  • Re: [Hol-info] Sorting a finite sequence of disjoint sets? Thomas Sewell
  • Re: [Hol-info] Sorting a finite sequence of disjoint sets? Chun Tian (binghe)
• [Hol-info] CICM 2019, July 8-12: 2nd Call for Submissions Serge Autexier
• [Hol-info] The equivalence of two definitions of "inf" (infimum) of real sets? Chun Tian (binghe)
  • Re: [Hol-info] The equivalence of two definitions of "inf" (infimum) of real sets? Michael.Norrish
  • Re: [Hol-info] The equivalence of two definitions of "inf" (infimum) of real sets? Chun Tian (binghe)
• [Hol-info] WORDS 2019, 2nd call for papers Words 2019
• [Hol-info] iFM 2019: Call for Workshops and Tutorials Martin Leucker
  • [Hol-info] iFM 2019: Call for Workshops and Tutorials Martin Leucker
• [Hol-info] CADE-27: Second Call for Papers geoff
• [Hol-info] CFP: ICLP 2019 - Application Track Fioretto, Ferdinando
• [Hol-info] CFP: ICLP 2019 - Sister Conferences and Journal Presentation Track Fioretto, Ferdinando
• [Hol-info] DATALOG 2.0 Call for Papers ** DEADLINE EXTENSION ** Gregory Gelfond
  • Re: [Hol-info] [tag] DATALOG 2.0 Call for Papers ** DEADLINE EXTENSION ** Mario Alviano
• [Hol-info] The remainder (tail) of an positive infinite summation? Chun Tian (binghe)
  • Re: [Hol-info] The remainder (tail) of an positive infinite summation? Chun Tian (binghe)
• [Hol-info] ITP 2019: Second Call for Papers O'Leary, John W
  • [Hol-info] Formal Methods for Statistical Software, Call for Position Statements Black, Paul E. (Fed)
• [Hol-info] Dealing with INFINITE num set ... Chun Tian (binghe)
  • Re: [Hol-info] Dealing with INFINITE num set ... Chun Tian (binghe)
  • Re: [Hol-info] Dealing with INFINITE num set ... Konrad Slind
  • Re: [Hol-info] Dealing with INFINITE num set ... Chun Tian (binghe)
  • Re: [Hol-info] Dealing with INFINITE num set ... Konrad Slind
  • Re: [Hol-info] Dealing with INFINITE num set ... Chun Tian (binghe)
• [Hol-info] 0 / 0 = 0 ??? Chun Tian (binghe)
  • Re: [Hol-info] 0 / 0 = 0 ??? Thomas Sewell
  • Re: [Hol-info] 0 / 0 = 0 ??? Michael.Norrish
  • Re: [Hol-info] 0 / 0 = 0 ??? Jeremy Dawson
  • Re: [Hol-info] 0 / 0 = 0 ??? buday.gergely
  • Re: [Hol-info] 0 / 0 = 0 ??? Michael.Norrish
  • Re: [Hol-info] 0 / 0 = 0 ??? Jeremy Dawson
  • Re: [Hol-info] 0 / 0 = 0 ??? Konrad Slind
  • Re: [Hol-info] 0 / 0 = 0 ??? Chun Tian (binghe)
  • Re: [Hol-info] 0 / 0 = 0 ??? Mark Adams
  • Re: [Hol-info] 0 / 0 = 0 ??? Chun Tian (binghe)
  • Re: [Hol-info] 0 / 0 = 0 ??? Chun Tian (binghe)
  • Re: [Hol-info] 0 / 0 = 0 ??? Waqar Ahmad via hol-info
  • Re: [Hol-info] 0 / 0 = 0 ??? Michael.Norrish
  • Re: [Hol-info] 0 / 0 = 0 ??? Konrad Slind
  • Re: [Hol-info] 0 / 0 = 0 ??? Michael.Norrish
  • Re: [Hol-info] 0 / 0 = 0 ??? Chun Tian (binghe)
  • Re: [Hol-info] 0 / 0 = 0 ??? Saburou Saitoh
  • Re: [Hol-info] 0 / 0 = 0 ??? Norrish, Michael (Data61, Acton)
  • Re: [Hol-info] 0 / 0 = 0 ??? Saburou Saitoh
  • Re: [Hol-info] 0 / 0 = 0 ??? Norrish, Michael (Data61, Acton)
  • Re: [Hol-info] 0 / 0 = 0 ??? Michael.Norrish
  • Re: [Hol-info] 0 / 0 = 0 ??? Lawrence Paulson
  • Re: [Hol-info] 0 / 0 = 0 ??? Ramana Kumar
  • Re: [Hol-info] 0 / 0 = 0 ??? Chun Tian (binghe)
  • Re: [Hol-info] 0 / 0 = 0 ??? Ramana Kumar
  • Re: [Hol-info] 0 / 0 = 0 ??? Freek Wiedijk
  • Re: [Hol-info] 0 / 0 = 0 ??? Umair Siddique
  • Re: [Hol-info] 0 / 0 = 0 ??? Ramana Kumar
  • [Hol-info] subtypeTools (was Re: 0 / 0 = 0 ???) Chun Tian (binghe)
  • Re: [Hol-info] subtypeTools (was Re: 0 / 0 = 0 ???) Michael.Norrish
  • Re: [Hol-info] 0 / 0 = 0 ??? Lawrence Paulson
  • Re: [Hol-info] 0 / 0 = 0 ??? Freek Wiedijk
• [Hol-info] iFM 2019 - Call for Workshops and Tutorials Martin Leucker
• [Hol-info] CAUSAL 2019 Call for Papers Emily LeBlanc
• [Hol-info] Call for Papers: FMCAD 2019 Clark Barrett
• [Hol-info] CfP formal methods for statistics software, 2 March deadline Black, Paul E. (Fed)
• [Hol-info] Request Mohamed Wagdy
• [Hol-info] WiL 2019: Women in Logic Workshop Call for Papers Amy Felty
• [Hol-info] PhD Positions on Verified Mathematics at VU Amsterdam Jasmin Blanchette
• [Hol-info] POPL 2020 -- Call for Papers Michael Greenberg
• [Hol-info] LPNMR 2019 Final Call for Papers ** DEADLINE EXTENSION ** Gregory Gelfond
  • [Hol-info] LPNMR 2019 Final Call for Papers ** DEADLINE EXTENSION ** Gregory Gelfond
• [Hol-info] VerifyThis at ETAPS 2019: 2nd Call for Problems VerifyThis
• [Hol-info] ENTROPY 2019: Call for Papers Thomas Sewell
• [Hol-info] Confused about Induct_on Alexander Cox
  • Re: [Hol-info] Confused about Induct_on Chun Tian (binghe)
  • Re: [Hol-info] Confused about Induct_on Konrad Slind
  • Re: [Hol-info] Confused about Induct_on Alexander Cox
  • Re: [Hol-info] Confused about Induct_on Michael.Norrish
  • Re: [Hol-info] Confused about Induct_on Alexander Cox
• [Hol-info] SEFM 2019 - First Call for Papers LINA Marsso
• [Hol-info] [CFP] FMIS 2019: 8th Formal Methods for Interactive Systems workshop José Creissac Campos
• [Hol-info] How to prove basic equivalency of rational? Xero Essential
  • [Hol-info] How to prove basic equivalency of rational? Xero Essential
  • Re: [Hol-info] How to prove basic equivalency of rational? Heiko Becker
  • Re: [Hol-info] How to prove basic equivalency of rational? Chun Tian (binghe)
  • Re: [Hol-info] How to prove basic equivalency of rational? Michael.Norrish
  • Re: [Hol-info] How to prove basic equivalency of rational? Xero Essential
• [Hol-info] FM'19: Second Call for Papers Renato Neves
• [Hol-info] ITP 2019: Call for Papers O'Leary, John W
• [Hol-info] ICTAC 2020 - 2nd Call for Organizers - Deadline approaching Martin Leucker
• [Hol-info] 2019 Alonzo Church Award: Call for Nominations Natarajan Shankar
• [Hol-info] assignment ????????
  • Re: [Hol-info] assignment Michael.Norrish
  • [Hol-info] assignment ????????
  • [Hol-info] assignment ????????
  • Re: [Hol-info] assignment Michael.Norrish
• [Hol-info] How to do this kind of induction? Chun Tian (binghe)
  • Re: [Hol-info] How to do this kind of induction? Chun Tian (binghe)
  • Re: [Hol-info] How to do this kind of induction? Konrad Slind
  • Re: [Hol-info] How to do this kind of induction? Konrad Slind
  • Re: [Hol-info] How to do this kind of induction? Chun Tian (binghe)
• [Hol-info] Relations which build upon each other Alexander Cox
  • Re: [Hol-info] Relations which build upon each other Michael.Norrish
• [Hol-info] New grammar of defining theorems? Chun Tian (binghe)
  • Re: [Hol-info] New grammar of defining theorems? Michael.Norrish
  • Re: [Hol-info] New grammar of defining theorems? Chun Tian (binghe)
  • Re: [Hol-info] New grammar of defining theorems? Chun Tian (binghe)
  • Re: [Hol-info] New grammar of defining theorems? Makarius
  • Re: [Hol-info] New grammar of defining theorems? Chun Tian (binghe)
  • Re: [Hol-info] New grammar of defining theorems? Makarius
  • Re: [Hol-info] New grammar of defining theorems? Michael.Norrish
  • Re: [Hol-info] New grammar of defining theorems? Chun Tian (binghe)
  • Re: [Hol-info] New grammar of defining theorems? Michael.Norrish
  • Re: [Hol-info] New grammar of defining theorems? Chun Tian (binghe)
  • Re: [Hol-info] New grammar of defining theorems? Chun Tian (binghe)
  • Re: [Hol-info] New grammar of defining theorems? Michael.Norrish
  • Re: [Hol-info] New grammar of defining theorems? Konrad Slind
  • Re: [Hol-info] New grammar of defining theorems? Jeremy Dawson
  • Re: [Hol-info] New grammar of defining theorems? Michael.Norrish
  • Re: [Hol-info] New grammar of defining theorems? Jeremy Dawson
  • Re: [Hol-info] New grammar of defining theorems? Michael.Norrish
  • Re: [Hol-info] New grammar of defining theorems? Michael.Norrish
• [Hol-info] LSFA 2019 Call for papers Amy Felty
• [Hol-info] Postdoc Positions at KTH and Chalmers on Cyber-Physical Systems (with CakeML) Magnus Myreen
• [Hol-info] Element assignment in structures ????????
  • Re: [Hol-info] Element assignment in structures Michael.Norrish
  • [Hol-info] Element assignment in structures ????????
  • Re: [Hol-info] Element assignment in structures Chun Tian (binghe)
  • [Hol-info] Element assignment in structures ????????
  • [Hol-info] Element assignment in structures ????????
  • Re: [Hol-info] Element assignment in structures Michael.Norrish
  • [Hol-info] Element assignment in structures ????????
  • Re: [Hol-info] Element assignment in structures Konrad Slind
  • [Hol-info] Element assignment in structures ????????
  • Re: [Hol-info] Element assignment in structures Konrad Slind
  • [Hol-info] Element assignment in structures ????????
• [Hol-info] ITP2019: Call for Workshops - DEADLINE EXTENDED O'Leary, John W
• [Hol-info] Training: Getting Started with Formal Verification Ashish Darbari
• [Hol-info] Call for Papers: JLAMP Special Issue on Relational and Algebraic Methods in Computer Science Walter Guttmann
• [Hol-info] Work opportunities for Students/Graduates at Fondazione Bruno Kessler Marco Roveri
• [Hol-info] Post-doc position in the field of Predictive Maintenance at Fondazione Bruno Kessler Marco Roveri
• [Hol-info] Post-doc position in the field of Formal Methods at Fondazione Bruno Kessler Marco Roveri
• [Hol-info] Post-doc position in the field of Planning and Scheduling at Fondazione Bruno Kessler Marco Roveri
• [Hol-info] ICTAC 2020 - Call for Organizers Martin Leucker
• [Hol-info] [fm-announcements] SPIN 2019 in Beijing - Call for Papers and Participation Havelund, Klaus (348B) via hol-info
• [Hol-info] NFM 2019 Third Call For Papers- 11th Annual NASA Formal Methods Symposium Rozier, Kristin Yvonne [AER E]
• [Hol-info] WORDS 2019, 1st call for papers Words 2019
• [Hol-info] CfP Reliability, safety and security of railway systems (RSSRail 2019) Alexander Romanovsky
  • [Hol-info] CfP Reliability, safety and security of railway systems (RSSRail 2019) Alexander Romanovsky
• [Hol-info] CONCUR 2019 Call for Workshop Proposals Luttik, S.P.
  • [Hol-info] CONCUR 2019: Call for Workshop Proposals Luttik, S.P.
• [Hol-info] JELIA 2019 - DEADLINES EXTENDED (Abstract 2 Dec. - Submission 7 Dec.) cfp
• [Hol-info] VerifyThis at ETAPS 2019: Announcement + Call for Problems VerifyThis
• [Hol-info] POPL 2019 Call for Participation -- Cascais/Lisbon January 16-18 Michael Greenberg
• [Hol-info] Artificial Intelligence and Theorem Proving, CFP geoff
• [Hol-info] Fwd: Job Opportunity at D-RisQ Rob Arthan
• [Hol-info] Research Scientist job at Data61 Michael.Norrish
• [Hol-info] Proof Engineer jobs in Sydney Michael.Norrish
• [Hol-info] excessive number of MLTEMP files Gergely Buday
  • Re: [Hol-info] excessive number of MLTEMP files Michael.Norrish
• [Hol-info] FM'19: Final Call for Workshop & Tutorial Proposals Renato Neves
• [Hol-info] CICM 2019, July 8-12: First Call for Submissions, Workshops & Tutorials Serge Autexier
• [Hol-info] Multiple Postdoc Positions @ Nanyang Technological University on verification Sanan Baena David Miguel (Dr)
• [Hol-info] [Vardi-list] The 3rd Winter School in Computer Science and Engineering on Blockchains and Cryptocurrencies Moshe Vardi
• [Hol-info] ICLA 2019: EIGHTH INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS 2019 geoff
• [Hol-info] CONCUR 2019 Call for Papers Fokkink, W.J.
• [Hol-info] "Proofs of life" Rene Vestergaard
  • Re: [Hol-info] "Proofs of life" José Manuel Rodriguez Caballero
  • Re: [Hol-info] "Proofs of life" Rene Vestergaard
• [Hol-info] JELIA 2019 - 2nd CfP - 1 month left - IJCAI, TPLP, Awards and Prizes cfp
• [Hol-info] [Vardi-list] NFM 2019 First Call For Papers- 11th Annual NASA Formal Methods Symposium Moshe Vardi
• [Hol-info] POPL 2019 Student Research Competition Michael Greenberg
• [Hol-info] Final Call for Papers: FSEN 2019 Maurice ter Beek
• [Hol-info] NFM 2019 Second Call For Papers- 11th Annual NASA Formal Methods Symposium Rozier, Kristin Yvonne [AER E]
• [Hol-info] CADE-27: Call for Papers, Workshops, Tutorials and System Competitions geoff
• [Hol-info] FM'19: Call for Workshop & Tutorial Proposals Renato Neves
• [Hol-info] Formal Methods 2019: First Call for Papers Renato Neves
• [Hol-info] Artificial Intelligence and Theorem Proving, AITP 2019 geoff
• [Hol-info] [ACL2-2018] Second Call For Participation: Registration Open! Shilpi Goel
• [Hol-info] On summation of 2-dimensional sequences Chun Tian (binghe)
  • Re: [Hol-info] On summation of 2-dimensional sequences Chun Tian (binghe)
• [Hol-info] PLMW@POPL19: Call for Scholarship Applications Michael Greenberg
• [Hol-info] JELIA 2019 - First CfP - IJCAI, TPLP publications and Awards cfp
• [Hol-info] A Second Opportunity to Submit - 13th International Workshop on the Implementation of Logics geoff
• [Hol-info] Third Call for Papers: FSEN 2019 Maurice ter Beek
• [Hol-info] PhD positions in System Security and Formal Methods at KTH Royal Institute of Technology Roberto Guanciale
• [Hol-info] ITP2019: Call for Workshops O'Leary, John W
• [Hol-info] assumption matching in SPLIT_LT Waqar Ahmad via hol-info

• Earlier messages
• Later messages