Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

FLoC'96: Second Call for Participation

1 view
Skip to first unread message

Doug Howe

unread,
Jun 14, 1996, 3:00:00 AM6/14/96
to

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:

cad...@cisr.anu.edu.au
ca...@research.att.com
lic...@cs.cmu.edu
rt...@mpi-sb.mpg.de

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

0 new messages