<--- Back to Details
First PageDocument Content
Paris Kanellakis Award / Academia / Computing / Moshe Y. Vardi / ACM SIGACT / Paris Kanellakis / Pierre Wolper / Edmund M. Clarke / Brent Hailpern / Computer science / Year of birth missing / Association for Computing Machinery
Date: 2008-06-30 15:34:26
Paris Kanellakis Award
Academia
Computing
Moshe Y. Vardi
ACM SIGACT
Paris Kanellakis
Pierre Wolper
Edmund M. Clarke
Brent Hailpern
Computer science
Year of birth missing
Association for Computing Machinery

Contact: Virginia Goldacm

Add to Reading List

Source URL: spinroot.com

Download Document from Source Website

File Size: 45,69 KB

Share Document on Facebook

Similar Documents

2017 ACM SIGACT Distinguished Service Prize Awarded to Alistair Sinclair June 20, 2017 ACM SIGACT awards its 2017 Distinguished Service Prize to Alistair Sinclair for his role in the spectacular success of the Simons Ins

DocID: 1tCPE - View Document

Call for Papers Twenty-fourth Annual ACM SIGACT-SIGOPS Symposium on PRINCIPLES OF DISTRIBUTED COMPUTING (PODC) July 17–20, 2005, Las Vegas, Nevada, USA http://www.podc.org/podc2005/ Important dates:

DocID: 1sFln - View Document

IMPECS-POPL Workshop on Emerging Research & Development Trends in Programming Languages (WEPL) co-located with 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPLThe goal of WEPL 2015 (

DocID: 1s3ea - View Document

SIGMOD PODS CALL FOR PAPERS 33rd ACM SIGMOD–SIGACT–SIGART Symposium on

DocID: 1rPMY - View Document

Computing / Computer science / Guang Gao / Parallel computing / International Parallel and Distributed Processing Symposium / Association for Computing Machinery / Computer architecture / Symposium on Parallelism in Algorithms and Architectures / ACM SIGACT

CURRICULUM VITAE NAME: Guang R. Gao OFFICE ADDRESS: Department of Electrical Engineering 140 Evans Hall

DocID: 1rcDD - View Document