Re: [Hol-info] Back to HOL again!

2011-09-30 Thread Konrad Slind
On Wed, Sep 28, 2011 at 11:11 PM, Paul Loewenstein wrote: > > I'm back on HOL after more than a decade-long hiatus.  How it's improved! Lots more automation than back in the day. Also lots more theories and examples. Konrad. --

[Hol-info] FSFLA 2011: call for participation

2011-09-30 Thread Carlos Martín Vide
* 2011 INTERNATIONAL FALL SCHOOL IN FORMAL LANGUAGES AND APPLICATIONS FSFLA 2011 (formerly International PhD School in Formal Languages and Applications) Tarragona, Spain October 31 – November 4, 2011 Organized by: Research G

[Hol-info] VSTTE 2012 verification competition: call for participation

2011-09-30 Thread Gudmund Grov
VSTTE 2012 Verification Competition --- A software verification competition is organized on behalf of the VSTTE 2012 conference (https://sites.google.com/site/vstte2012). The purposes of this competition are: to help promote approaches and tools, to provide new veri

[Hol-info] Ph.D. position at ETH Zurich

2011-09-30 Thread Christoph Sprenger
Ph.D. Research Project at ETH Zurich on Security Modeling and Analysis in Cyber-physical Systems Prof. David Basin and Prof. Srdjan Capkun, ETH Zurich Cyber-physical systems are systems in which computational and physical elements are tightly coupled. Due to this coupling, their failure can have