1 [[!img img/accessories-dictionary.png link="no" class="flow" alt="book"]]
2 Here is an archive of *old teaching activities* of mine.<br />
3 More recent teaching material is available from the main [[teaching]] page.
7 * [[GenLogAv — Génie logiciel avancé|1314/gla]] <small>(software
9 [Master 1 en Informatique](http://www.informatique.univ-paris-diderot.fr/),
10 [Université Paris Diderot](http://www.univ-paris-diderot.fr/)
11 * [[ED6 — Environnements et outils de développement|1314/ed6]]
12 <small>(development tools)</small>,
13 [Licence 3 en Informatique](http://www.informatique.univ-paris-diderot.fr/),
14 [Université Paris Diderot](http://www.univ-paris-diderot.fr/)
15 * [[ProjLong — Projet long|http://www.liafa.univ-paris-diderot.fr/~yunes/cours/projetlong/]]
16 <small>(development project)</small>,
17 [Master 1 en Informatique](http://www.informatique.univ-paris-diderot.fr/),
18 [Université Paris Diderot](http://www.univ-paris-diderot.fr/)
19 * [[LL4 — Logiciel Libre|1314/ll4]]
20 <small>(free software)</small>,
21 [Licence 2](http://www.informatique.univ-paris-diderot.fr/),
22 [Université Paris Diderot](http://www.univ-paris-diderot.fr/)
23 * [[ProgSyst — Programmation système|1314/progsyst]] <small>(System Programming)</small>,
24 [Master 1 en Informatique](http://www.informatique.univ-paris-diderot.fr/),
25 [Université Paris Diderot](http://www.univ-paris-diderot.fr/)
26 * [[MethTest — Méthodes de test|1314/methtest]] <small>(Software Testing)</small>,
27 [Master 1 en Informatique](http://www.informatique.univ-paris-diderot.fr/),
28 [Université Paris Diderot](http://www.univ-paris-diderot.fr/)
29 * [[PF — Programmation fonctionnelle|1314/pf]] <small>(Functional
31 [Licence 3 en Informatique](http://www.informatique.univ-paris-diderot.fr/),
32 [Université Paris Diderot](http://www.univ-paris-diderot.fr/)
33 * [[POCA — Programmation objet: concepts avancés|1314/poca]] <small>(Object Oriented
34 Programming: Advanced Concepts)</small>,
35 [Master 2 en Informatique](http://www.informatique.univ-paris-diderot.fr/),
36 [Université Paris Diderot](http://www.univ-paris-diderot.fr/)
40 * [[ED6 — Environnements et outils de développement|1213/ed6]]
41 <small>(development tools)</small>,
42 [Licence 3 en Informatique](http://www.informatique.univ-paris-diderot.fr/),
43 [Université Paris Diderot](http://www.univ-paris-diderot.fr/)
44 * [[GenLogAv — Génie logiciel avancé|1213/gla]] <small>(software
46 [Master 1 en Informatique](http://www.informatique.univ-paris-diderot.fr/),
47 [Université Paris Diderot](http://www.univ-paris-diderot.fr/)
48 * [[ProjLong — Projet long|http://www.liafa.univ-paris-diderot.fr/~yunes/cours/projetlong/]]
49 <small>(development project)</small>,
50 [Master 1 en Informatique](http://www.informatique.univ-paris-diderot.fr/),
51 [Université Paris Diderot](http://www.univ-paris-diderot.fr/)
52 * [[Programmation système|1213/progsyst]] <small>(System Programming)</small>,
53 [Master 1 en Informatique](http://www.informatique.univ-paris-diderot.fr/),
54 [Université Paris Diderot](http://www.univ-paris-diderot.fr/)
55 * [[Programmation fonctionnelle|1213/pf]] <small>(Functional
57 [Licence 3 en Informatique](http://www.informatique.univ-paris-diderot.fr/),
58 [Université Paris Diderot](http://www.univ-paris-diderot.fr/)
59 * [[Programmation objet: concepts avancés|1213/poca]] <small>(Object Oriented
60 Programming: Advanced Concepts)</small>,
61 [Master 2 en Informatique](http://www.informatique.univ-paris-diderot.fr/),
62 [Université Paris Diderot](http://www.univ-paris-diderot.fr/)
66 * [[Programmation système|1112/progsyst]] <small>(System Programming)</small>,
67 [Master 1 en Informatique](http://www.informatique.univ-paris-diderot.fr/),
68 [Université Paris Diderot](http://www.univ-paris-diderot.fr/)
69 * [[Programmation objet: concepts avancés|1112/poca]] <small>(Object Oriented
70 Programming: Advanced Concepts)</small>,
71 [Master 2 en Informatique](http://www.informatique.univ-paris-diderot.fr/),
72 [Université Paris Diderot](http://www.univ-paris-diderot.fr/)
73 * [[Programmation fonctionnelle|1112/pf]] <small>(Functional
75 [Licence 3 en Informatique](http://www.informatique.univ-paris-diderot.fr/),
76 [Université Paris Diderot](http://www.univ-paris-diderot.fr/)
77 * [[Génie logiciel avancé|1112/gla]] <small>(Software Engineering)</small>,
78 [Master 1 en Informatique](http://www.informatique.univ-paris-diderot.fr/),
79 [Université Paris Diderot](http://www.univ-paris-diderot.fr/)
80 * [[Environnements et outils de développement|1112/ed6]] <small>(Development
82 [Licence 3 en Informatique](http://www.informatique.univ-paris-diderot.fr/),
83 [Université Paris Diderot](http://www.univ-paris-diderot.fr/)
87 * [[Génie Logiciel Avancé|1011/gla]] <small>(Software Engineering)</small>,
88 [Master 1 en Informatique](http://www.informatique.univ-paris-diderot.fr/),
89 [Université Paris Diderot](http://www.univ-paris-diderot.fr/)
93 * [Logica Matematica](http://e-learning.sti.uniurb.it/acs/programs/contents.php?corso=logics)
94 ([Università di Urbino](http://www.uniurb.it), corso di laurea in [Informatica
95 Applicata](http://www.sti.uniurb.it/info_appl_liv1/))
96 * [[Basi di Dati e Programmazione Web|0910/mfosset]]
97 ([Master in Scienze e Tecnologie del Software Libero](http://www.m-fosset.cs.unibo.it/))
101 * [Logica Matematica](http://e-learning.sti.uniurb.it/acs/programs/contents.php?corso=logics)
102 ([Università di Urbino](http://www.uniurb.it), corso di laurea in [Informatica
103 Applicata](http://www.sti.uniurb.it/info_appl_liv1/))
104 * [[Basi di Dati e Programmazione Web|0809/mfosset]]
105 ([Master in Scienze e Tecnologie del Software Libero](http://www.m-fosset.cs.unibo.it/))
109 * [[Laboratorio_Metodi_di_Programmazione|0708/labprog]]
110 * [[Logica_Matematica|0708/logica]] (A-L, M-Z)
111 * [Logica Matematica](http://e-learning.sti.uniurb.it/acs/programs/contents.php?corso=logics)
112 ([Università di Urbino](http://www.uniurb.it), corso di laurea in [Informatica
113 Applicata](http://www.sti.uniurb.it/info_appl_liv1/))
117 [[!template id=note text="""
118 links to pages of courses held earlier than academic year 2007/2008 point to
119 old web pages, which are neither any longer updated nor integrated with the
123 * [[Laboratorio_Metodi_di_Programmazione|0607/labprog/index.html]]
124 * [[Logica_Matematica|0607/logica/index.html]] (M-Z)
125 * [[Tecnologie_Web|0607/techweb/index.html]]
126 * [[Laboratorio_di_Sistemi_Operativi|0607/labsomfosset/index.html]] ([Master in
127 Tecnologia del Software Libero e Open Source](http://www.almaweb.unibo.it/os_home.html))
128 * [[Laboratorio_di_Sistemi_Informativi|0607/labsimfosset/index.html]] ([Master
129 in Tecnologia del Software Libero e Open
130 Source](http://www.almaweb.unibo.it/os_home.html))
134 * [Laboratorio Metodi di Programmazione](http://mowgli.cs.unibo.it/~zacchiro/cgi-bin/moin.cgi/ProgettoLab10506)
136 * [[Laboratorio_di_Sistemi_Operativi|0506/labsomfosset/index.html]] ([Master in
137 Tecnologia del Software Libero e Open
138 Source](http://www.almaweb.unibo.it/os_home.html))
142 * [[Programmazione|0405/prog/index.html]]
143 * [[Laboratorio_di_Sistemi_Operativi|0405/labsomfosset/index.html]] ([Master in
144 Tecnologia del Software Libero e Open
145 Source](http://www.almaweb.unibo.it/os_home.html))
149 * [[Laboratorio_Metodi_di_Programmazione|0304/labprog/index.html]]