http://wwwcontent.cs.ucr.edu CSE@UCR News, aggregated, for your aggregator! Up to date all the time! en-us Sun, 22 Nov 2009 13:39:39 -0800 (c)2009 Department of Computer Science and Engineering, UC Riverside, Regents UC. http://cyber.law.harvard.edu/rss/rss.html 1440 http://wwwcontent.cs.ucr.edu/images/rss_bplogo.gif http://wwwcontent.cs.ucr.edu Colloquim Eugene Myers, HMMI : Monday, March 8, 2010, 11:10 am to 12:00 pm, Engineering Building 2 138 : TBA... Mon, 08 Mar 2010 11:10:00 -0800 http://wwwcontent.cs.ucr.edu/department/eventlookup/324 http://wwwcontent.cs.ucr.edu/department/eventlookup/324 Colloquim Prabhakar Raghavan, Yahoo! Labs : Friday, March 5, 2010, 11:10 am to 12:00 pm, Engineering Building II 205/206 : TBA... Fri, 05 Mar 2010 11:10:00 -0800 http://wwwcontent.cs.ucr.edu/department/eventlookup/323 http://wwwcontent.cs.ucr.edu/department/eventlookup/323 Colloquim Barbara Liskov, MIT : Monday, February 22, 2010, 11:10 am to 12:00 pm, Engineering Building 2 138 : TBA... Mon, 22 Feb 2010 11:10:00 -0800 http://wwwcontent.cs.ucr.edu/department/eventlookup/322 http://wwwcontent.cs.ucr.edu/department/eventlookup/322 Colloquim Max Welling, UC Irvine : Monday, February 1, 2010, 11:10 am to 12:00 pm, Engineering Building 2 138 : TBA... Mon, 01 Feb 2010 11:10:00 -0800 http://wwwcontent.cs.ucr.edu/department/eventlookup/321 http://wwwcontent.cs.ucr.edu/department/eventlookup/321 Colloquim Deborah Estrin, UCLA : Monday, January 25, 2010, 11:10 am to 12:00 pm, Engineering Building 2 138 : TBA... Mon, 25 Jan 2010 11:10:00 -0800 http://wwwcontent.cs.ucr.edu/department/eventlookup/320 http://wwwcontent.cs.ucr.edu/department/eventlookup/320 Colloquim Andrew Smith, University of Southern California : Monday, January 11, 2010, 11:10 am to 12:00 pm, Engineering Building 2 138 : TBA... Mon, 11 Jan 2010 11:10:00 -0800 http://wwwcontent.cs.ucr.edu/department/eventlookup/319 http://wwwcontent.cs.ucr.edu/department/eventlookup/319 Colloquim Brian Geiger and Luis Baquera, UC Riverside : Monday, January 4, 2010, 11:10 am to 12:00 pm, Engineering Building 2 138 : TBA... Mon, 04 Jan 2010 11:10:00 -0800 http://wwwcontent.cs.ucr.edu/department/eventlookup/318 http://wwwcontent.cs.ucr.edu/department/eventlookup/318 Colloquim Moshe Y. Vardi, Rice University : Monday, November 30, 2009, 11:10 am to 12:00 pm, Engineering Building 2 138 : In automated verification one uses algorithmic techniques to establish the correctness of the design with respect to a given property. Automated verification is based on a small number of key algorithmic ideas, tying together graph theory, automata t... Mon, 30 Nov 2009 11:10:00 -0800 http://wwwcontent.cs.ucr.edu/department/eventlookup/317 http://wwwcontent.cs.ucr.edu/department/eventlookup/317 Colloquim Ranjit Jhala, Assistant Professor, UCSD CS&E : Monday, November 23, 2009, 11:10 am to 12:00 pm, Engineering Building 2 138 : Software is everywhere, and yet, extremely unreliable. We believe that the path to reliability lies through the design of (cost-effective) means whereby: (a) Developers can formally specify the essential properties of their code, and, (b) Machines... Mon, 23 Nov 2009 11:10:00 -0800 http://wwwcontent.cs.ucr.edu/department/eventlookup/316 http://wwwcontent.cs.ucr.edu/department/eventlookup/316 Colloquim Jason Stajich, Assistant Professor, Plant Pathology & Microbiology UCR : Monday, November 16, 2009, 11:10 am to 12:00 pm, Engineering Building 2 138 : The explosion of high throughput biological data generation has made information management, data analysis of large data sets, and development of new computational techniques a major component of biological research. With the ability to sequence bill... Mon, 16 Nov 2009 11:10:00 -0800 http://wwwcontent.cs.ucr.edu/department/eventlookup/315 http://wwwcontent.cs.ucr.edu/department/eventlookup/315 Colloquim Rajesh Gupta, QUALCOMM Professor, UCSD : Monday, November 9, 2009, 11:10 am to 12:00 pm, Engineering Building 2 138 : We consider the problem of controlling motion of a ‘data mule’ in a sensor field to minimize travel time and improve latency of data delivery from the sensor nodes. A data mule is a useful abstraction in modeling a number of problems in embedded ... Mon, 09 Nov 2009 11:10:00 -0800 http://wwwcontent.cs.ucr.edu/department/eventlookup/314 http://wwwcontent.cs.ucr.edu/department/eventlookup/314 Colloquim Iulian Neamtiu, Assistant Professor, CS&E UCR : Monday, November 2, 2009, 11:10 am to 12:00 pm, Engineering Building 2 138 : Software continues to evolve long after the first version has shipped. Numerous estimates indicate that the costs associated with software maintenance and evolutions are at least 50%, and sometimes more than 90% of total costs associated with a softw... Mon, 02 Nov 2009 11:10:00 -0800 http://wwwcontent.cs.ucr.edu/department/eventlookup/313 http://wwwcontent.cs.ucr.edu/department/eventlookup/313 Colloquim Janette De La Rosa Ducut, Training Manager, EH&S UCR : Monday, October 26, 2009, 11:10 am to 12:00 pm, Engineering Building 2 138 : Topics include: EH&S Safety Program, Importance of safety, ISEM, Hazard communication, Responsibilities of employees/employer, Earthquake Safety, Injury Prevention, Emergency procedures, Fire & life safety, and hands-on use of a fire extinguisher... Mon, 26 Oct 2009 11:10:00 -0700 http://wwwcontent.cs.ucr.edu/department/eventlookup/312 http://wwwcontent.cs.ucr.edu/department/eventlookup/312 Colloquim Philip Brisk, Assistant Professor, CS&E UCR : Monday, October 19, 2009, 11:10 am to 12:00 pm, Engineering Building 2 138 : Embedded system vendors are increasingly turning toward extensible processors to reduce the cost of designing and verifying their systems. Designers augment these processors with application-specific custom instruction set extensions. Recent research... Mon, 19 Oct 2009 11:10:00 -0700 http://wwwcontent.cs.ucr.edu/department/eventlookup/311 http://wwwcontent.cs.ucr.edu/department/eventlookup/311 Colloquim Eamonn Keogh, Professor, CS&E UCR : Monday, October 12, 2009, 11:10 am to 12:00 pm, Engineering Building 2 138 : While most computer science conferences have traditionally enjoyed a high quality of reviewing, there is no doubt that publishing in high quality conferences is very challenging. This is especially true for young faculty, grad students and people fro... Mon, 12 Oct 2009 11:10:00 -0700 http://wwwcontent.cs.ucr.edu/department/eventlookup/310 http://wwwcontent.cs.ucr.edu/department/eventlookup/310