[Prev][Next][Index][Thread]

FLoC'96: Second Call for Participation




[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]




                   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.