Send your request for a slot for a presentation/discussion to cristi ' at" ifi.uio.no.
Several speakers may fit in one week, depending on the time they require for their presentation (and the discussions).The program of each weak is announced via the fm-seminar mailing list.| Date | Teacher | Place | Topic | Lecture notes / comments |
| 30.04.2008 | Cristian Prisacariu? | ? | A particular matching problem? | Keywords: Rewriting systems, Unification, Universal algebras, Action algebra.? |
| 07.05.2008 | ? | ? | ? | ? |
| 14.05.2008 | Cristian Prisacariu? | ? | Movie projection (if no other presentation available). Discussions/comments/oppinions follow the movie.? | Movie choice between:
|
| 21.05.2008 | Cristian Prisacariu ? | ? | A particular matching problem: The solution based on narrowing technique.? | Keywords: Rewriting systems, Unification, Universal algebras, Action algebra, Narrowing, CiME tool for proving termination and confluence of TRSs.text? |
| 28.05.2008 | Mohammad Fadlisyah? | ? | ? | ? |
| 03.06.2008 | til 07.06.2008? | Georg Sverdrup's hus? | DISCOTEC'08 conference? | Three conferences in parallel: Coordination , DAIS , FMOODS + three workshops http://discotec08.ifi.uio.no? |
| 11.06.2008 | Immo Grabe? | ? | ? | ? |