Difference between revisions of "TACL Seminar"
From CSWiki
m |
m |
||
| Line 1: | Line 1: | ||
==Potential Topics== | ==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 & language design, programming language semantics or language-based security. | ||
| + | |||
| + | ==Time/Location== | ||
| + | TBA | ||
| + | |||
| + | ==Mailing List== | ||
| + | Seminars are also announced on the [https://lists.cs.princeton.edu/mailman/listinfo/tacl-seminar TACL mailing list]. If you are giving a talk, send your abstract to the list a day or so in advance. | ||
Revision as of 14:27, 15 August 2006
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 & language design, programming language semantics or 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.
