Download - IMT Welcome Day 2011
![Page 1: IMT Welcome Day 2011](https://reader033.vdocument.in/reader033/viewer/2022052908/5595126c1a28ab84598b4590/html5/thumbnails/1.jpg)
about me
![Page 2: IMT Welcome Day 2011](https://reader033.vdocument.in/reader033/viewer/2022052908/5595126c1a28ab84598b4590/html5/thumbnails/2.jpg)
name
Alberto
1st last nameit ~ gliucen ~ luke
2nd last name(thefountain)
Lluch Lafuentehello, my name is...
![Page 3: IMT Welcome Day 2011](https://reader033.vdocument.in/reader033/viewer/2022052908/5595126c1a28ab84598b4590/html5/thumbnails/3.jpg)
phd@freiburg
now@here
cs@spain
![Page 4: IMT Welcome Day 2011](https://reader033.vdocument.in/reader033/viewer/2022052908/5595126c1a28ab84598b4590/html5/thumbnails/4.jpg)
lucca
pisa
empoli
![Page 5: IMT Welcome Day 2011](https://reader033.vdocument.in/reader033/viewer/2022052908/5595126c1a28ab84598b4590/html5/thumbnails/5.jpg)
research
![Page 6: IMT Welcome Day 2011](https://reader033.vdocument.in/reader033/viewer/2022052908/5595126c1a28ab84598b4590/html5/thumbnails/6.jpg)
probably correctprovably buggy...
![Page 7: IMT Welcome Day 2011](https://reader033.vdocument.in/reader033/viewer/2022052908/5595126c1a28ab84598b4590/html5/thumbnails/7.jpg)
φ
╥
![Page 8: IMT Welcome Day 2011](https://reader033.vdocument.in/reader033/viewer/2022052908/5595126c1a28ab84598b4590/html5/thumbnails/8.jpg)
φ
╥
models
verification algorithms
property spec langs
![Page 9: IMT Welcome Day 2011](https://reader033.vdocument.in/reader033/viewer/2022052908/5595126c1a28ab84598b4590/html5/thumbnails/9.jpg)
generic programming languagesprotocol specification languagesprocess algebrasautomatagraph transformation systemsmodels...
![Page 10: IMT Welcome Day 2011](https://reader033.vdocument.in/reader033/viewer/2022052908/5595126c1a28ab84598b4590/html5/thumbnails/10.jpg)
vscomp a {
comp b;comp c;
}
comp a {sons : b,c;
}comp b {
father : a;}comp c {
father : a;}
b ca
b c
a
![Page 11: IMT Welcome Day 2011](https://reader033.vdocument.in/reader033/viewer/2022052908/5595126c1a28ab84598b4590/html5/thumbnails/11.jpg)
φ
╥
imt phd studentsSelect * from students,schools where students.school = schools.id and ...
![Page 12: IMT Welcome Day 2011](https://reader033.vdocument.in/reader033/viewer/2022052908/5595126c1a28ab84598b4590/html5/thumbnails/12.jpg)
my system does always …my sytem does … before …
some component of my system is s.t....all components of my system are s.t....
some component always does … before...
![Page 13: IMT Welcome Day 2011](https://reader033.vdocument.in/reader033/viewer/2022052908/5595126c1a28ab84598b4590/html5/thumbnails/13.jpg)
![Page 14: IMT Welcome Day 2011](https://reader033.vdocument.in/reader033/viewer/2022052908/5595126c1a28ab84598b4590/html5/thumbnails/14.jpg)
![Page 15: IMT Welcome Day 2011](https://reader033.vdocument.in/reader033/viewer/2022052908/5595126c1a28ab84598b4590/html5/thumbnails/15.jpg)
φ
╥
![Page 16: IMT Welcome Day 2011](https://reader033.vdocument.in/reader033/viewer/2022052908/5595126c1a28ab84598b4590/html5/thumbnails/16.jpg)
teaching
![Page 17: IMT Welcome Day 2011](https://reader033.vdocument.in/reader033/viewer/2022052908/5595126c1a28ab84598b4590/html5/thumbnails/17.jpg)
“Fundamentals of Algorithmics”
Lesson 1Lesson 3Lesson 4Lesson 5Lesson 6
[March 8][March 16] [March 23] [March 30] [March 6]
Topics: sorting, hashing, searching.
(warm-up for “Web Algorithmics” by Ferragina & Luccio)