Re: [Hol-info] How to correctly define a binder (as pretty printer)?

Hi Michael, thanks very much! Yesterday Thomas also sent me a similar solution, so I took your solutions as the "official" solution that HOL can support at best. (I'll give up with my original proposed syntax "AE x in m. P" which I took from Isabelle. The good thing is, actually I don't need a

[Hol-info] FORTE 2017: Deadline Extension

* Highlights * Deadline extension -- abstracts due Feb 17th, full papers Feb 24th. We welcome four kinds of submissions: Full papers (15 pages), Short Papers & Tool demos (7 pages), Posters (3 pages) We are delighted to announce our invited speaker : Rupak Majumdar (MPI-SWS)

[Hol-info] SAFECOMP17 2nd Call for Papers

(We apologize if you receive multiple copies of this announcement) === 2ND CALL FOR PAPERS SAFECOMP 2017 The 36th International Conference on Computer Safety, Reliability and Security 12 - 15 September 2017 Trento, Italy http://www.safecomp.or

[Hol-info] [CFP] CrossFyre 2017

Apologies if you have received multiple copies of this email Call for Papers: International Workshop on Cryptography, Robustness, and Provably Secure Schemes for Female Young Researchers (CrossFyre) 2017. Co-located with the IEEE European Symposium on Security and Privacy 2017 and EuroCrypt 2017

[Hol-info] Research officer in theoretical foundations of cyber security at Swansea University

Research officer in theoretical foundations of cyber security at Swansea University Duration: 3 years Available now Application deadline: 24.2.17 URL: http://www.jobs.ac.uk/job/AWX894/research-assistant-officer-in-theoretical-computer-science-theory-of-security/

[Hol-info] LATA 2017: call for participation

LATA 2017: call for participation** 11th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS LATA 2017 Umeå, Sweden March 6-9, 2017 Organized by:      Department of Computing Science Ume