hol-info  

Messages by Thread

• • [Hol-info] CAUSAL 2021 Call for Papers (workshop of ICLP-21) Leblanc, Emily C CIV USN NRL (5512) Washington DC (USA) via hol-info
• [Hol-info] Call for Papers: Fifth Workshop on Formal Mathematics for Mathematicians (FMM 2021) Andrei Popescu
• [Hol-info] Certified Programs and Proofs (CPP) 2022: Call for Papers Andrei Popescu
• [Hol-info] FVPS 2021: Deadline Extension (June 25, 2021) Adnan Rashid via hol-info
• [Hol-info] Call for Papers: Recently Published Research Track at KR 2021 (deadline: June 27) Thanh Dinh
• [Hol-info] Call for Applications: Doctoral Consortium of KR 2021 (deadline: June 30) Thanh Dinh
• [Hol-info] CFP - Workshop on Machine Ethics and Explainability - The Role of Logic Programming (MEandE-LP 2021) Miguel Areias
• [Hol-info] CFP - Workshop on Probabilistic Logic Programming (PLP 2021) Miguel Areias
• [Hol-info] [Second Call for Papers] Formal Verification of Physical Systems (FVPS 2021) Adnan Rashid via hol-info
• [Hol-info] [Call for Participation] 12th International School on Rewriting ADRIAN RIESCO RODRIGUEZ
• [Hol-info] CFP - Workshop on Causal Reasoning and Explanation in Logic Programming (CAUSAL 2021) Miguel Areias
• [Hol-info] CFP - 14th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2021) Miguel Areias
• [Hol-info] CALCO 2021: Deadline extension and invited speakers Thorsten Wissmann
• [Hol-info] PhD position on program verification in Coq David Nowak
• [Hol-info] 12th International School on Rewriting (ISR 2021), online and free ADRIAN RIESCO RODRIGUEZ
• [Hol-info] CFP - 17th Doctoral Consortium (DC) on Logic Programming (ICLP-DC 2021) Miguel Areias
• [Hol-info] Call For Short Papers - 37th International Conference on Logic Programming (ICLP 2021) Miguel Areias
• [Hol-info] PhD position on the formalization of logical calculi in Saarbrücken Andrei Popescu
• [Hol-info] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield Andrei Popescu
  • [Hol-info] Position of Lecturer or Senior Lecturer in Cybersecurity at University of Sheffield Andrei Popescu
• [Hol-info] Call for Participation - Workshop on Natural Formal Mathematics (NatFoM 2021) Dennis Müller
• [Hol-info] [Call for Papers] Formal Verification of Physical Systems (FVPS 2021) Adnan Rashid via hol-info
• [Hol-info] RAMiCS 2021 - Deadline Extension luigi . santocanale
• [Hol-info] LOPSTR 2021 - Call for Papers: Extended Deadline Emanuele De Angelis
• [Hol-info] SETTA 2021: 2nd CFP updated with a special issue for STTT songfu1...@shanghaitech.edu.cn
• [Hol-info] CALCO 2021: Second call for papers Thorsten Wissmann
• [Hol-info] FMBC 2021 - Final Call for Papers (Deadline extension) Bruno Bernardo via hol-info
• [Hol-info] Postdoc in Computing Science with a Specialisation in IT for a Sustainable and Secure Society Tjark Weber
• [Hol-info] CFP - 37th International Conference on Logic Programming (extended deadlines) Miguel Areias
• [Hol-info] FACS 2021 - Second Call for Papers FACS 2021
• [Hol-info] [fm-announcements] CFP: Workshop on Formal Methods for Autonomous Systems Graydon, Mallory (LARC-D320) via fm-announcements via hol-info
• [Hol-info] Sources for "Formal verification of floating point trigonometric functions" Heiko Becker
• [Hol-info] FMBC 2021 - 3rd Call for Papers (Deadline extensions) Bruno Bernardo via hol-info
• [Hol-info] [fm-announcements] Call for (Virtual) Participation - NFM 2021 Munoz, Cesar (LARC-D320) via fm-announcements via hol-info
• [Hol-info] WST 2021: deadline extension (9 May, 2021) Samir Genaim
• [Hol-info] LOPSTR 2021 - 2nd Call For Papers Emanuele De Angelis
• [Hol-info] FroCoS 2021 - Final Call for Papers geoff
• [Hol-info] RAMiCS 2021 - Third CFP luigi . santocanale
• [Hol-info] CfP: Logical Frameworks and Meta-Languages: Theory and Practice Tjark Weber
• [Hol-info] SPIN 2021 - Final Call for Papers Laarman, A.W.
  • [Hol-info] SPIN 2021 - Final Call for Papers Laarman, A.W.
• [Hol-info] 2021 Conference on Intelligent Computer Mathematics - Doctoral Programme - Call for Abstracts Serge Autexier
• [Hol-info] 2nd Call For Papers - 37th International Conference on Logic Programming (ICLP 2021) Miguel Areias
• [Hol-info] 2nd Call For Workshops - 37th International Conference on Logic Programming (ICLP 2021) Miguel Areias
• [Hol-info] FMBC 2021 - 2nd Call for Papers Bruno Bernardo via hol-info
• [Hol-info] Unique on-demand course in applied formal methods Ashish Darbari
• [Hol-info] Deadline Extension: April 5th, 20201, 14th Conference on Intelligent Computer Mathematics (CICM 2021) Serge Autexier
• [Hol-info] Morello: Edinburgh research posts on capability-based security technologies Ian Stark
• [Hol-info] CFP ICTCS 2021 - 22th Italian Conference on Theoretical Computer Science Claudio Sacerdoti Coen
• [Hol-info] WST 2021 - Call for Papers Samir Genaim
• [Hol-info] Final Call for Workshop and Tutorial Proposals for KR 2021 (Deadline extended until April 2nd) Thanh Dinh
• [Hol-info] FMBC 2021 - Call for Papers Bruno Bernardo via hol-info
• [Hol-info] Call for Papers: HotSpot 2021 Toby Murray
• [Hol-info] FACS 2021 - First Call for Papers FACS 2021
  • [Hol-info] FACS 2021 - First Call for Papers FACS 2021
• [Hol-info] AITP 2021 - Call for Contributions geoff
• [Hol-info] 21st Midlands Graduate School in the Foundations of Computing Science: Final Call for Participation Andrei Popescu
• [Hol-info] HOL4-Emacs Problem Elif Deniz
  • Re: [Hol-info] HOL4-Emacs Problem Norrish, Michael (Data61, Acton)
  • Re: [Hol-info] HOL4-Emacs Problem Elif Deniz
• [Hol-info] 14th Conference on Intelligent Computer Mathematics (CICM 2021) Final call for papers, Conference Date: July 26-31, 2021 Serge Autexier
• [Hol-info] ARCADE 2021 - Call for Papers geoff
• [Hol-info] Call For Workshops - 37th International Conference on Logic Programming (ICLP 2021) Miguel Areias
• [Hol-info] Lecturer in Verification position at University of Sheffield: deadline 29 March 2021 Andrei Popescu
• [Hol-info] Sample code from John Harrison's "Handbook of Practical Logic and Automated Reasoning" Cris Perdue
• [Hol-info] Call For Papers - 37th International Conference on Logic Programming (ICLP 2021) Miguel Areias
• [Hol-info] John Harrison's Book HOL Light William Mitchell Jr
  • Re: [Hol-info] John Harrison's Book HOL Light Heiko Becker
  • Re: [Hol-info] John Harrison's Book HOL Light Quentin Carbonneaux
• [Hol-info] 2021 Alonzo Church Award Javier Esparza
• [Hol-info] SPIN 2021 - Deadline extension to April 20 Laarman, A.W.
• [Hol-info] KR 2021: Call for Workshop and Tutorial Proposals (Applications due March 17th) Thanh Dinh
• [Hol-info] [CFP] 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) Thanh Dinh
• [Hol-info] LOPSTR 2021 - Preliminary Call For Papers Emanuele De Angelis
• [Hol-info] Call for Papers: 23rd Workshop on Formal Techniques for J(ust-about-any) Program 2021 David Cok
• [Hol-info] CFP: Special Track on AI for Tackling Dis/Misinformation during Pandemics @ ACM GoodIT2021 Chilean Scholar
  • [Hol-info] CFP: Special Track on AI for Tackling Dis/Misinformation during Pandemics @ ACM GoodIT2021 Chilean Scholar
• [Hol-info] Assistant and Associate Professorship Positions in Computer Science at the University of Southern Denmark Jacopo Mauro
• [Hol-info] RAMiCS 2021 - 2nd CFP luigi . santocanale
• [Hol-info] Bill McCune PhD Award in Automated Reasoning geoff
• [Hol-info] VerifyThis 2021: Call for Participation + Grants + Prizes Siddharth Krishna
• [Hol-info] F-IDE 2021 - Last Call for Papers - Extended Deadline Andrei Paskevich
• [Hol-info] Final CFP: IJCAI 2021 survey track Toby Walsh
• [Hol-info] 2nd CfP ThEdu'21 Walther Neuper
• [Hol-info] 14th Conference on Intelligent Computer Mathematics (CICM 2021), Invited Speakers Update & Second call for papers, Conference Date: July 26-31, 2021 Serge Autexier
• [Hol-info] PhD position in Formal Methods/Decompilation at the Open University of The Netherlands Freek Verbeek
• [Hol-info] 21st Midlands Graduate School in the Foundations of Computing Science: Call for Participation Andrei Popescu
• [Hol-info] Call for Papers: Applications and Systems Track (KR2021) Thanh Dinh
• [Hol-info] [fm-announcements] Formal Methods for Industrial Critical Systems 2021 CfP Munoz, Cesar (LARC-D320) via fm-announcements via hol-info
• [Hol-info] CFP: 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) Thanh Dinh
• [Hol-info] Release notes for HOL4, Kananaskis-14 Norrish, Michael (Data61, Acton)
  • [Hol-info] Abstract algebra in HOL4 – Re: Release notes for HOL4, Kananaskis-14 Ken Kubota
  • Re: [Hol-info] Abstract algebra in HOL4 – Re: Release notes for HOL4, Kananaskis-14 Norrish, Michael (Data61, Acton)
  • [Hol-info] Abstract algebra in HOL4 and Isabelle/HOL – Re: Abstract algebra in HOL4 – Re: Release notes for HOL4, Kananaskis-14 Ken Kubota
  • Re: [Hol-info] Abstract algebra in HOL4 and Isabelle/HOL – Re: Abstract algebra in HOL4 – Re: Release notes for HOL4, Kananaskis-14 Norrish, Michael (Data61, Acton)
  • Re: [Hol-info] Abstract algebra in HOL4 and Isabelle/HOL – Re: Abstract algebra in HOL4 – Re: Release notes for HOL4, Kananaskis-14 Ken Kubota
  • Re: [Hol-info] Abstract algebra in HOL4 and Isabelle/HOL – Re: Abstract algebra in HOL4 – Re: Release notes for HOL4, Kananaskis-14 Konrad Slind
• [Hol-info] Conference on Logic and Argumentation - Call for Papers geoff
• [Hol-info] FORTE 2021: Last CfP Willemse, T.A.C.
• [Hol-info] 14th Conference on Intelligent Computer Mathematics (CICM 2021), First call for papers & Save-the-Conference-Date: July 26-31, 2021 Serge Autexier
• [Hol-info] CFP: Workshop on the Role of Mathematical Reasoning in General Artificial Intelligence at ICLR 2021 Wenda Li
• [Hol-info] proof replay? D. J. Bernstein
  • Re: [Hol-info] proof replay? Mark Adams
  • Re: [Hol-info] proof replay? Tjark Weber
  • Re: [Hol-info] proof replay? D. J. Bernstein
  • Re: [Hol-info] proof replay? Konrad Slind
  • Re: [Hol-info] proof replay? Konrad Slind
  • Re: [Hol-info] proof replay? Konrad Slind
  • Re: [Hol-info] proof replay? John R Harrison
• [Hol-info] [Vardi-list] Postdoc Position - Analysis Techniques for DNNs Moshe Y Vardi
• [Hol-info] Call for Papers: Applications and Systems Track (KR 2021) Thanh Dinh
• [Hol-info] CFP SAT-2021: Deadline March 19th Jesús Giráldez Crú
• [Hol-info] RAMiCS 2021 - CFP luigi . santocanale
• [Hol-info] 2021 Alonzo Church Award - Call for Nominations Javier Esparza
• [Hol-info] [Vardi-list] 1/14/2021 - World-Logic-Day Lecture: From Aristotle to the iPhone Moshe Y Vardi
• [Hol-info] ITP 2021: Third Call for Papers Cezary Kaliszyk
• [Hol-info] Call for Papers: Special Session on KR & Machine Learning(KR2021) Hồng Thơm Đinh Thị
• [Hol-info] F-IDE 2021 - 2nd Call for Papers Andrei Paskevich
• [Hol-info] KR 2021: Call for Workshop and Tutorial Proposals Thành Đinh
  • [Hol-info] KR 2021: Call for Workshop and Tutorial Proposals Thanh Dinh
• [Hol-info] Call for Papers: Recently Published Research (KR2021) Thanh Dinh
  • [Hol-info] Call for Papers: Recently Published Research (KR2021) Thanh Dinh
• [Hol-info] Call for Papers: Special Session on KR & Machine Learning (KR2021) Thanh Dinh
  • [Hol-info] Call for Papers: Special Session on KR & Machine Learning (KR2021) Thanh Dinh
• [Hol-info] fully funded PhD position on verification of industrial robots at University of Sheffield -- application deadline coming soon (Jan. 13) Andrei Popescu
• [Hol-info] WST 2021 - 1st Call for Papers Samir Genaim
• [Hol-info] CfP Theorem Proving Components for Educational Software at CADE-28 Walther Neuper
• [Hol-info] [fm-announcements] CPP 2021: Call for Participation and Lightning Talks Munoz, Cesar (LARC-D320) via fm-announcements via hol-info
• [Hol-info] ITP2021: Second Call for Workshops (Deadline 11 January 2021) itp2021-workshops
• [Hol-info] POPL 2021 - Call for Participation Michael Greenberg
• [Hol-info] Verification internships at MPI institutes (Application, deadline 31st December) Heiko Becker
• [Hol-info] FORTE 2021: First CFP Kirstin Peters
• [Hol-info] 18th Conference on Principles of Knowledge Representation and Reasoning (KR2021) Thanh Dinh
• [Hol-info] Postdoc and PhD Positions @ Iowa State University Kristin Yvonne Rozier
• [Hol-info] ITP2021: Call for Workshops itp2021-workshops
• [Hol-info] HOL4 Datatype recursion on the right hand side of a function arrow Pablo Buiras
  • Re: [Hol-info] HOL4 Datatype recursion on the right hand side of a function arrow Norrish, Michael (Data61, Acton)
• [Hol-info] ITP 2021 : Second Call for Papers Liron Cohen
• [Hol-info] fully funded PhD position at University of Sheffield on the formal verification of industrial robots Andrei Popescu
• [Hol-info] Postdoc positions in automatic and interactive theorem proving, apply before December 3, 2020 Vasily Pestun
• [Hol-info] Announcing the release of PVS 7.1. Sam Owre via hol-info
• [Hol-info] [fm-announcements] NASA Formal Methods Symposium (NFM2021) -- Final CFP (Extended Deadline) Munoz, Cesar (LARC-D320) via fm-announcements via hol-info
• [Hol-info] CADE-28: Call for Tutorials geoff
• [Hol-info] [fm-announcements] Release of NASA PVS Library v7.1 Munoz, Cesar (LARC-D320) via fm-announcements via hol-info
• [Hol-info] two proof-assistant friendly posts of Lecturer in Cybersecurity at University of Sheffield: deadline 3rd December 2020 Andrei Popescu
• [Hol-info] Call for Papers - SPIN 2021 Laarman, A.W.
• [Hol-info] LPOP 2020 Call for Participation Matthew Castellana
• [Hol-info] ICTAC 2020: Call for Participation Ka I Pun
• [Hol-info] [fm-announcements] NASA Formal Methods Symposium - 2nd CFP Munoz, Cesar (LARC-D320) via fm-announcements via hol-info
• [Hol-info] POPL 2021 -- Call for Student Volunteers Michael Greenberg
• [Hol-info] PhD positions in the Dynamic Analysis Group - Faculty of Informatics - Università della Svizzera italiana (USI), Lugano, Switzerland Andrea Rosa
• [Hol-info] F-IDE 2021 - Call for Papers Andrei Paskevich
• [Hol-info] CADE-28 Call for Papers, Workshops, Tutorials, Competitions geoff
• [Hol-info] ITP 2021: Call for Papers Cezary Kaliszyk
• [Hol-info] iFM 2020 (Integrated Formal Methods): Call for (Virtual) Participation iFM 2020
• [Hol-info] CILC 2020 - Participation is FREE - Call For Participation cfp
• [Hol-info] [CfP] PADL 2021: Practical Aspects of Declarative Languages Jose F. Morales
• [Hol-info] POPL 2021 - Call for Tutorials (deadline 2020-10-28) Michael Greenberg
• [Hol-info] POPL 2021 - Student Research Competition - Call for Submissions (deadline: 2020-11-21) Michael Greenberg
• [Hol-info] [fm-announcements] NASA Formal Methods 1st CFP Munoz, Cesar (LARC-D320) via fm-announcements via hol-info
• [Hol-info] CPP 2021 abstract deadline due very soon Andrei Popescu
• [Hol-info] CPP 2021 abstract deadline due soon (in ~23 hours) Andrei Popescu
• [Hol-info] [ICLP 2020] Autumn School on Logic and Constraint Programming - Last Call for Participation Laura Pandolfo
• [Hol-info] KR2020 is about to start! Theofanis I. Aravanis
• [Hol-info] permutations of {0,1,...,n-1} D. J. Bernstein
  • Re: [Hol-info] permutations of {0,1,...,n-1} John R Harrison
  • Re: [Hol-info] permutations of {0,1,...,n-1} D. J. Bernstein
  • Re: [Hol-info] permutations of {0,1,...,n-1} D. J. Bernstein
• [Hol-info] LFMTP 2020 Post-Proceedings: Call for Papers Claudio Sacerdoti Coen
• [Hol-info] BOPL / PPDP 2020 call for participation (register until 3 Sep) Andreas Abel
• [Hol-info] [ICLP 2020] Autumn School - Call for participation Laura Pandolfo
• [Hol-info] SEFM 2020: Registration is open Jacopo Mauro
• [Hol-info] [fm-announcements] Certified Programs and Proofs (CPP) 2021: Final Call for Papers Munoz, Cesar (LARC-D320) via fm-announcements via hol-info
• [Hol-info] Workshop on Logic and Practice of Programming Matthew Castellana
• [Hol-info] Certified Programs and Proofs (CPP) 2021: Final Call for Papers Andrei Popescu
• [Hol-info] CADE-28 Call for Papers, Workshops, Tutorials, and Competitions geoff
• [Hol-info] Visualizing subgoals in a proof script Mario Xerxes Castelán Castro «Ksenia»
  • Re: [Hol-info] Visualizing subgoals in a proof script Norrish, Michael (Data61, Acton)
  • Re: [Hol-info] Visualizing subgoals in a proof script Freek Wiedijk
  • Re: [Hol-info] Visualizing subgoals in a proof script Mark Adams
  • Re: [Hol-info] Visualizing subgoals in a proof script Mario Xerxes Castelán Castro «Ksenia»
• [Hol-info] EVAL when equations have an antecedent Mario Xerxes Castelán Castro
  • Re: [Hol-info] EVAL when equations have an antecedent Konrad Slind
  • Re: [Hol-info] EVAL when equations have an antecedent Mario Xerxes Castelán Castro «Ksenia»
  • Re: [Hol-info] EVAL when equations have an antecedent Mario Xerxes Castelán Castro «Ksenia»
• [Hol-info] CILC 2020 - Third Call For Papers - ABSTRACT SUBMISSION DEADLINE APPROACHING cfp
• [Hol-info] Various "models" of extended reals and impacts in Fubini's theorem Chun Tian (binghe)
  • Re: [Hol-info] [isabelle] Various "models" of extended reals and impacts in Fubini's theorem Chun Tian (binghe)
  • Re: [Hol-info] [isabelle] Various "models" of extended reals and impacts in Fubini's theorem Manuel Eberl
  • Re: [Hol-info] [isabelle] Various "models" of extended reals and impacts in Fubini's theorem Chun Tian (binghe)
  • Re: [Hol-info] [isabelle] Various "models" of extended reals and impacts in Fubini's theorem Manuel Eberl
  • Re: [Hol-info] [isabelle] Various "models" of extended reals and impacts in Fubini's theorem Chun Tian (binghe)
  • Re: [Hol-info] [isabelle] Various "models" of extended reals and impacts in Fubini's theorem Manuel Eberl
  • Re: [Hol-info] [isabelle] Various "models" of extended reals and impacts in Fubini's theorem Mario Xerxes Castelán Castro «Ksenia»
• [Hol-info] FTfJP 2020 (virtual) - Call for Participation - 23.07.2020 Oortwijn Wytse
• [Hol-info] CfP SAC-SVT 2021 Erika Abraham
• [Hol-info] CICM 2020 - Call for (free) Participation geoff
• [Hol-info] [CfP-Extended Deadline] ICLP DC 2020 - 16th Doctoral Consortium (DC) on Logic Programming Laura Pandolfo
• [Hol-info] [Last CfP- Extended Deadline] CAUSAL 2020: Workshop on Causal Reasoning and Explanation in Logic Programming Laura Pandolfo
• [Hol-info] CICM 2020, July 26-31: Call for Online Participation Serge Autexier

• Earlier messages
• Later messages