[Hol-info] [fm-announcements] RV 2018 Call for Papers

RV 2018 Call for Papers The 18th International Conference on Runtime Verification November 10-13, 2018, Limassol, Cyprus https://rv2018.isp.uni-luebeck.de rv18(at)easychair(dot)org

Re: [Hol-info] verifying the Gordon computer

Thanks for your kind answer, but I'm really looking for the opposite: to run the classic old examples using the latest technology. It's a way of measuring the progress of our field. Larry > On 4 Apr 2018, at 21:59, Chun Tian wrote: > > Hi, > > I didn't follow the

[Hol-info] "Gordon Computer"

I have just managed to locate Jeff Joyce's "Tamarack-2" files, which he describes as slightly simplified compared with the original Gordon computer. They are dated 1989 and the comments suggest that they are for HOL88. I guess they will bring back the memories for some people. But it would

[Hol-info] Final CFP: 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2018, affiliated with ICLP at FLoC 2018)

Final Call for Papers: HCVS'18 - 5th Workshop on Horn Clauses for Verification and Synthesis -- (apologies for multiple copies) 5th Workshop on Horn Clauses for Verification and Synthesis (HCVS) Affiliated with ICLP at FLoC

[Hol-info] PPDP 2018: Second Call for Papers

== PPDP 2018: Second Call for Papers == 20th International Symposium on Principles and Practice of Declarative

[Hol-info] WST 2018 - 2nd Call for Papers (submission: April 15, 2018)

==   WST 2018 - Call for Papers    16th International Workshop on Termination     July 18-19, 2017, Oxford, United Kingdom  

Re: [Hol-info] "Gordon Computer"

It doesn't look too bad to me - happy to port them if you like. On 5 April 2018 at 12:36, Lawrence Paulson wrote: > I have just managed to locate Jeff Joyce's "Tamarack-2" files, which he > describes as slightly simplified compared with the original Gordon > computer. They are