[pl-seminar] Fwd: Formal Verification winter school, invitation to participate.

[Aws Albarghouthi <aws@xxxxxxxxxxx>]

see email below on winter school on model checking / verification topics.

also follow link for their hilarious poster

---------- Forwarded message ----------
From: Somesh Jha <jha@xxxxxxxxxxx>
Date: Thu, Sep 7, 2017 at 11:16 AM
Subject: Fwd: Formal Verification winter school, invitation to participate.
To: Aws Albarghouthi <aws@xxxxxxxxxxx>

Can you put this on the PL list?

-------- Forwarded Message --------

Subject:	Formal Verification winter school, invitation to participate.
Date:	Tue, 5 Sep 2017 05:40:36 -0500
From:	"Orna Kupferman orna"@cs.huji.ac.il
To:	jha@xxxxxxxxxxx
CC:	vardi@xxxxxxxxxxx

Hello Somesh,

The Israel Institute of Advanced Studies at The Hebrew University has started a tradition of annual winter schools in Computer Science and Engineering. The first school took place last December, and focused on Computer Vision.

The second school will focus in Formal Verification and will be held in Dec. 17-23, 2017 in Jerusalem. The school participants will be a mixed international audience of graduate students, postdoctoral scholars, and faculty. 

We are sending you this mail since we hope to have here many excellent researchers and students from all around the world. We believe it would be a fun and fruitful event, and want to encourage you and your students to participate.

Please see more details in the school's site:
http://ias.huji.ac.il/CSE2?_ga=2.4282483.1393549189.1504515039-2013485970.1423384123

See you in Israel, 
Moshe and Orna

--

Aws