Introductory lecture

PRE-Immigration 6th November Introduction to PHD program

 

For each pillar, the 2017/2018 PhD program is structured as follows
IMMIGRATION [7th November – 22th December ] The introductory course on the basics, main topics and research trends in the area
CORE [Jan – Apr ] Detailed courses on selected topics of interest, with a strong focus on research results, techniques, and challenges
Advanced [Apr – Jul]  Advanced courses on specific topics of interest for each pillar, with a strong focus on research results, techniques, and challenges

Courses

TypePillarNameLecturerLinkCalendar
ImmigrationFormal MethodsIntroduction to Formal MethodsLuca AcetoNov - Dec 2018
ImmigrationFormal MethodsFormal Methods at WorkLuca AcetoNov - Dec 2018
ImmigrationFormal MethodsQuantitative Formal MethodsCatia TrubianiNov - Dec 2018
ImmigrationSoftware EngineeringSoftware, Systems and ServicesLudovico Iovino + invited speakerslink8 Nov-21 Dec 2018
ImmigrationAlgorithmic Foundations of Modern NetworksDesign and Analysis of AlgorithmsMattia D'Emidio and Michele Flamminilink16 nov-15 Dec 2018
COREFormal MethodsModelling and Verification of Reactive SystemsRocco De NicolaJan 2019
COREFormal MethodsPrinciples of Model CheckingMichele LoretiFeb 2019
COREFormal MethodsPerformance ModelingMirco TribastoneMarch 2019
CORESoftware EngineeringSoftware Testing and Dependability.Antonia BertolinoTBAMarch 25-28 + April 9-11 2019
CORESoftware EngineeringAbstraction, Modelling and ArchitectingPatrizio PelliccioneTBAFeb-March
CORESoftware EngineeringGreen / Sustainable Software EngineeringPatricia LagoTBAFeb 4-7 2019
COREAlgorithmic Foundations of Modern NetworksApproximation AlgorithmsGianlorenzo D'AngeloJan 2019
COREAlgorithmic Foundations of Modern NetworksAlgorithmic Game TheoryMichele FlamminiJan 2019
COREAlgorithmic Foundations of Modern NetworksMachine LearningMarcello Restelli11-15 Feb 2019
AdvancedSoftware EngineeringSoftware Architecture and beyondPaola InverardiTBA
AdvancedSoftware EngineeringTest-Driven DevelopmentLorenzo BettiniTBA
AdvancedSoftware EngineeringMulti-level ModelingAdrian RutleTBAApr 15-18 2019
AdvancedFormal MethodsSoftware VerificationOmar InversoMay 2019
AdvancedAlgorithmic Foundations of Modern NetworksComputational Social ChoiceJerome LangMay 2019
AdvancedAlgorithmic Foundations of Modern NetworksFair division for indivisible goodsVangelis MarkakisJune 2019
AdvancedAlgorithmic Foundations of Modern NetworksExperts, Bandits, and Online LearningNicolò Cesa-BianchiJune 2019