hol-info  

Messages by Date

• 2025/01/10 [Hol-info] European Conference on Artificial Intelligence - ECAI 2025 Federico Chesani
• 2025/01/07 [Hol-info] [Vardi-list] World Logic Day Lecture: Homo Ratiocinator (Reckoning Human)- 1/14/25 Moshe Vardi
• 2024/12/27 [Hol-info] VSS 2025: Call for Papers Stephen Siegel
• 2024/12/16 [Hol-info] 1st CFP CONCUR 2025 Jaco van de Pol via hol-info
• 2024/12/16 [Hol-info] LMS/BCS-FACS Online Seminar, Annabelle McIver, 15 January 2025 Andrei Popescu
• 2024/12/15 [Hol-info] ESSAI 2025 CALL FOR COURSE PROPOSALS - extended deadline Manolis Koubarakis
• 2024/12/15 [Hol-info] [CPP'25] Call for Participation: Certified Programs and Proofs (CPP) 2025 nicolas tabareau
• 2024/12/09 [Hol-info] Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia, Brazil Serge Autexier
• 2024/12/08 [Hol-info] Workshop on Theorem Proving and Machine Learning geoff
• 2024/12/08 [Hol-info] [fm-announcements] NFM 2025 *deadline extended* Dutle, Aaron M. (LARC-D320) via fm-announcements via hol-info
• 2024/12/08 [Hol-info] FMBC25 - First Call for Papers Marmsoler, Diego via hol-info
• 2024/12/05 [Hol-info] AI for Math Fund announcement Sarah Constantin via hol-info
• 2024/11/27 [Hol-info] CfP: DisCoTec 2025 Bas van den Heuvel
• 2024/11/22 [Hol-info] Call for Satellite Events (Workshops / Tutorials): DisCoTec 2025 Bas van den Heuvel
• 2024/11/22 [Hol-info] [fm-announcements] NFM 2025 second CFP Dutle, Aaron M. (LARC-D320) via fm-announcements via hol-info
• 2024/11/18 [Hol-info] SPIN 2025: Call for Papers Rozier, Kristin-Yvonne [AER E] via hol-info
• 2024/11/17 [Hol-info] [Vardi-list] Appeal to support SIGLOG, the LICS sponsor Moshe Vardi
• 2024/11/07 [Hol-info] ESSAI 2025 CALL FOR COURSE PROPOSALS Manolis Koubarakis
• 2024/11/04 [Hol-info] CADE-30 Call for Colocated Events: **deadline November 11th** geoff--- via hol-info
• 2024/10/09 [Hol-info] SAC-SVT 2025 Final Call for Papers: Software Verification and Testing Track at SAC 2025: deadline October 13, 2024 Wijs, Anton via hol-info
• 2024/10/07 [Hol-info] FSEN 2025 - Final Call for Papers (Deadline extended) Petra van den Bos via hol-info
• 2024/10/03 [Hol-info] SEFM'24: Call for Participation Alexandre Madeira
• 2024/10/03 [Hol-info] Call for Participation: ANU Logic Summer School, Dec 2 – 13, 2024 Ian Shillito via hol-info
• 2024/10/02 [Hol-info] [fm-announcements] NFM 2025 CFP Dutle, Aaron M. (LARC-D320) via fm-announcements via hol-info
• 2024/10/02 [Hol-info] CADE-30 Call for Papers geoff--- via hol-info
• 2024/09/24 [Hol-info] ETAPS 2025 Final Joint Call for Papers Claudio MENGHI
• 2024/09/24 [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024): 2-8 November, 2024; Hanoi, Vietnam: Call for Participation - Early Bird Registration Extended to 4 October Stavros Vassos via hol-info
• 2024/09/18 [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) -2-8 November, 2024; Hanoi, Vietnam: Call for Participation Stavros Vassos via hol-info
• 2024/09/09 [Hol-info] CADE-30 Call for Colocated Events geoff--- via hol-info
• 2024/09/04 [Hol-info] Postdoc position at University of Kent Vineet Rajani
• 2024/09/02 [Hol-info] FSEN 2025 - Final Call for Papers Petra van den Bos via hol-info
• 2024/08/28 [Hol-info] [LPNMR 2024] CALL FOR PARTICIPATION giuseppe . mazzotta
• 2024/08/26 [Hol-info] PhD Symposium iFM 2024 - Final Call for Papers (extended deadline) Mattias Ulbrich
• 2024/08/26 [Hol-info] SAC-SVT 2025 CFP: Software Verification and Testing Track at SAC 2025: deadline September 20, 2024 Wijs, Anton via hol-info
• 2024/08/23 [Hol-info] [Vardi-list] ICLA 2025 Moshe Vardi
• 2024/08/20 [Hol-info] 2nd CFP - CPP 2025 - Certified Programs and Proofs nicolas tabareau
• 2024/08/05 [Hol-info] ASPOCP 2024@ICLP- EXTENDED DEADLINE cfp
• 2024/08/05 [Hol-info] ETAPS 2025 1st joint call for papers Claudio MENGHI
• 2024/08/05 [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - LCA-Doctoral Consortium-Deadline Extension Stavros Vassos via hol-info
• 2024/08/05 [Hol-info] [Datalog 2.0 2024] DEADLINE EXTENSION giuseppe . mazzotta
• 2024/08/01 [Hol-info] [Call for Participation] Women in Formal Methods (WiFM-2024) Colocated with CICM-2024 Adnan Rashid via hol-info
• 2024/07/31 [Hol-info] Call for Participation: Third Workshop on Formal Verification of Physical Systems (FVPS-2024) - Colocated with CICM-2024 Adnan Rashid via hol-info
• 2024/07/29 [Hol-info] FSEN 2025 - 2nd Call for Papers Petra van den Bos via hol-info
• 2024/07/28 [Hol-info] PhD Symposium iFM 2024 - Call for Papers Mattias Ulbrich
• 2024/07/28 [Hol-info] ASPOCP 2024 @ ICLP- Second Call for Paper cfp
• 2024/07/24 [Hol-info] [ICLP & LPNMR DC 2024] Application Submission Extension (August, 2 AOE) giuseppe . mazzotta
• 2024/07/21 [Hol-info] [ECAI-2024] Call for Participation: 27th European Conference on Artificial Intelligence Luis Magdalena
• 2024/07/17 [Hol-info] [ICLP & LPNMR DC 2024] Approaching Deadline (July, 21 AOE) giuseppe . mazzotta
• 2024/07/15 [Hol-info] Call for Papers: Scheme ‘24 (extended deadline: July 25th) Kristopher K Micinski via hol-info
• 2024/07/07 [Hol-info] ASPOCP 2024 @ ICLP- First Call for Paper cfp
• 2024/07/04 [Hol-info] 3rd Call for Papers: Mathematical User Interaction (MathUI'24) Serge Autexier
• 2024/07/03 [Hol-info] [LPNMR 2024] Deadline in Two Days (July, 4 AOE) giuseppe . mazzotta
• 2024/07/01 [Hol-info] [Third Call for Papers] Women in Formal Methods (WiFM-2024) Colocated with CICM-2024 Serge Autexier
• 2024/06/27 [Hol-info] 1st CFP - CPP 2025 - Certified Programs and Proofs nicolas tabareau
• 2024/06/26 [Hol-info] [3rd Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: July 12, 2024 Serge Autexier
• 2024/06/24 [Hol-info] CICM 2024 - Call for Participation (August 5-9 in Montreal, Canada Serge Autexier
• 2024/06/22 [Hol-info] [ICLP & LPNMR DC 2024] Call For Papers giuseppe . mazzotta
• 2024/06/22 [Hol-info] [DATALOG 2.0 2024] Call For Papers giuseppe . mazzotta
• 2024/06/22 [Hol-info] SEFM'24 -- Last Call for papers Alexandre Madeira
• 2024/06/20 [Hol-info] [Deadline Extension - LPNMR 2024] Call For Papers giuseppe . mazzotta
• 2024/06/19 [Hol-info] ESSAI 2024 Early Registration deadline extended Manolis Koubarakis
• 2024/06/19 [Hol-info] FTfJP 2024 - Deadline extension Di Stefano, Luca
• 2024/06/14 [Hol-info] ITP 2024 Call for Participation (September 9-14 2024, Tbilisi, Georgia) Yves Bertot
• 2024/06/14 [Hol-info] [Vardi-list] OSSyM Workshop@CAV 2024 Moshe Vardi
• 2024/06/14 [Hol-info] [Approaching Deadline - LPNMR 2024] Call For Papers giuseppe . mazzotta
• 2024/06/12 [Hol-info] [Second Call for Papers] Formal Verification of Physical Systems (FVPS-2024) Extended Deadline: June 16, 2024 Serge Autexier
• 2024/06/10 [Hol-info] Second Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Extended Deadline: June 20, 2024 Serge Autexier
• 2024/06/10 [Hol-info] [Second Call for Papers] Women in Formal Methods (WiFM-2024) Serge Autexier
• 2024/06/09 [Hol-info] SEFM'24 -- Deadline extended! Alexandre Madeira
• 2024/06/09 [Hol-info] 18th International Conference on Reachability Problems - RP'24 geoff--- via hol-info
• 2024/06/09 [Hol-info] 19th International Conference on Integrated Formal Methods - iFM 2024 geoff--- via hol-info
• 2024/06/09 [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FCA-Doctoral Consortium Stavros Vassos via hol-info
• 2024/06/06 [Hol-info] CALL FOR PARTICIPATION - IEEE SMC-IT/SCC 2024 Simon Kolker
• 2024/06/04 [Hol-info] 2nd EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs Frédéric Blanqui
• 2024/05/30 [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - Video Track First Call for Papers Stavros Vassos via hol-info
• 2024/05/30 [Hol-info] FTfJP 2024 - First CfP Di Stefano, Luca
• 2024/05/30 [Hol-info] [LPNMR 2024] Call For Papers giuseppe . mazzotta
• 2024/05/29 [Hol-info] CALL FOR PARTICIPATION - IEEE SMC-IT/SCC 2024 Simon Kolker
• 2024/05/22 [Hol-info] Call for Submissions to the Doctoral Program - 17th Conference on Intelligent Computer Mathematics - CICM 2024 - Deadline: June 13, 2024 Serge Autexier
• 2024/05/21 [Hol-info] Call for Papers: 3rd Workshop on Formal Verification of Physical Systems (FVPS-2024), Deadline: June 9, 2024 Serge Autexier
• 2024/05/21 [Hol-info] Call for Papers: Workshop on Women in Formal Methods (WiFM-2024), Deadline: June 9, 2024 Serge Autexier
• 2024/05/20 [Hol-info] FME Teaching Tutorial on May 24, 2024, 3 pm CEST: Prof Tiziana Margaria, University of Limerick, Ireland: Teaching Formal Methods in Germany vs. Ireland: experience from two very different systems Luigia Petre
• 2024/05/14 [Hol-info] FSEN 2025 - Call for Papers Bos, Petra van den (UT-EEMCS) via hol-info
• 2024/05/12 [Hol-info] 2nd cfp sefm'24 Alexandre Madeira
• 2024/05/08 [Hol-info] International Workshop on Quantification (QUANTIFY 2024) geoff
• 2024/05/07 [Hol-info] AITP 2024 FINAL CALL FOR CONTRIBUTIONS - EXTENDED DEADLINE May 12 Josef Urban
• 2024/05/07 [Hol-info] Final CFP with New Deadlines: Formal Methods Teaching Workshop Sekerinski, Emil
• 2024/05/07 [Hol-info] FACS 2024 - Third Call for Papers Marmsoler, Diego via hol-info
• 2024/04/29 [Hol-info] Call for Papers: Scheme '24 Kristopher K Micinski via hol-info
• 2024/04/29 [Hol-info] ETAPS 2025 – Call for Satellite Events Claudio MENGHI
• 2024/04/26 [Hol-info] HOL4 users' workshop - call for participation Hrutvik Kanabar
• 2024/04/23 [Hol-info] Second round of abstract submissions - WADT 2024 WADT 2024
• 2024/04/23 [Hol-info] 11th Rodin Workshop - Call for Abstracts Asieh Salehi Fathabadi via hol-info
• 2024/04/23 [Hol-info] The 18th International Conference on Reachability Problems - RP 2024 geoff
• 2024/04/21 [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FINAL CALL FOR PAPERS (April 24, 2024) Stavros Vassos via hol-info
• 2024/04/18 [Hol-info] IJCAR 2024: Call for Participation Peter Lammich via hol-info
• 2024/04/18 [Hol-info] Formal Methods Teaching Workshop (FMTea 2024) Call for Papers Sekerinski, Emil
• 2024/04/12 [Hol-info] [Approaching Deadline] LPNMR 2024 - Call for Workshops giuseppe . mazzotta
• 2024/04/11 [Hol-info] FACS 24 - Second Call for Papers Marmsoler, Diego via hol-info
• 2024/04/08 [Hol-info] IJCAR: Woody Bledsoe Award: Call for Nominations Peter Lammich via hol-info
• 2024/04/06 [Hol-info] 5th International Workshop on Formal Methods for Blockchains (FMBC) 2024 - Call for Participation Marmsoler, Diego via hol-info
• 2024/04/06 [Hol-info] PAAR 2024 - Call for Papers - Extended Deadlines geoff
• 2024/04/06 [Hol-info] [ECAI-2024] Submission deadline approaching Luis Magdalena
• 2024/04/02 [Hol-info] iFM 2024 Call for Papers geoff
• 2024/04/02 [Hol-info] LPAR 2024 short presentation papers - CFP geoff
• 2024/04/01 [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - TUTORIAL AND WORKSHOP PROPOSALS EXTENDED DEADLINE Stavros Vassos
• 2024/04/01 [Hol-info] CICM 2024 - Extended deadline - Call for Papers geoff
• 2024/04/01 [Hol-info] Call for Tutorial Papers at FM 2024: deadline approaching —> April 19! Luigia Petre
• 2024/04/01 [Hol-info] PostDoc in using Formal Methods for finding security vulnerabilities and misconfigurations in business-process-driven systems (Deadline: 2024-04-18) Achim D. Brucker
• 2024/03/26 [Hol-info] FME Teaching Tutorial on March 28, 2024, 3 pm CET: Prof Wolfram Kahl, McMaster University, Canada: Teaching with CalcCheck Luigia Petre
• 2024/03/26 [Hol-info] [ECAI-2024] Call for Nominations for the EurAI Dissertation Award Luis Magdalena
• 2024/03/26 [Hol-info] Extended Deadline April 8, 2024 (abstracts April 1, 2024): 17th Conference on Intelligent Computer Mathematics (CICM 2024) Serge Autexier
• 2024/03/22 [Hol-info] ThEdu'24 - 2nd Call for Extended Abstracts Walther Neuper via hol-info
• 2024/03/21 [Hol-info] Funded PhD Position in Formalizing/Verification of Golang (Application Deadline 2024-03-31) Achim D. Brucker
• 2024/03/17 [Hol-info] Postdoc/Research associate position in modal type theory and secure compilation at the University of Kent Vineet Rajani
• 2024/03/17 [Hol-info] 1st cfp of SEFM'24 Alexandre Madeira
• 2024/03/15 [Hol-info] LPNMR 2024 - Call for Workshops giuseppe . mazzotta
• 2024/03/15 [Hol-info] EKAPI 2024 - Call for Papers giuseppe . mazzotta
• 2024/03/15 [Hol-info] LPNMR 2024 - Preliminary Call for Papers giuseppe . mazzotta
• 2024/03/15 [Hol-info] Final Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024) Serge Autexier
• 2024/03/14 [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - KR in the Wild (Special Track) Stavros Vassos
• 2024/03/13 [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - Reasoning, Learning, and Decision Making (Special Track) Stavros Vassos
• 2024/03/13 [Hol-info] GandALF 2024, Reykjavik, Iceland: Call for papers Adrian Francalanza
• 2024/03/13 [Hol-info] 2nd Call for Contributions: Workshop on Choreographic Programming @ PLDI 2024 Saverio Giallorenzo
• 2024/03/13 [Hol-info] AITP 2024 - Call for Contributions Josef Urban
• 2024/03/06 [Hol-info] IJCAR 2024 Workshops geoff
• 2024/03/05 [Hol-info] International Logic Olympiad geoff
• 2024/03/05 [Hol-info] ITP 2024, Interactive Theorem Proving: Last Call For Papers Yves Bertot
• 2024/02/29 [Hol-info] LPAR-25, Call for Short Presentation Papers geoff
• 2024/02/28 [Hol-info] [RFC] EvoGPT-f: An Evolutionary GPT Framework for Benchmarking Formal Math Languages Johnathan Mercer
• 2024/02/25 [Hol-info] ITP 2024: Call for Workshop and Tutorial Proposals Besik Dundua
• 2024/02/23 [Hol-info] FME Teaching Tutorial on March 1, 2024, 10am (!) CET: Prof Carroll Morgan, University of New South Wales, Australia: Teaching formal methods informally: a report from the front line Luigia Petre
• 2024/02/20 [Hol-info] Bill McCune PhD Award in Automated Reasoning 2024 Call for Nominations geoff
• 2024/02/18 [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FIRST CALL FOR TUTORIAL AND WORKSHOP PROPOSALS Stavros Vassos
• 2024/02/18 [Hol-info] [ECAI-2024] Call for PC Members for ECAI-2024 Luis Magdalena
• 2024/02/18 [Hol-info] ITP 2024 : Second call for papers Yves Bertot
• 2024/02/16 [Hol-info] Call for Bids to Host FroCoS-ITP-TABLEAUX 2025 Magnus Myreen
• 2024/02/12 [Hol-info] ICGT '24 Final Call for Papers Jens Kosiol via hol-info
• 2024/02/12 [Hol-info] 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) - FIRST CALL FOR PAPERS Stavros Vassos
• 2024/02/11 [Hol-info] CfP: Logica Frameworks and Meta Languages: Theory and Practice (LFMTP24) Claudio Sacerdoti Coen
• 2024/02/04 [Hol-info] Final Call for ESSAI 2024 Course Proposals: Deadline 7 February Manolis Koubarakis
• 2024/02/04 [Hol-info] 2024 Alonzo Church Award, Call for Nominations igw
• 2024/02/04 [Hol-info] CfP: DisCoTec 2024 - 19th International Federated Conference on Distributed Computing Techniques Bas van den Heuvel
• 2024/02/04 [Hol-info] Deadline Extension CfP COORDINATION 2024 - 26th International Conference on Coordination Models and Languages (part of DisCoTec 2024) Saverio Giallorenzo
• 2024/02/04 [Hol-info] [ECAI-2024] Deadline for Tutorial Proposals approaching Luis Magdalena
• 2024/02/01 [Hol-info] First Call for Papers - 20th International Conference on Formal Aspects of Component Software (FACS) Marmsoler, Diego via hol-info
• 2024/01/31 Re: [Hol-info] Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024) Josef Urban
• 2024/01/31 [Hol-info] Last Call (deadline Jan 31): School of Formalized Mathematics at the Hausdorff Trimester "Prospects of Formalized Mathematics" (May 13 - 17, 2024) Josef Urban
• 2024/01/28 [Hol-info] ThEdu'24 - Open Call for Extended Abstracts Walther Neuper via hol-info
• 2024/01/28 [Hol-info] FMBC 2024 – Fourth Call for Papers (deadline extension) Marmsoler, Diego via hol-info
• 2024/01/24 [Hol-info] 2nd Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024) Serge Autexier
• 2024/01/21 [Hol-info] Call for Contributions: Workshop on Choreographic Programming @ PLDI 2024 Marco Peressotti via hol-info
• 2024/01/21 [Hol-info] FME Teaching Tutorial on January 26, 2024, 3pm CEST: Prof Alcino Cunha, University of Minho, Portugal: Teaching Alloy with Alloy4Fun Luigia Petre
• 2024/01/16 [Hol-info] CICM 2024, Call for Workshop and Tutorial Proposals, Conference on Intelligent Computer Mathematics 2024 Serge Autexier
• 2024/01/15 [Hol-info] FMBC 2024 - Third Call for Papers Marmsoler, Diego via hol-info
• 2024/01/12 [Hol-info] IJCAR 2024: Final Call for Papers Peter Lammich via hol-info
• 2024/01/08 [Hol-info] SPIN 2024: second Call for Papers (deadline extension) Thomas Neele via hol-info
• 2024/01/08 [Hol-info] [ECAI-2024] Deadline for Workshop Proposals approaching (and more!) Luis Magdalena
• 2024/01/08 Re: [Hol-info] LMS/BCS-FACS online talk by Lawrence Paulson, 15 January 2024 Andrei Popescu
• 2024/01/08 [Hol-info] LMS/BCS-FACS online talk by Lawrence Paulson, 15 January 2024 Andrei Popescu
• 2023/12/22 [Hol-info] ESSAI 2024 CALL FOR COURSE PROPOSALS Manolis Koubarakis
• 2023/12/22 [Hol-info] FMBC 2024 - Second Call for Papers Marmsoler, Diego via hol-info
• 2023/12/17 [Hol-info] Interactions Between Proof Assistants and Mathematical Software at ICMS 2024 (call for abstracts) Alex J Best
• 2023/12/12 [Hol-info] ITP 2024: First Call for Papers Yves Bertot
• 2023/12/10 [Hol-info] Certified Programs and Proofs (CPP'24) - Call for Participation Brigitte Pientka
• 2023/12/04 [Hol-info] Second Call for Papers IEEE SMC-IT/SCC 2024 Simon Kolker
• 2023/12/04 [Hol-info] [Vardi-list] Jan 12th, 2024: Moshe Vardi - What Came First, Math or Computing? Moshe Vardi
• 2023/12/02 [Hol-info] (Extended deadline) CfP: Automated Program and Proof Synthesis (AP2S at AAAI '24) Kristopher K Micinski via hol-info
• 2023/11/29 [Hol-info] IJCAR 2024: 2nd call for co-located events Peter Lammich via hol-info
• 2023/11/29 [Hol-info] 2024 Alonzo Church Award Call for Nominations geoff
• 2023/11/29 [Hol-info] ECAI-2024: Call for Papers, Tutorial Proposals and Workshop Proposals Luis Magdalena
• 2023/11/26 [Hol-info] MARS 2024 - CALL FOR PAPERS - Luxembourg City (Luxembourg) - April 6th, 2024 mars2024
• 2023/11/26 [Hol-info] CICM 2024 - 17th Conference on Intelligent Computer Mathematics - Call for Papers geoff
• 2023/11/26 [Hol-info] FMBC 2024 - First Call for Papers Marmsoler, Diego via hol-info
• 2023/11/24 [Hol-info] 'Call for Papers: 17th Conference on Intelligent Computer Mathematics (CICM 2024) Serge Autexier
• 2023/11/14 [Hol-info] ICGT 2024: First Call for Papers Jens Kosiol via hol-info
• 2023/11/12 [Hol-info] Postdoc position in Formal Methods at University of Exeter Marmsoler, Diego via hol-info
• 2023/11/03 [Hol-info] Fwd: [isabelle] New in the AFP: Eudoxus Reals Ken Kubota
• 2023/10/25 [Hol-info] IJCAR 2024: call for co-located events Peter Lammich via hol-info
• 2023/10/25 [Hol-info] IJCAR 2024 - Call for Papers geoff
• 2023/10/24 [Hol-info] Post-doc job offering in SAT/SMT at Australian National University Michael Norrish via hol-info
• 2023/10/18 [Hol-info] Postdoc position in Formal Methods at University of Exeter Marmsoler, Diego via hol-info
• 2023/10/18 [Hol-info] CFP extended - Special Issue on Non-Classical Reasoning for Contemporary AI Applications geoff
• 2023/10/15 [Hol-info] ACL2-2023 Second Call for Participation Matt Kaufmann
• 2023/10/15 [Hol-info] LOPSTR 2023 - Final Call for Participation Daniel Jurjo
• 2023/09/25 [Hol-info] 2nd Call for Papers Proceedings for ThEdu'23 - Theorem Proving Components for Educational Software walther.neuper via hol-info
• 2023/09/25 [Hol-info] CfP: 26th International Symposium on Practical Aspects of Declarative Languages (PADL 2024) Martin Gebser
• 2023/09/20 [Hol-info] NFM 2024 Call for Papers Gopinath, Divya (ARC-TI)[KBR Wyle Services, LLC] via hol-info
• 2023/09/08 [Hol-info] SPIN 2024: first Call for Papers Thomas Neele via hol-info
• 2023/08/31 [Hol-info] CfPart Reliability, safety and security of railway systems (RSSRail 2023) Alexander Romanovsky
• 2023/08/31 [Hol-info] Call for Participation: ANU Logic Summer School, Dec 4 – 15, 2023 Jim de Groot via hol-info
• 2023/08/21 [Hol-info] Research Associate at the University of Kent, Canterbury, UK Mark Batty
• 2023/08/08 [Hol-info] 2nd CFP - CPP 2024 - Certified Programs and Proofs Brigitte Pientka
• 2023/08/04 [Hol-info] CICM 2023 - Call for Participation Serge Autexier
• 2023/07/30 [Hol-info] KR 2023 - Extension of Early Registration Deadline Theofanis I. Aravanis
• 2023/07/25 [Hol-info] Final CfP: German Deduction Meeting (Deduktionstreffen), Sept 26, Berlin Florian Rabe
• 2023/07/23 [Hol-info] The Math Genome Project John Mercer
• 2023/07/16 [Hol-info] FROM 2023 – THIRD CALL FOR PAPERS Andrei Sipoș
• 2023/07/16 [Hol-info] ILDS Coq and Lean Autumn School 2023 – THIRD CALL FOR PARTICIPATION Andrei Sipoș
• 2023/07/16 [Hol-info] CfPart Reliability, safety and security of railway systems (RSSRail 2023) Alexander Romanovsky

• Earlier messages