Article View: cu.cs.ugrads
Article #118CS ColloquiumColloquium Reminder for Kupferman on 8/3/01
From: jane obrecht
Date: Fri, 03 Aug 2001 15:12
Date: Fri, 03 Aug 2001 15:12
32 lines
2725 bytes
2725 bytes
University of Colorado at Boulder Department of Computer Science ECOT 717 Engineering Center Campus Box 430 Boulder, Colorado 803090430 (303) 4927514, FAX: (303) 4922844 CS COLLOQUIUM Coverage Metrics for Model Checking Orna Kupferman Hebrew University, Israel NOTE: Time, Day & Location Change Friday, August 3, 2001 4:00 5:00 PM Engineering Center Conference Room 831 Refreshments will be served in ECOT 832 Host: Fabio Somenzi, Electrical & Computer Engineering ------------------------------ http://www.cs.colorado.edu/department/events/colloquia/colloquia.html Sign Language Interpreters Available Upon Request. Please contact Jane Obrecht, Department of Computer Science, Engineering ECOT 722, 303-492-6101, at least five days prior to the colloquium. _______________________________________________ cscolloq mailing list cscolloq@cs.colorado.edu http://www.cs.colorado.edu/mailman/listinfo/cscolloq
Technical Details
Message-ID:
<996851373.23688@csnews.cs.colorado.edu>Path:
arc1-ca.pugleaf.net!archiver1.google.com!newsfeed.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!newshub2.rdc1.sfba.home.com!news.home.com!enews.sgi.com!coop.net!cs.colorado.edu!csnews!recnewsShow Full Headers
Complete Article Headers
X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 11534c,d81e8979277241ed,start X-Google-Attributes: gid11534c,public X-Google-ArrivalTime: 2001-08-03 08:09:37 PST Newsgroups: cu.cs.ugrads X-Sender: obrecht@columbine.cs.colorado.edu X-Mailer: QUALCOMM Windows Eudora Pro Version 4.2.2 From: jane obrecht <Jane.Obrecht@colorado.edu> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed Subject: CS ColloquiumColloquium Reminder for Kupferman on 8/3/01 Errors-To: cscolloq-admin@cs.colorado.edu X-BeenThere: cscolloq@cs.colorado.edu X-Mailman-Version: 2.0.5 Precedence: bulk Reply-To: Jane.Obrecht@colorado.edu List-Help: <mailto:cscolloq-request@cs.colorado.edu?subject=help> List-Post: <mailto:cscolloq@cs.colorado.edu> List-Subscribe: <http://www.cs.colorado.edu/mailman/listinfo/cscolloq>, <mailto:cscolloq-request@cs.colorado.edu?subject=subscribe> List-Id: CS Colloquium announcements <cscolloq.cs.colorado.edu> List-Unsubscribe: <http://www.cs.colorado.edu/mailman/listinfo/cscolloq>, <mailto:cscolloq-request@cs.colorado.edu?subject=unsubscribe> List-Archive: <http://www.cs.colorado.edu/pipermail/cscolloq/> Date: 03 Aug 2001 09:12:07 -0600 Message-ID: <996851373.23688@csnews.cs.colorado.edu> Sender: news Distribution: co X-Note1: message-id generated by recnews X-Note2: mail msgid was <4.2.2.20010803091004.015b36a8@columbine.cs.colorado.edu> Originator: daemon@csnews.cs.colorado.edu NNTP-Posting-Host: csnews.cs.colorado.edu X-Trace: 3 Aug 2001 09:09:33 -0700, csnews.cs.colorado.edu Lines: 32 Path: arc1-ca.pugleaf.net!archiver1.google.com!newsfeed.google.com!sn-xit-02!supernews.com!newsfeed.direct.ca!look.ca!newshub2.rdc1.sfba.home.com!news.home.com!enews.sgi.com!coop.net!cs.colorado.edu!csnews!recnews