Messages by Date
-
2025/05/06
[Hol-info] JELIA 2025 - EXTENDED DEADLINE
giovanni.casini via hol-info
-
2025/05/06
[Hol-info] AITP 2025 FINAL CALL FOR CONTRIBUTIONS - EXTENDED DEADLINE May 12
Josef Urban
-
2025/05/06
[Hol-info] Weidenbach'60: First-Order Reasoning. Call for Papers
geoff--- via hol-info
-
2025/05/06
[Hol-info] CICM 2025 *** DEADLINES FOR FORMAL SUBMISSIONS EXTENDED BY ANOTHER WEEK ***
Serge Autexier
-
2025/05/03
[Hol-info] Extended Deadlines: Forum on specification and Design Languages (FDL)
Klaus Schneider
-
2025/05/03
[Hol-info] FroCoS 2025 - Call for Papers
geoff--- via hol-info
-
2025/05/01
[Hol-info] FTfJP 2025 - 4th Call for Papers
Crystal Chang Din
-
2025/04/25
[Hol-info] CICM 2025: 4th Announcement and Call for Papers with deadline extension
Serge Autexier
-
2025/04/25
[Hol-info] Multiple PhD Positions at the University of Melbourne
Cezary Kaliszyk
-
2025/04/17
[Hol-info] 3rd CfP - JELIA 2025 - 19th European Conference on Logics in AI
giovanni.casini via hol-info
-
2025/04/14
[Hol-info] FTfJP 2025 - Last CfP (extended deadline)
Crystal Chang Din
-
2025/04/13
[Hol-info] FTfJP 2025 - Second Call for Papers
Crystal Chang Din
-
2025/04/13
[Hol-info] Call for Papers: 23rd International Workshop on Satisfiability Modulo Theories
geoff--- via hol-info
-
2025/04/09
[Hol-info] CICM 2025: 3rd Announcement and Call for Papers
Serge Autexier
-
2025/04/08
[Hol-info] FTfJP 2025 - Second Call for Papers
Crystal Chang Din
-
2025/04/06
[Hol-info] 2nd call for papers DaLí 2025
Alexandre Madeira
-
2025/04/05
[Hol-info] Marktoberdorf 2025 CFP
geoff--- via hol-info
-
2025/04/05
[Hol-info] [ICLP 2025 - Deadline Approaching] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
Manuel Alejandro Borroto Santana
-
2025/04/01
[Hol-info] [Second Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025
Manuel Alejandro Borroto Santana
-
2025/03/30
[Hol-info] Call for Papers - The 28th Forum on specification and Design Languages (FDL)
Johannes Koch
-
2025/03/30
[Hol-info] FME Teaching Tutorial on March 28, 2025, 4 pm CET: Prof Peter-Michael Osera, Grinnell College, US, on "Formal Verification and Foundations: Better Together!"
Luigia Petre
-
2025/03/30
[Hol-info] [ICLP DC 2025 - Call for Papers] 21st Doctoral Consortium (DC) on Logic Programming | University of Calabria, Rende, Italy | September 12-19, 2025
Manuel Alejandro Borroto Santana
-
2025/03/30
[Hol-info] Professorhip in » Logic and Verification in Computer Science «
Javier Esparza
-
2025/03/30
[Hol-info] FINAL CFP: CONCUR 2025
Jaco van de Pol via hol-info
-
2025/03/24
[Hol-info] ETAPS 2025 - CALL FOR PARTICIPATION
Claudio MENGHI
-
2025/03/24
[Hol-info] ESOP 2026 - Call for Papers
Claudio MENGHI
-
2025/03/24
[Hol-info] HOL4 users' workshop 2025 - call for participation
Hrutvik Kanabar
-
2025/03/18
[Hol-info] 2nd CfP - JELIA 2025 - 19th European Conference on Logics in AI
giovanni.casini via hol-info
-
2025/03/18
[Hol-info] Midlands Graduate School 2025 final call -- registration closes on 24 March
Andrei Popescu
-
2025/03/13
[Hol-info] Postdoc position in formal verification of multi-agent systems
Vadim Malvone
-
2025/03/13
[Hol-info] AITP 2025 - Call for Contributions
Josef Urban
-
2025/03/11
[Hol-info] ITP 2025: Call for self-nomination of external reviewers (deadline: March 21)
Yannick Forster
-
2025/03/11
[Hol-info] Call for Workshops, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia
Serge Autexier
-
2025/03/09
[Hol-info] CfP RSSRail 2025, Int. Conf. on Reliability, Safety and Security of Railway Systems
Alexander Romanovsky
-
2025/03/09
[Hol-info] CFP: Collection on “Bridging Formal Verification and Neural Networks: Ensuring Reliable Networked Systems” for Discover Networks (Springer Nature)
Osman Hasan via hol-info
-
2025/03/05
[Hol-info] FTfJP 2025 - First Call for Papers
Crystal Chang Din
-
2025/03/04
[Hol-info] 2nd CFP CONCUR
Jaco van de Pol via hol-info
-
2025/03/03
[Hol-info] [ICLP 2025 - First Call for Papers] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
Manuel Alejandro Borroto Santana
-
2025/03/03
[Hol-info] ITP 2025: Second Call for Papers
Yannick Forster
-
2025/02/26
[Hol-info] [ICLP 2025 - Call for Workshop Proposals] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
Manuel Alejandro Borroto Santana
-
2025/02/26
[Hol-info] [fm-announcements] Call for Papers: 3rd TACPS Workshop @ CAV 2025
Ivan Ruchkin via fm-announcements via hol-info
-
2025/02/26
[Hol-info] [fm-announcements] LOPSTR 2025 call for papers
Laura Titolo via fm-announcements via hol-info
-
2025/02/22
[Hol-info] FME Teaching Tutorial on February 28, 2025 3 pm CET: Prof Mariëlle Stoelinga, University of Twente, The Netherlands, on Life long learning — experience with educational programs for professionals
Luigia Petre
-
2025/02/20
[Hol-info] DaLí 2025, 1st call for papers
Alexandre Madeira
-
2025/02/19
[Hol-info] KR 2025: The 22nd International Conference on Principles of Knowledge Representation and Reasoning
Nico Potyka
-
2025/02/19
[Hol-info] Postdoc position in formal verification of multi-agent systems
Vadim Malvone
-
2025/02/15
[Hol-info] Second Announcement and CfP, Conference on Intelligent Computer Mathematics (CICM), 6-11 october 2025, Brasilia
Serge Autexier
-
2025/02/08
[Hol-info] [Call for Papers - LOPSTR 2025] 35th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2025), Rende, Italy | September 9-10, 2025
Manuel Alejandro Borroto Santana
-
2025/02/08
[Hol-info] SPIN: Final Call for Papers
Rozier, Kristin-Yvonne [AER E] via hol-info
-
2025/02/07
[Hol-info] FSEN 2025 - Call for Participation
Petra van den Bos via hol-info
-
2025/02/04
[Hol-info] OptLearnMAS 2025: Call for Papers
optlearnmas-chairs via hol-info
-
2025/02/04
[Hol-info] 2025 Summer School on Formal Techniques, Atherton, California, May 24-30, 2025
Natarajan Shankar via hol-info
-
2025/02/04
[Hol-info] FroCoS 2025 - Call for Papers
geoff--- via hol-info
-
2025/02/04
[Hol-info] PhD Position: Verification of Golang using Interactive Theorem Proving (Application Deadline 2025-02-10)
Achim D. Brucker
-
2025/02/04
[Hol-info] DisCoTec 2025, Deadline Extension and Booking Heads Up: 20th International Federated Conference on Distributed Computing Techniques
Bas van den Heuvel
-
2025/01/28
[Hol-info] ITP 2025: First Call for Papers
Yannick Forster
-
2025/01/28
[Hol-info] AAAI 2025 Tutorial on Machine Learning for Solvers
geoff--- via hol-info
-
2025/01/21
[Hol-info] [ICLP 2025 - Preliminary Call for Papers] 41st International Conference on Logic Programming (ICLP’25) University of Calabria, Rende, Italy | September 12-19, 2025
Francesco Calimeri
-
2025/01/20
[Hol-info] CADE-30 Call for Papers
geoff--- via hol-info
-
2025/01/19
[Hol-info] First CfP - JELIA 2025 - 19th European Conference on Logics in AI
giovanni.casini via hol-info
-
2025/01/19
[Hol-info] FMBC25 - Second Call for Papers
Marmsoler, Diego via hol-info
-
2025/01/16
[Hol-info] World Logic Day 2025 + GRAPHIC DESIGN CHALLENGE FOR WLD 2026 Happy UNESCO World Logic Day 2025!
wld.assistantcoordinator
-
2025/01/16
[Hol-info] [fm-announcements] DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques
Bas van den Heuvel via fm-announcements via hol-info
-
2025/01/15
[Hol-info] DisCoTec 2025, 2nd CfP: 20th International Federated Conference on Distributed Computing Techniques
Bas van den Heuvel
-
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