Newsgroups: comp.ai
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!newsfeed.pitt.edu!godot.cc.duq.edu!newsgate.duke.edu!news.mathworks.com!newsfeed.internetmci.com!in1.uu.net!allegra!alice!usenet
From: howe@bell-labs.com (Doug Howe)
Subject: FLoC'96: Second Call for Participation
X-Nntp-Posting-Host: bolete.research.att.com
Message-ID: <HOWE.96Jun4234227@bolete.bell-labs.com>
Lines: 57
Sender: usenet@research.att.com (netnews <9149-80593> 0112740)
Reply-To: lics-request@research.att.com
Organization: Bell Labs, Lucent Technologies
Date: Wed, 5 Jun 1996 03:42:27 GMT






                   1996 FEDERATED LOGIC CONFERENCE
                                   
                               FLoC'96

    July 27 - August 3, 1996, Rutgers University, New Jersey, USA
                                   


   CADE: 13th International Conference on        July 30 - August 3
         Automated Deduction 

   CAV:  8th International Conference on         July 31 - August 3
         Computer-Aided Verification 

   LICS: 11th Annual IEEE Symposium on           July 27 - July 30
         Logic in Computer Science 

   RTA:  7th International Conference on         July 27 - July 30
         Rewriting Techniques and Applications 



     +---------------------------------------------------------+
     |                                                         |
     |                       *DEADLINES*                       |
     |                                                         |
     | Early Registration                          21 Jun 1996 |
     | On-Campus Housing Reservation               21 Jun 1996 |
     | Hotel Reservation                           28 Jun 1996 |
     |                                                         |
     +---------------------------------------------------------+



TRAVEL UPDATE.  There is a shuttle service between Newark Airport and
  the Rutgers campus.  See the FLoC web page (URL below) for details.


FURTHER INFORMATION.  For programs and registration information:

                http://www.research.att.com/lics/floc/
                 ftp://ftp.research.att.com/dist/floc/

  For e-mail enquiries about the participating meetings:

                        cade13@cisr.anu.edu.au
                         cav96@research.att.com
                        lics96@cs.cmu.edu 
                         rta96@mpi-sb.mpg.de

  For other enquiries about FLoC: lics-request@research.att.com.
-- 
