Links

• Multiple Honors
• ACM Outstanding Contribution Award
• CRA Distinguished Service Award
• Rice-BCM Merger Webpage
• New CACM website launched
• IEEE Fellow
• 2008 Blaise Pascal Medal in Computer Science
• New CACM Launched
• ACM Presidential Award
• 2008 ACM SIGMOD Codd Innovations Award
• Jasper Design Automation Adds New Memebers to Technical Advisory Board
• 2008 PODS Mendelzon Test-of-Time Award
• Finite Model Theory and Its Applications
• Computer science still a good career
• De Lange Conference: Emerging Libraries
• 2006 LICS Test-of-Time Award
• Modal Logic Handbook
• Kanellakis Award
• Offshoring: Finally, Facts vs. Folklore
• How Not to Get Offshored
• US Tech Jobs Are Back on Track
• Experts offer fresh perspective on offshoring IT
• Offshoring Isn't All Bad
• Computing Error
• Tech Jobs Are Back Again
• Outsourcing: Silicon Valley East
• Study plays down export of computer jobs
• Detailed Offshoring Study Assesses Rapid Changes Driven by Information Technology
• Dagstuhl Seminar 05241: Synthesis and Planning, 2005
• Three Rice faculty earn Guggenheim Fellowships
• Interview: Ethics and Politics of Information Technology
• Vardi Helps Launch New Open-Access Journal
• Vardi Co-chair of ACM Study to Assess Global Impact of IT Outsourcing
• Vardi named AAAI fellow
• Vardi Forges US, European Collaboration
• Formal Approaches: Tools of Analysis and Synthesis
• European Research Training Network: Games and Automata for Synthesis and Validation
• Accellera's Sample of Formal Properties
• Vardi, Tarlov Elected Fellows of AAAS by peers
• Webcast talk: Unusual Effectiveness of Logic in Computer Science
• National Academy of Engineering see also.
• Symposium on the Effectiveness of Logic in Computer Science (ELICS02) See pictures.
• The 2001 Sheafor-Lindsay Digital Library Symposium
• Dagstuhl Seminar 01451: Exploration of Large State Spaces, 2001
• Computer Science Logic, 2001
• NSF/CISE Workshop on The Unusual Effectiveness of Logic in Computer Science
• 8th International SPIN Workshop on Model Checking of Software
• Gödel Prize
• Dagstuhl Seminar: Probabilistic Methods in Verification
• Schloss Ringberg Seminar: Model Checking and Program Analysis
• Tutorial and Workshop on Logic and Cognitive Science
• The 1999 Federated Logic Conference (FLoC'99)
• Kanellakis Award
• SIGCSE Panel on Logic in the CS Curriculum
• Computer Science Department
• Rice University
• 10th European Summer School in Logic, Language and Information (ESSLLI'98)
• 10th Conference on Computer-Aided Verification (CAV'98)
• BS Proposal
• Daghsthul Seminar on Applications of Tree Automata in Rewriting, Logic and Programming
• ACM Transactions on Database Systems
• Chicago Journal of Theoretical Computer Science
• Information and Computation
• Journal of Computer and System Sciences
• SIAM Journal on Computing
• Rice Engineering Day, March 22, 1997
• 4th Israeli Symposium on Theory of Computing and Systems (ISTCS'96)
• The 1996 Federated Logic Conference (FLoC'96)
• DIMACS 1995-96 Special Year on Logic and Algorithms
• Reasoning about Knowledge (book with co-authors Fagin, Halpern, and Moses)

Due to extremely high level of spam, I have invoked a fairly aggressive level of spam filtering. If you do not get a response to an email message, please call me.

This page has been accessed since May 20, 1995.