[Hol-info] CONCUR 2019 Call for Papers

=== CONCUR 2019 - Call for Papers === https://event.cwi.nl/concur2019/ The 30th International Conference on Concurrency Theory Amsterdam, The Netherlands, 27-30 August 2019 The purpose of the CONCUR conferences is to bring together researchers, developers, and s

[Hol-info] ICLA 2019: EIGHTH INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS 2019

CALL FOR PAPERS ICLA 2019: EIGHTH INDIAN CONFERENCE ON LOGIC AND ITS APPLICATIONS 2019 Indian Institute of Technology Delhi New Delhi, India, March 3-5, 2019 Conference website http://icla2019.cse.iitd.ac.in Submission link https:/

[Hol-info] [Vardi-list] The 3rd Winter School in Computer Science and Engineering on Blockchains and Cryptocurrencies

Call for Participation: Winter School in Computer Science and Engineering on Blockchains and Cryptocurrencies We are soliciting graduate student and postdoc applications for a Third Winter School in Computer Science and Engineering on Blockchains and Cryptocurrencies at the Israeli Institu

Re: [Hol-info] "Proofs of life"

Dear Dr. Vestergaard, I would like to suggest you to apply your approach to cancer cells, following Warburg’s theory. There are many controversies about Warburg’s point of view, but as far as I know, all the attempt of refutations were counterattacked by Warburg himself and by his followers. He

[Hol-info] Multiple Postdoc Positions @ Nanyang Technological University on verification

(We apologize for multiple copies) Multiple Postdoc Positions on Verification and Security Analysis for Hypervisor and Block Chain Nanyang Technological University We have several exciting research projects on 1 Hypervisor development, formal modelling and verification, 2 Testing, verification a