Skip to Content.
Sympa Menu

coq-club - [Coq-Club] IFCoLog Meeting at FLOC, April 19th, 12.45pm

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] IFCoLog Meeting at FLOC, April 19th, 12.45pm


chronological Thread 
  • From: Michael Gabbay <michael.gabbay AT kcl.ac.uk>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] IFCoLog Meeting at FLOC, April 19th, 12.45pm
  • Date: Sat, 10 Jul 2010 10:50:29 +0100

*  _________ _______ _______ _______ _       _______ _______   *
* \__ __/( ____ \ ____ \ ___ ) \ ( ___ ) ____ \ *
* ) ( | ( \/ ( \/ ( ) | ( | ( ) | ( \/ *
* | | | (__ | | | | | | | | | | | | *
* | | | __) | | | | | | | | | | | | ____ *
* | | | ( | | | | | | | | | | | | \_ ) *
* ___) (___| ) | (____/\ (___) | (____/\ (___) | (___) | *
* \_______/|/ (_______/_______)_______/_______)_______) *
* *

INTERNATIONAL FEDERATION OF COMPUTATIONAL LOGIC

www.ifcolog.net



****************************************************************

**        IFCoLog Meeting at FLOC, April 19th, 12.45pm        **

****************************************************************



The International Federation of Computational Logic, in association
with College Publications, invites you to a meeting to discuss the
current and future involvement of IFColog with all communities of
logic in theoretical computer science.

Topics of interest are:

- IFCoLog past, present and future
- The current state of theoretical computer science
- New models of publishing
- Crises in funding
- General direction of IFCoLog
- Election/re-election of officers and board members
- IFCoLog services (publishing, sponsoring, conference insurance,
 banking... )


The meeting will take place from 12.45pm to 1 .45pm on July 19th at:

Seminar Room 1
Chrystal Macmillan Building
George Square
Edinburgh

Light refreshments provided.
-- 
Dr Michael Gabbay
Department of Philosophy
Kings College London
WC2R 2LS
+44 (0)20 7848 2067



Archive powered by MhonArc 2.6.16.

Top of Page