[Hol-info] FACS 2021 - First Call for Papers

= ** ** First Call for Papers: FACS 2021 ** **17th International Conference on Formal Aspects of Component Software ** ** Virtual Event ** ** https://facs2021.inria

Re: [Hol-info] HOL4-Emacs Problem

Quoting "Norrish, Michael (Data61, Acton)" : Hi Michael, Thank you for your response. The old one was emacs 24. Installing emacs 26.3. solved the issue. I really appreciate it. Regards, Elif Your version of emacs is too old. (The code certainly works on emacs 26.3.) Can you report what

[Hol-info] AITP 2021 - Call for Contributions

CALL FOR CONTRIBUTIONS Artificial Intelligence and Theorem Proving AITP 2021 September 5-10, 2021, Aussois and online, France http://aitp-conference.org/2021 Deadline: May 5, 2021 https://easychair.org/my/conference?conf=aitp20210 BACKGROUND Large-scale semantic processing and strong computer a

[Hol-info] 21st Midlands Graduate School in the Foundations of Computing Science: Final Call for Participation

FINAL CALL FOR PARTICIPATION 21st Midlands Graduate School in the Foundations of Computing Science MGS 21 12-16 April 2021, virtually https://staffwww.dcs.shef.ac.uk/people/G.Struth/mgs21.