Dexter Kozen invited speaker at commemorative conference

»	Christoph Koch in the news

»	Rafael Pass awarded 2010 Young Investigator's grant

»	Fred B. Schneider testifies at House Science Committee

»	Chadwick, An and James featured in the Cornell Chronicle

»	Tardos, R. Kleinberg, J. Kleinberg and others in the news

»	Cornell ACM Team advances to World Finals

»	Shuang Zhao awarded Intel Graduate Fellowship

»	John Hopcroft honored at the Saint Petersburg Scientific Forum

»	Noah Snavely wins award

»	Thorsten Joachims and Chun-Nam Yu win Best Paper Award

»	Joe Halpern awarded the Edsger W. Dijkstra prize

»	Andrew Myers at Marktoberdorf School

»	Robbert VanRenesse at PODC

»	Faculty receive NSF grant

»	Tardos, Easley, Kleinberg, Blume and Kleinberg receive NSF grant

»	Kleinberg quoted in The New York Times

»	Bart Selman interviewed on BBC Today

»	Andrew Myers program co-chair at IEEE

»	Rafael Pass selected Microsoft Research New Faculty Fellow

»	Jon Kleinberg quoted in The New York Times

»	Fred Schneider and Ed Lazowska commenting on DARPA

»	Ken Birman and Fred B. Schneider in Communications of the ACM

»	Johannes Gehrke elected to Board of Directors of SIGKDD

»	Sonica Li and Mark Yatskar spotlighted by COE

»	Tanya Gupta chosen as Merrill Presidential Scholar

»	Claire Cardie co-founder and chief scientist at Big Red Ventures

»	Doug James and Changxi Zheng at the 2009 ACM SIGGRAPH

»	Honorary day for Bob Constable celebrated at the Frankel Center

»	Fred B. Schneider testifies to Congress on cybersecurity

»	Thorsten Joachims wins Best 10-Year Paper Award

»	Fred B. Schneider quoted in Computerworld

»	Communications of the ACM references Cardie, Pang, Pierce & Lee

»	Katherine Lai receives NSF fellowship

»	Jason Rohrer named one of Esquire Magazine's Best and Brightest

»	Ken Birman to receive IEEE Outstanding Achievement Award

»	Ryan Peterson awarded Google fellowship

»	Vigfusson, Abu-Libdeh and Birman win Best Poster Award at NSDI

»	Lillian Lee awarded Kendall S. Carpenter Memorial Advising Prize

»	Doug James, Kavita Bala and Steve Marschner receive NSF grant

»	New Scientist, Wired, the Guardian feature CS members

»	Jon Kleinberg wins the ACM Infosys Foundation award

»	Hopcroft elected to National Academy of Sciences

»	Hopcroft, Tardos and Van Loan named SIAM fellows

»	Joachims receives Humboldt Foundation's Fraunhofer-Bessel Award

»	Chan, First, Lee and Tseng at ACM programming contest

»	GDIAC outreach

»	Joe Halpern co-wins the ACM/AAAI Allen Newell Award

»	John Hopcroft wins Karl V. Karlstrom Outstanding Educator Award

»	2009 Merrill Scholars Awards

»	Noah Snavely featured on cnn.com

»	Hakim Weatherspoon wins BEYA STEM Competitive award

»	Lakshmi Ganesh and Huija Lin receive fellowships at Microsoft

»	Michaela Goetz wins the Graduate Women’s Scholarship

»	Andrew Myers wins ACM POPL award

»	Fred B. Schneider in the news

»	Jon Kleinberg one of Discover's 50 Most Important

»	Ken Birman speaks at Harvard

»	Tal Rusak wins CRA award

»	Hopcroft on Microsoft Advisory Board for Research in Asia

»	VanRenesse VIP guest at MSR Beijing

»	Database group members win at DB/IR Day

»	Gomes quoted in Nature on new Institute

»	Ramin Zabih named Editor-in-Chief

»	Nitin Gupta wins first place in ACM Student Research Competition

»	Huttenlocher in Cornell Stories

»	David Gries is invited speaker at OOPSLA

»	Carla Gomes is PI on Expedition grant

»	Lillian Lee and Carla Gomes at AAAI 2008

»	Jon Kleinberg gives speeches at ACM and SIAM conferences

»	IJCAI-JAIR Best Paper Prize awarded to Ashish Sabharwal

»	Three in CS receive teaching awards

»	Claire Cardie elected councilor of AAAI

»	Constable enters final year as CIS Dean

»	Wong, Vigfusson and Sirer's work Slashdotted this week

»	Lieben-Nowell and Kleinberg's work featured

»	Ramin Zabih's first-year students program robots

»	Adam Arbree places second in the Guenther Enderle Award

»	Milos Hasan wins Nvidia Fellowship

»	Alex Niculescu-Mizil and Yogi Sharma win best paper award

»	Bobby Kleinberg Microsoft new faculty fellow

»	Jon Kleinberg and David Liben-Nowell in Science

»	New In the Classroom series at Cornell launched with CS 211

»	Jon Kleinberg elected to the National Academy of Engineering

»	Wojciech Moczydlowski wins Sacks Prize

»	Lillian Lee named ISS Faculty Fellow

»	CS students noted at CRA competition

»	CS team finishes first in ACM programming contest

»	Clarkson and Dokania awarded Intel Foundation fellowships

»	2007 DARPA Urban Challenge news

»	CS paper wins Best Paper Award at SOSP 07

»	SIGOPS Hall of Fame award goes to Schneider

»	Gomes is Program Co-chair of 23rd AAAI Conference

»	Jon Kleinberg chosen as Young Innovator

»	Gun Sirer selected as one of Popular Science's Top Ten

»	Bala brings mandala into 3D

»	Schneider invited speaker at 18th Intl. Conf. on Concurrency

»	CS student wins Best Student Paper Award at ECML 07

»	Caruana and Martinez receive NSF grant

»	Joachims and Kleinberg receive Excellence in Teaching awards

»	Fedora Commons awarded grant from Moore Foundation

»	Lillian Lee wins Provost's award

»	Steve Marschner Prg. Co-Chair for 2008 Eurographics Symposium

»	James and Barbic awarded best paper at 2007 ACM SIGGRAPH

»	Fred B. Schneider to serve on Computing Community Consortium

»	Halpern selected as ACSU Faculty of the Year

»	CS group awarded best paper at 16th Annual World Wide Web Conf.

»	Johannes Gehrke receives NYSTAR award

»	Gries to give keynote lecture at PPPJ 2007

»	Uri Keich granted CAREER Award

»	Eva Tardos awarded endowed chair

»	Two CS professors to give keynote addresses

»	Fred Schneider elected to CRA Board of Directors

»	Adam Siepel receives Microsoft fellowship

»	Jon Kleinberg elected to AAAS

»	John Hopcroft receives CRA Award

»	Social and information networks projects at Cornell

»	Eva Tardos elected to NAE

»	Kavita Bala and Bobby Kleinberg receive CAREER awards

»	Cardie gives keynote speech at ICCPOL

»	Conway and Herbst honored by CRA

»	CTC in NYS Grid

»	Caruana named program co-chair for ACM SIGKDD

»	Preprint Analysis Quantifies Scientific Plagiarism

»	ScienCentral News reports Moon and Marschner work

»	Cardie and homeland security grant

»	Kleinberg, Lee and Tardos receive Yahoo! Research Alliance gift

»	Graeme Bailey honored at greek faculty appreciation reception

»	Bala's Advanced Global Illumination is released in 2nd edition

»	Bart Selman quoted in NY Times

»	Dexter Kozen invited speaker at commemorative conference

»	Claire Cardie is co-PI on an NSF grant

»	Cornell takes on the Microsoft College Puzzle Challenge

»	Lagoze and Van de Sompel receive grant from Mellon Foundation

»	Cornell teams very strong at ACM Programming Contest

»	NSDL at Cornell researchers win best paper award at ECDL 2006

»	IISI researchers win best paper award at CP2006

»	Pingali and Bala receive grant from Intel

»	Rich Caruana receives NSF award

»	Jon Kleinberg in NY Times article

»	Bart Selman invited speaker at 16th ILP Conference

»	2006 Rolf Nevanlinna Prize awarded to Jon Kleinberg

»	Jen Holleran elected co-chair of Cornell Computing Directors

»	Claire Cardie is co PI on DHS grant

»	Lillian Lee gives talk at HLT NAACL

»	Uri Keich gives talk at Bertinoro Computational Biology meeting

»	Gun Sirer's CyberTrust proposal funded

»	Marschner and Moon in Science News

»	Standing-room-only turnout for Kleinberg lecture

»	Joachims receives KDD-06 Best Paper Award

»	Marschner and Moon to present at SIGGRAPH 2006

»	Eva Tardos wins 2006 George B. Dantzig Prize

»	Best paper award for Digital Libraries group

»	Joe Halpern wins best paper award

»	Speak, Organize, Sudoku

»	Gomes, Sabharwal and Selman to receive award at AAAI

»	Cornell wins prize at Games4Girls

»	Birman interviewed in ComputerWorld

»	NSF funding for multicore compiler project

»	AI grad students meet to network, discuss and practice

»	Gun Sirer's DNS vulnerability work attracts attention

»	Cornell speakers at PODC

»	Greg Bronevetsky wins Lawrence Fellowship

»	GDIAC takes runner up

»	van Renesse appointed as principal research scientist

»	Penguin Adventures at BOOM 2006

»	Eva Tardos on Discrete Algorithms in Tokyo

»	Gun Sirer co-chairs IPTPS '06

»	Pingali gives distinguished lecture

»	Fred B. Schneider speaks to AAAS

»	Fault tolerance researcher joins CS

»	Marschner receives Sloan Fellowship

»	Lillian Lee re-elected as secretary to NAACL

»	NSF funds joint project

»	Pittsburgh Supercomputing Ctr. mag. highlights work by CS group

»	Geri Gay named endowed Bissett chair

»	Filip Radlinski earns Microsoft Fellowship

»	Bo Pang chosen as co-chair of HLT-NAACL 2006

»	Myers serves with DARPA group

»	Selman and Kleinberg in the news

»	CIS faculty and grad students serve on advisory committee

»	New faculty member on board

»	Student-organized conference on AI

»	vanRenesse gives keynote address

»	Hopcroft receives honorary fellowship and IEEE award

»	Selman quoted in ComputerWorld

»	Kleinberg shares perspectives in Technology Research News

»	Cardie elected to executive committee of ACL

»	Two CS professors chaired October conferences

»	CS professors in the news

»	CS professor gives keynote speech

»	Undergraduate wins research competition

»	CS researcher speaks before the US House Caucus

»	DSS joins CIS

»	Biozon featured in Science

»	Halpern named AAAS fellow

»	CS professor gives keynote speech at IEEE Workshop

»	CS professor gives two keynote speeches at fall conferences

»	Two CS professors chair conferences

»	Jackob Neilsen highlights work by CS professors

»	Cornell professor gives series of talks on Ad Hoc Networking

»	Cornell researchers pioneer cybertools for social scientists

»	Hopcroft Earns Prestigious IEEE Harry M. Goode award

»	Kleinberg featured in ComputerWorld and Technology Research News

»	Cardie discusses natural language processing

»	Selman quoted in Fortune Magazine

»	NSF funds cybertools project

»	Jon Kleinberg wins MacArthur Award

»	CS Professor Graeme Bailey in the News

»	CS 40th Anniversary Symposium

»	Five Best Paper Awards

»	Gomes and Selman in Nature

»	Fred Schneider in The Chronicle of Higher Education

»	Concentration in Computing and the Arts

»	Carl Lagoze to speak at U of Pittsburgh in April

»	Intel donates equipment to Intelligent Software Systems Group

»	Sandy Payette and Fedora in XML Cover Pages

»	New text by Ken Birman:Reliable Distributed Systems

»	New book by Jon Kleinberg and Eva Tardos: Algorithm Design

»	CS Assistant Professor Golan Yona and Biozon

»	Cornell CS professors in the news

»	Upcoming invited talks by CS professors

»	David Gries to present Course Management System at SIGCSE 2005

»	John Hopcroft this year's IEEE Harry Goode Memorial Award winner

»	CS Professors give talks at Harvard and U of Florida

»	Technology Research News Top Picks of 2004

»	Oren Kurland gives invited talk abroad

»	Jon Kleinberg in SIAM News

»	Jon Kleinberg comments in TRN Magazine

»	Lillian Lee and Bo Pang in Technology Research News

»	Jon Kleinberg gives distinguished lecture at MIT

»	CS Professor Fred B. Schneider on cyber terrorism panel

»	Cornell President profiles CIS in University Address

»	Carla Gomes and Bart Selman receive Distinguished Paper Award

»	Carla Gomes quoted in Chicago Tribune

»	Cynthia Dwork to speak at CS Lecture Series

»	CS MEng student wins Fulbright

»	Rich Caruana and Mirek Riedewald receive NSF ITR grant

»	NSF awards Petabyte Storage Devices research

»	Collaborative learning computer lab opens

»	Fred B. Schneider's editorial featured in Security and Privacy

»	Theory Center Welcomes New Associate Director

»	Paul Francis to sit on IPv6 panel

»	Steve Marschner fields Ask a Scientist question

»	Ron Elber is Co-Director of Bridging the Rift Foundation

»	Regina Barzilay and Lillian Lee win best paper at HLT-NAACL 04

»	Charles Van Loan reappointed CS Chair

»	Daisy Fan wins Cornell's CSE Achievement Award

»	Johannes Gehrke wins Provost Award for Distinguished Scholarship

»	Carl Lagoze wins Kilgour Award

»	CS professors speak at AAAS annual meeting

»	CS researchers recently awarded contracts

»	Students place first in Intel contest

»	Ranveer Chandra receives Microsoft Fellowship

»	Gries "Ask a Scientist" article

»	BOOM 2004 a great success

»	Steve Marschner on the cover of the Ithaca Times

»	John Hopcroft wins IBM professorship

»	Tardos invited speaker at AMSMAA

»	Marschner honored with Academy Award

»	Game design inititiative showcased

»	Lillian Lee and Regina Barzilay's research featured in NYTimes

»	CS Students win ACM Programming Contest

»	Two CS professors receive NSF Early Career Awards

»	Cutting-edge research in network programming

»	Geographically-distributed simulation success

»	Omar Khan is awarded CRA national research award

»	Gehrke Wins Sloan

»	Perspectives in Computer Science

»	Perspectives on Women in Computer Science

»	Schneider is named chief scientist

»	Pingali is Theory Center associate director

»	New CS faculty member

»	Ginsparg name MacAruthur fellow

»	Changes will simplify structure in CIS

»	Cornell joins forces with Dell, Intel and Microsoft

»	HCI Group tests systems

»	Bailey wins Carpenter Award

»	Wagstaff and Yotov participate in research symposium

»	Yona receives federal grant

»	2 new recipients of Sloan Awards

Boom

»	2 in CS receive CAREER awards

»	CS professor appointed to ACM committee

»	Student awarded CRA Award

»	Vetsikas finishes 3rd

»	CIS receives endowment

»	Hopcroft receives accolades

»	Symposium to honor Dean Hopcroft

»	Hartmanis announces retirement

»	Halpern awarded Guggenheim

»	Tardos named to AAAS

»	Symposium to Celebrate Hartmanis

»	Vinocur winner of Goldwater scholarship

»	Halpern wins a Guggenheim and Fulbright

»	Students show fruits of research

»	Plant's genomic origin aids future genetic mapping

»	Gene maps speed up genome comparisions

»	System for an online library for science education

»	New Scientists

»	New Faculty - Yona

»	HeinOnline

»	CU leads project on adaptive software

»	6 degrees of separation

»	Cancer cell growth and vegetables

»	Selman made fellow of AAAI

»	Changes of Mathematical State - Selman

»	Latin Squares - Gomes

»	CTC New Windows Cluster

Boom

»	HPC Cluster

»	Hartmanis Wins CRA

»	CTC nominated for Smithsonian

»	Angus wins WiSE Scholarship

Boom 00

CS Home » News

Dexter Kozen invited speaker at commemorative conference

Dexter Kozen is an invited speaker at "Logical Methods in Exact and Social Sciences", a conference to commemorate the 70th birthday of Professor Rohit Parikh. He will be speaking about "Parikh's Theorem in Commutative Kleene Algebra".

http://nylogic.org/Colloquium/ParikhFest

[ About Us · Contact Us · Feedback · Site Map ]