We regularly run three seminar series, one in formal methods, one in software engineering, and one on compilers and programming languages. Another seminar relevant to PL/FM/SE is the ITI Trust and Security Seminar.
The seminars below are often listed as CS591 courses as well, allowing earning of credits for participating in them.
The formal methods seminar in the Computer Science department at the University of Illinois focuses on various aspects of formal methods for both software and hardware, including specification, modeling, verification, and development of safe and secure systems.
For announcements, please subscribe to the Fm mailing list.
The compiler and programming languages seminar in the CS Department focuses on various aspects of programming languages design and implementation, and compiler construction. This seminar is run jointly with the Arch/Compiler/Parallel-Prog area.
For announcements, please subscribe to the compiler and/or prog-lang mailing list(s).
The software engineering seminar, named after Brett Daniel, a graduate student at UIUC, focuses on various topics related to software engineering, including software development, maintenance, and evolution, patterns of software design, software testing, and refactoring techniques.
For announcements, please subscribe to the soft-eng mailing list.