hol-info  

Messages by Thread

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

• Earlier messages
• Later messages