[Proof Complexity] Swedish Summer School in Computer Science 2014

Jakob Nordstrom jakobn at kth.se
Wed Feb 26 11:19:05 CET 2014

Dear colleagues,

This is to let you know that we are now accepting applications for the
Swedish Summer School in Computer Science 2014 (http://s3cs.csc.kth.se/).
The summer school will be held from June 29 to July 5 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 courses are 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

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