Differences

This shows you the differences between two versions of the page.

--- teaching [2012/10/26 14:18] – [Courses] abergel
+++ teaching [2018/01/31 11:16] – [Courses] folmedo
@@ Line 3: / Line 3: @@
 ===== Courses =====
-  * [[teaching:cc4101|Programming Languages (CC4101/CC54A)]],
+  * [[https://wiki.dcc.uchile.cl/TallerMindstorms/doku.php|Taller de Proyecto Lego Mindstorms]]
-  * [[teaching:cc5104|Programming Languages II (CC5104/CC71Y)]],
+  * [[teaching:cc3002|Programming Methodology (CC3002)]]
-  * [[teaching:CC71P|Objects and Aspects (CC71P | CC6101)]]
+  * [[teaching:cc4101|Programming Languages (CC4101)]]
-  * [[https://wiki.dcc.uchile.cl/TallerMindstorms/doku.php|Taller de Proyecto (EI2xxx)]]
+  * [[teaching:CC4301| Arquitectura de Computadores (CC4301)]]
-  * [[teaching:CC4301| Arquitectura de Computadores (CC4301)]] ex. Introducción al Hardware (CC41C)
+  * [[teaching:cc5111|Programación Avanzada en Scala (CC5111)]]
-  * [[teaching:cc68s|Software Quality and Software Evolution (CC68S)]],
+  * [[teaching:cc6403|Seminario Calidad y Evolución de Software (CC6403)]]
-  * [[teaching:cc3002|Programming Methodology (CC3002)]],
+  * [[teaching:CC71P|Objects and Aspects (CC6101/CC71P)]]
-  * [[teaching:cc6403Seminario Calidad y Evolución de Software (CC6403)]]
+  * [[teaching:cc71y|Programming Languages II (CC71Y)]]
-===== Thesis Proposals =====
+  * [[teaching:CC7125|Introduction to Coq: Logic, Types, and Verification (CC7125)]]
+  * [[teaching:CC7126|Análisis y Verificación de Programas (CC7126)]]
-There is a variety of possibilities to develop either a **master thesis** or an **engineering thesis** in one of the areas of PLEIAD, including programming languages, reflection, aspects, omniscient debugging, ambient intelligence, distribution, etc.
-If interested contact [[people:etanter|Éric]] or [[people:jfabry|Johan]].
-The proposals are located [[thesis|on a separate page]].