Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

cc18:top [2018/09/14 17:32]
vkuncak [Week 01, September 17]
cc18:top [2018/09/24 16:07] (current)
georg.schmid
Line 3: Line 3:
 CS-320, Edition 2018 CS-320, Edition 2018
  
 +  * [[https://​courseware.epfl.ch/​courses/​course-v1:​EPFL+CS-320+2018/​course/​|Submit your lab assignment]]
   * [[http://​moodle.epfl.ch/​course/​view.php?​id=4241|Moodle Page]]   * [[http://​moodle.epfl.ch/​course/​view.php?​id=4241|Moodle Page]]
   *  [[https://​calendar.google.com/​calendar/​embed?​mode=WEEK&​amp;​height=600&​amp;​wkst=2&​amp;​bgcolor=%23FFFFFF&​amp;​src=bknocri186tqu1hmfpdqrs80to%40group.calendar.google.com&​amp;​color=%232952A3&​amp;​ctz=Europe%2FZurich|Google Calendar Link]]   *  [[https://​calendar.google.com/​calendar/​embed?​mode=WEEK&​amp;​height=600&​amp;​wkst=2&​amp;​bgcolor=%23FFFFFF&​amp;​src=bknocri186tqu1hmfpdqrs80to%40group.calendar.google.com&​amp;​color=%232952A3&​amp;​ctz=Europe%2FZurich|Google Calendar Link]]
Line 13: Line 14:
 | **MSc Assistants** | [[https://​people.epfl.ch/​karine.perrard|Karine Perrard]] |  | **MSc Assistants** | [[https://​people.epfl.ch/​karine.perrard|Karine Perrard]] | 
 | **Secretary** ​             | [[http://​people.epfl.ch/​sylvie.jankow|Sylvie Jankow]] ​ | | **Secretary** ​             | [[http://​people.epfl.ch/​sylvie.jankow|Sylvie Jankow]] ​ |
 +
 +===== Upcoming Office Hours =====
 +
 +  * **Georg Schmid:** 25th September (Tue), 10:00am - 11:00am, BC355
 +
  
 ===== Grading ===== ===== Grading =====
Line 23: Line 29:
   * The [[Amy specification]]   * The [[Amy specification]]
   * The [[Amy reference compiler]]   * The [[Amy reference compiler]]
 +  * [[Labs setup]]
  
 First class: Wednesday 19 September at 8:15am in the classroom INF213. First class: Wednesday 19 September at 8:15am in the classroom INF213.
Line 32: Line 39:
  
 | Monday ​    | NO CLASSES | | Monday ​    | NO CLASSES |
-| Wednesday ​ | Lecture 1: [[https://​docs.google.com/​presentation/​d/​1oNtWuoSXekrLVb3K8uac3p_mXnco1UssEienDnIHG9A/​edit?​usp=sharing|Lecture 1 Slides]] |  +| Wednesday ​ | [[https://​docs.google.com/​presentation/​d/​1oNtWuoSXekrLVb3K8uac3p_mXnco1UssEienDnIHG9A/​edit?​usp=sharing|Lecture 1 Slides]] |  
-| Thursday ​  | [[Labs 01]] (**always bring own laptops**) |+| Thursday ​  | [[Labs 01]] in INF 119 (**always bring own laptops**) | 
 + 
 +Wikipedia articles: 
 +  * [[wp>​Programming language]] 
 +  * [[wp>​Syntax (programming languages)]]
  
 You may also wish to check the [[https://​www.youtube.com/​watch?​v=_C5AHaS1mOA|Gobble Gook]] video, which relates the subtle difference between compilers and interpreters to the familiar everyday situation of landing on an alien planet. You may also wish to check the [[https://​www.youtube.com/​watch?​v=_C5AHaS1mOA|Gobble Gook]] video, which relates the subtle difference between compilers and interpreters to the familiar everyday situation of landing on an alien planet.
Line 39: Line 50:
 ==== Week 02, September 24 ==== ==== Week 02, September 24 ====
  
-| Monday ​    | Lecture | +| Monday ​    | Lecture ​in CE 110. [[https://​docs.google.com/​presentation/​d/​1QI-lcvQy0b8Ll54NBZM5-7-ws_dh1VdCEn4IzLncddo/​edit?​usp=sharing|Lecture 2 Slides]] ​
-| Wednesday ​ | Labs |  +| Wednesday ​ | Labs in INF 213. Finish [[Labs 01]], start [[Labs 02]] |  
-| Thursday ​  ​| ​Exercises ​|+| Thursday ​  | Lecture in INF 119| 
 + 
 +==== Week 03, October 01 ==== 
 + 
 +| Monday ​    | Activities (TBD) in CE 110 | 
 +| Wednesday ​ | Activities (TBD) in INF 213 |  
 +| Thursday ​  ​| ​Activities (TBD) in INF 119|
  
 ---- ----
 
cc18/top.1536939179.txt.gz · Last modified: 2018/09/14 17:32 by vkuncak
 
© EPFL 2018 - Legal notice