hol-info

Messages by Date

2019/09/14 [Hol-info] FM'19 - 2nd Call for Participation Renato Neves
2019/09/14 [Hol-info] Third CFP - RAMiCS 2020 Michael Winter
2019/09/06 [Hol-info] CFP for Certified Programs and Proofs (CPP 2020) Catalin Hritcu
2019/08/31 [Hol-info] AIIA 2019 Doctoral Consortium Luca Pulina
2019/08/31 [Hol-info] FMTea19 CALL for PARTICIPATION: Formal Methods Teaching, on October 7, 2019, in Porto, Portugal Luigia Petre
2019/08/31 [Hol-info] Deadline extension: Formal Techniques for Safety-Critical Systems (FTSCS'19 -- an ICFEM event) Osman Hasan via hol-info
2019/08/31 [Hol-info] FMCAD 2019 Call for Participation barrett
2019/08/31 [Hol-info] TPTP v7.3.0 released geoff
2019/08/31 [Hol-info] GCAI 2020, Hangzhou, China - Call for Papers geoff
2019/08/25 [Hol-info] ICLP 2019 - Call for Participation (Early registration deadline is today) Fioretto, Ferdinando
2019/08/25 [Hol-info] Second call for papers Software Verfication and Testing (SVT) at SAC 2020 Matthias Güdemann
2019/08/25 [Hol-info] ICLP 2019 - CALL FOR PARTICIPATION Fioretto, Ferdinando
2019/08/25 [Hol-info] Third CfP: Formal Techniques for Safety-Critical Systems (FTSCS'19 -- an ICFEM event) Osman Hasan via hol-info
2019/08/25 Re: [Hol-info] 0 / 0 = 0 ??? Norrish, Michael (Data61, Acton)
2019/08/25 [Hol-info] FroCoS-12 and TABLEAUX-28, London, September 2-6. Second call for participation (early registration closes on August 21) geoff
2019/08/25 [Hol-info] WORDS 2019 - 2nd call for participation Words 2019
2019/08/22 Re: [Hol-info] ITP 2019: Final Call for Participation Saburou Saitoh
2019/08/22 [Hol-info] ITP 2019: Final Call for Participation O'Leary, John W
2019/08/20 [Hol-info] Research Fellow in Verified Operating System Security Toby Murray
2019/08/19 [Hol-info] Kananaskis-13 release Norrish, Michael (Data61, Acton)
2019/08/09 Re: [Hol-info] 0 / 0 = 0 ??? Saburou Saitoh
2019/08/09 Re: [Hol-info] 0 / 0 = 0 ??? Norrish, Michael (Data61, Acton)
2019/08/09 Re: [Hol-info] 0 / 0 = 0 ??? Saburou Saitoh
2019/08/09 Re: [Hol-info] 0 / 0 = 0 ??? Chun Tian (binghe)
2019/08/08 Re: [Hol-info] How to express a finite_map or alist using a key list and a value list? Chun Tian (binghe)
2019/08/07 Re: [Hol-info] How to express a finite_map or alist using a key list and a value list? Konrad Slind
2019/08/07 [Hol-info] How to express a finite_map or alist using a key list and a value list? Chun Tian (binghe)
2019/08/04 [Hol-info] RAMiCS2020 - 2nd CFP Michael Winter
2019/08/04 [Hol-info] FMCAD Student Forum: DEADLINE EXTENDED Grigory Fedyukovich
2019/08/04 [Hol-info] ICLP 2019 - Call for Participation Fioretto, Ferdinando
2019/08/04 [Hol-info] [Vardi-list] The Mathematics of Quantum Computation - The 4th Advanced School in Computer Science and Engineering Moshe Vardi
2019/07/28 [Hol-info] ITP 2019: Second Call for Participation O'Leary, John W
2019/07/28 [Hol-info] Vote for location of ITP2021 (DEADLINE 2nd Aug) O'Leary, John W
2019/07/24 [Hol-info] Call for Papers: 24th European Conference on Artificial Intelligence (ECAI 2020) LUIS MAGDALENA
2019/07/24 [Hol-info] UNSW postdoc position for Verified Time Protection Klein, Gerwin (Data61, Kensington NSW)
2019/07/24 [Hol-info] FroCoS-12 and TABLEAUX-28 geoff
2019/07/20 [Hol-info] CFP: DATE 2020 - Topic E3 - Model-Based Design, Verification and Security for Embedded Systems Yliès Falcone
2019/07/16 [Hol-info] Second CfP: Formal Techniques for Safety-Critical Systems (FTSCS'19 -- an ICFEM event) Osman Hasan via hol-info
2019/07/16 [Hol-info] Assistant Professor Position at Uppsala University Tjark Weber
2019/07/15 [Hol-info] KTH announces 8 PhD student positions in cyber security Roberto Guanciale
2019/07/15 [Hol-info] WORDS 2019 - call for participation Words 2019
2019/07/15 [Hol-info] SEFM 2019 - Call for Participation Lina Marsso
2019/07/15 [Hol-info] Is there any good web inteface for formally proven mathematical theorems that anyone can contribute to without manual proof review? Ciro Santilli
2019/07/15 [Hol-info] iFM 2019: Deadline Extension Kristin Yvonne Rozier
2019/07/14 [Hol-info] Workshop in OCL and Textual Modeling (OCL 2019) - Deadline Extension Achim D. Brucker
2019/07/13 Re: [Hol-info] Fwd: Is there any good web inteface for formally proven mathematical theorems that anyone can contribute to without manual proof review? Saburou Saitoh
2019/07/13 [Hol-info] Fwd: Is there any good web inteface for formally proven mathematical theorems that anyone can contribute to without manual proof review? Ciro Santilli
2019/07/07 [Hol-info] post-doc opportunity at UNSW Sydney Norrish, Michael (Data61, Acton)
2019/07/01 [Hol-info] Vote for location of ITP2021 O'Leary, John W
2019/06/29 [Hol-info] ICLP 2019 - Special Session: Women in Logic Programming Fioretto, Ferdinando
2019/06/29 [Hol-info] ICLP DC 2019 - 15th Doctoral Consortium (DC) on Logic Programming Fioretto, Ferdinando
2019/06/29 [Hol-info] ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers Fioretto, Ferdinando
2019/06/29 [Hol-info] LOPSTR 2019: Third Call for Papers Tommaso Liu
2019/06/29 [Hol-info] (Extended deadline) Formal Methods 2019 - 1st Workshop on Formal Methods for Blockchains, CFP Bruno Bernardo
2019/06/29 [Hol-info] [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence Luca Pulina
2019/06/29 [Hol-info] FMICS 2019: Call for participation Tim Willemse
2019/06/29 [Hol-info] Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019) Achim D. Brucker
2019/06/25 [Hol-info] (Extended deadline) Formal Methods 2019 - 1st Workshop on Formal Methods for Blockchains, CFP Bruno Bernardo
2019/06/24 [Hol-info] ITP 2019: Call for Participation O'Leary, John W
2019/06/20 (PN) CfP (deadline extension) - Formal Aspects of Component Software (FACS 2019, 23-25 October, Amsterdam) Sung-Shik Jongmans
2019/06/14 [Hol-info] FMTea19, deadline extension: Formal Methods Teaching Workshop and Tutorial Claudio MENGHI
2019/06/14 [Hol-info] [CfP] ASYDE workshop @SEFM'19 - Extended abstract and paper submission deadline alexander . perucci
2019/06/14 [Hol-info] LFMTP 2019 - Call for participation Ivan Scagnetto
2019/06/14 [Hol-info] CONCUR 2019 call for participation Fokkink, W.J. via hol-info
2019/06/14 [Hol-info] ARCADE 2019 - submission deadline extension geoff
2019/06/14 [Hol-info] CfP: Formal Techniques for Safety-Critical Systems (FTSCS'19 -- an ICFEM event) Osman Hasan via hol-info
2019/06/02 [Hol-info] Postdoc in System Security and Formal Methods Roberto Guanciale
2019/05/31 [Hol-info] Student Forum FMCAD 2019
2019/05/31 [Hol-info] Call for Participation - Workshop on Large Mathematical Libraries (LML 2019) Dennis Müller
2019/05/31 [Hol-info] The 6th Vampire Workshop - CFP geoff
2019/05/31 [Hol-info] FMTea19, deadline extension: Formal Methods Teaching Workshop and Tutorial Luigia Petre
2019/05/31 [Hol-info] [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence Luca Pulina
2019/05/30 [Hol-info] Fwd: [CICM] Call for Participation - 2nd Workshop on Formal Verification of Physical Systems (FVPS 2019) Umair Siddique
2019/05/25 [Hol-info] [CfP] ASYDE workshop @SEFM'19 - Springer Special Issue and Keynote ready alexander . perucci
2019/05/25 [Hol-info] Call for Papers - 2nd PhD Workshop on Cyber-Physical Systems Luca Pulina
2019/05/25 [Hol-info] Call for Participation - CPS Summer School 2019 Luca Pulina
2019/05/25 [Hol-info] Call For Papers: Workshop in OCL and Textual Modeling (OCL 2019) Achim D. Brucker
2019/05/21 [Hol-info] Formal Methods 2019 - Doctoral Symposium (2nd Call for Papers) nevrenato
2019/05/21 [Hol-info] CFP: ICLP 2019 - Special Session: Women in Logic Programming Fioretto, Ferdinando
2019/05/20 [Hol-info] LOPSTR 2019: Fist Call for Papers Tong Liu
2019/05/20 [Hol-info] Second Dali Workshop: Second Call for Papers nevrenato
2019/05/20 [Hol-info] [CFP] ICLP 2019 - Research Challenges in Logic Programming Track Fioretto, Ferdinando
2019/05/20 [Hol-info] ICLP 2019 Sister Conferences and Journal Presentation Track - Call for Papers Fioretto, Ferdinando
2019/05/17 [Hol-info] [3rd Call for Papers] ASYDE 2019 @ SEFM 2019 alexander . perucci
2019/05/17 [Hol-info] [Call for Papers] AIIA19 - The 18th International Conference of the Italian Association for Artificial Intelligence Luca Pulina
2019/05/16 [Hol-info] Call for registration: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France Frédéric Blanqui
2019/05/15 [Hol-info] RAMiCS2020 - CFP Michael Winter
2019/05/15 [Hol-info] ETAPS 2020: Call for Satellite Events Hoefner, Peter (Data61, Kensington NSW)
2019/05/09 [Hol-info] CICM 2019: Joint Call for Workshop Papers (OpenMath, LML, GVMM, FVPS), Doctoral Programme Submissions & Participation Serge Autexier
2019/05/09 [Hol-info] SEFM 2019 - Final CfP with Extended Deadlines Lina Marsso
2019/05/09 [Hol-info] ICLP - Doctoral Consortium (DC) on Logic Programming Fioretto, Ferdinando
2019/05/09 [Hol-info] CFP - ICLP 2019 (Special Session: Women in Logic Programming ) - updated deadlines Fioretto, Ferdinando
2019/05/09 [Hol-info] FMCAD 2019 Deadline Extension barrett
2019/05/09 [Hol-info] 6th International Workshop on Proof eXchange for Theorem Proving (PxTP) geoff
2019/05/06 [Hol-info] FTfJP 2019: CFP for Second Round Toby Murray
2019/05/01 [Hol-info] [Deadline Extension] Formal Verification of Physical Systems (FVPS 2019) Umair Siddique
2019/05/01 Re: [Hol-info] hardware verification and dependent types Ken Kubota
2019/04/30 [Hol-info] SEFM 2019 - abstract sub. deadline: May 3, 2019 Lina Marsso
2019/04/30 Re: [Hol-info] hardware verification and dependent types Gergely Buday
2019/04/30 Re: [Hol-info] hardware verification and dependent types Scott Owens
2019/04/30 [Hol-info] hardware verification and dependent types Lawrence Paulson
2019/04/28 [Hol-info] CFP: ICLP 2019 Special Session: Women in Logic Programming Fioretto, Ferdinando
2019/04/28 [Hol-info] CfP: RV2019 - Runtime Verification - EXTENDED DEADLINE Martin Leucker
2019/04/28 [Hol-info] CFP - The 35th International Conference on Logic Programming (ICLP 2019) Applications Track Fioretto, Ferdinando
2019/04/26 [Hol-info] LPNMR 2019 CALL FOR PARTICIPATION Gregory Gelfond
2019/04/26 [Hol-info] CFP: 1st Workshop on Formal Methods for Blockchains (FMBC) 2019 Bruno Bernardo
2019/04/26 [Hol-info] Verification Mentoring Workshop 2019: Scholarships geoff
2019/04/26 [Hol-info] LPNMR 2019 Final Call for Papers ** DEADLINE EXTENSION ** Gregory Gelfond
2019/04/25 [Hol-info] POPL 2020 Call for Workshops and Co-located Events Michael Greenberg
2019/04/25 [Hol-info] Last CfP: ThEdu'19 at CADE Walther Neuper
2019/04/25 [Hol-info] FMCAD 2019 Second CFP barrett
2019/04/24 [Hol-info] CakeML Developers Meeting 13-14 May 2019 Magnus Myreen
2019/04/23 [Hol-info] Extended Deadlines FMICS 2019: Formal Methods for Industrial Critical Systems; 1 May (abstract); 3 May (paper) Tim Willemse
2019/04/23 [Hol-info] ARCADE 2019 CFP geoff
2019/04/23 [Hol-info] EXTENDED DEADLINE APRIL 28: CAUSAL 2019 Call for Papers (co-located with LPNMR 2019) Emily LeBlanc
2019/04/23 [Hol-info] [fm-announcements] NFM 2019 Call For Participation- 11th Annual NASA Formal Methods Symposium Kristin Yvonne Rozier
2019/04/21 [Hol-info] DEADLINE EXTENDED: FTfJP 2019 - 28 April Toby Murray
2019/04/18 [Hol-info] LSFA 2019 - Final Call for Papers and Extended Deadline Amy Felty
2019/04/15 [Hol-info] FTfJP 2019: Second Call for Papers Toby Murray
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