[TYPES/announce] CS faculty opening at UC Davis in PL/SE

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] UNIVERSITY OF CALIFORNIA, DAVIS DEPARTMENT OF COMPUTER SCIENCE FACULTY POSITION The Department of Computer Science at the

[TYPES/announce] ISSTA 2012 Call for Participation

=== Zhendong Su - University of California, Davis Sponsored By Association for Computing Machinery (ACM) ACM Special Interest Group on Software Engineering (ACM SIGSOFT) Supported By EMC/Greenplum IBM Research Microsoft Research (additional sponsors

[TYPES/announce] Call for Participation: 7th ETH Workshop on Dependable and Secure Software Systems

· Zvonimir Rakamaric, University of Utah · Hongseok Yang, KAIST More details on the workshop and the registration details can be found at: https://www.sri.inf.ethz.ch/workshop2019. Zhendong Su Professor, Department of Computer Science, ETH Zurich Office: CNB H 102, Tel