[Proof Complexity] Pre-announcement: Swedish Summer School in Computer Science 2014

Jakob Nordstrom jakobn at kth.se
Wed Feb 5 10:34:41 CET 2014

The Swedish Summer School in Computer Science 2014
(http://s3cs.csc.kth.se/) will be held from June 29 to July 5 in
Stockholm. It will take place in the beautiful Stockholm archipelago at
Djuronaset (http://djuronaset.com/en/welcome).

The school runs for a full week Monday-Friday at the beginning of July
when Sweden is at its loveliest, with arrival on Sunday evening and
departure Saturday morning. It consists of two mini-courses on "Sums of
Squares" by Boaz Barak and "Analysis of Boolean Functions" by Ryan

The course is primarily intended for PhD students, but postdocs and bright
masters students are also welcome. The registration fee, which is 3000 SEK
(around 350 EUR or 450 USD), includes full accommodation and all meals.

Sun March 30: Application deadline.
Fri April 11: Notification of acceptance to course (or placement in
waiting list).
Sun May 4: Deadline for confirming participation and paying registration fee.
Sun June 29 -Sat Jul 5: The summer school

Please send e-mail to s3cs-2014 at csc.kth.se if you have any questions.

With best regards,
Jakob Nordstrom

Jakob Nordström, Assistant Professor
KTH Royal Institute of Technology
Osquars backe 2, SE-100 44 Stockholm, Sweden
Phone: +46 8 790 69 19 (office), +46 70 742 21 98 (cell)

More information about the Proof-Complexity mailing list