Formal Methods Reading Seminar (Fall 2012) Resources
This page provides various links to conferences and journals in the area.
Conferences
- OOPSLA, which is part of SPLASH. Proceedings for 2011, 2010.
- POPL. Proceedings for 2012, 2011.
- PLDI. Proceedings for 2012, 2011.
- CAV
- FMCAD
- PLPV
- VSTTE
- FSE
- ICSE. Proceedings for 2012, 2011.
- SEFM
- SAC
- Runtime Verification. Proceedings for 2011, 2010.
- Modularity: aosd. Proceedings for 2012, 2011.
Journals
- ACM TOSEM
- ACM TOPLAS
- IEEE TSE
- Science of Computer Programming
- Formal Aspects of Computing
Last modified Monday, August 27, 2012.