 |
|
|
|
|
|
| Course forum now open! | You are encouraged to use it for presenting problems and sharing ideas.
--Course Staff. |
|
| Created on 7/2/2012, 16:20:05 |
|
|
|
|
|
|
|
|
|
|
|
|
| The Project is published | Submission in PAIRS by 11/3/2012 (will also include a short presentation to the course staff).
--Course Staff. |
|
| Created on 30/1/2012, 23:14:46 |
|
|
|
|
|
|
|
|
|
|
|
|
| No lecture next week | | The course if officially over lecture-wise. The project will be published soon, stay tuned. |
|
| Created on 25/1/2012, 17:20:10 |
|
|
|
|
|
|
|
|
|
|
|
|
| Automata Definition in Homework1 | | Be sure you document the automata part of your code well as we require an easy way of defining our own automatas for testing your sumbissions.
|
|
| Created on 28/12/2011, 18:11:43 |
|
|
|
|
|
|
|
|
|
|
|
|
| Homework 1 FAQ is available | | Please advise it before contacting course staff with questions :) |
|
| Created on 26/12/2011, 19:51:46 |
|
|
|
|
|
|
|
|
|
|
|
|
| Homework 1 is published. | | Submission is until 14/1/2012 in PAIRS. Enjoy! |
|
| Created on 24/12/2011, 23:42:10 |
|
|
|
|
|
|
|
|
|
|
|
|
| Homework will be published by Thursday, stay tuned | |
| Created on 20/12/2011, 21:44:56 |
|
|
|
|
|
|
|
|
|
|
|
|
| powerpoint fonts | are available here:
www.cs.technion.ac.il/~yahave/courses/paps2011/fonts.zip |
|
| Created on 28/11/2011, 13:38:08 |
|
|
|
|
|
|
|
|
|
|
|
|
| Course textbook | Some of the course material is covered by the book:
Principles of Program Analysis
Flemming Nielson, Hanne R. Nielson, Chris Hankin
Several copies are available in the library.
|
|
| Created on 27/11/2011, 16:52:03 |
|
|
|
|
|
|
|
|
|
|
|
|
| Room changed: Taub 8 -> Taub 201 | Tomorrow's lecture will take place in Taub 201.
We will use Taub 201 at least until the projector in Taub 8 is fixed (and probably also later).
|
|
| Created on 30/10/2011, 15:58:22 |
|
|
|
|
|
|
Technion - Israel Institute of Technology 
