Skip to content

CS Theory Events

Aggregator for CS theory workshops, schools, and so on

The 2nd Winter School in Engineering and Computer Science on Formal Verification

September 20, 2017 ~ shacharlovett

December 17-21, 2017
Jerusalem, Israel
http://ias.huji.ac.il/CSE2

Submission deadline: October 1, 2017

Share this:

  • Click to share on Facebook (Opens in new window)
  • Click to share on Telegram (Opens in new window)

Like this:

Like Loading...
Posted in school

Post navigation

‹ Previous6th French-Israeli Workshop on Foundations of Computer Science
Next ›6th International Optimisation Summer School
Follow CS Theory Events on WordPress.com

Menu

  • About
  • Calendar
  • Conferences
  • Contact
  • List of events
  • List of events archive
  • Post a new event
  • Post a new event
Blog at WordPress.com.
  • Follow Following
    • CS Theory Events
      • Join 104 other followers
    • Already have a WordPress.com account? Log in now.
    • CS Theory Events
    • Customize
    • Follow Following
    • Sign up
    • Log in
    • Copy shortlink
    • Report this content
    • View post in Reader
    • Manage subscriptions
    • Collapse this bar
%d bloggers like this: