Difference between revisions of "TACL Seminar"
From CSWiki
m (→Previous Schedules) |
m (→Previous Schedules) |
||
| Line 26: | Line 26: | ||
==Previous Schedules== | ==Previous Schedules== | ||
* [[TACL Seminar Spring '06 | Spring '06]] | * [[TACL Seminar Spring '06 | Spring '06]] | ||
| − | * [[TACL Seminar Fall 05 | Fall '05]] | + | * [[TACL Seminar Fall '05 | Fall '05]] |
| − | * [[TACL Seminar Spring 05 | Spring '05]] | + | * [[TACL Seminar Spring '05 | Spring '05]] |
Revision as of 15:04, 15 August 2006
Contents
Potential Topics
- Compilers
- Program optimization
- Program analysis
- Compiler-hardware interfaces
- Run-time systems
- Virtual machines
- Type systems
- Domain-specific programming languages
- Program logics, or logics in general,
- Software engineering and language design,
- Programming language semantics
- Language-based security.
Time/Location
TBA
Mailing List
Seminars are also announced on the TACL mailing list. If you are giving a talk, send your abstract to the list a day or so in advance.
Schedule for Fall '06
TBA
