Nicola Galesi

Latest News

 2016 2015

Feb-Mar 17. Research visit to Czech Academy of Science. Prague (20d). Pavel Pudlak.

Nov 16. Research visit to IDSIA. Lugano (1w). M. Mastrorilli.

Oct 16. SAT Interactions Dagstuhl (1w). Open Problems talk

Aug 16. Theoretical Foundations of SAT Solving Workshop. Fields Institute. Toronto. (12 d). Talk

Jul 16. ICALP 16. Rome (1w)

Jun 16. Tokyo Institute for Technology. Research visit (1 m) O. Watanabe.

Nov 16. Talk at Simons Institute for Theory of Computing.

Sep-Dec 15.  Visiting Scientist Simons Institute for Theory of Computing. UC-Berkeley. Semester on Fine-Grained Complexity and Algorithm Design.

Teaching News

 2016 2015

13 Jan. Extra class for Computational Complexity. Wed 18 Time: 9:30. Room: G50.

01 Jan 16. Exame date  for Modelling and Optimization (link)

Aug 16. Theoretical Foundations of SAT Solving Workshop. Fields Institute. Toronto. (12 d). Talk

Jul 16. ICALP 16. Rome (1w)

Jun 16. Tokyo Institute for Technology. Research visit (1 m) O. Watanabe.

Nov 16. Talk at Simons Institute for Theory of Computing.

Sep-Dec 15.  Visiting Scientist Simons Institute for Theory of Computing. UC-Berkeley. Semester on Fine-Grained Complexity and Algorithm Design.