19 July 2010
Edinburgh, Scotland
* _________ _______ _______ _______ _ _______ _______ * * \__ __/( ____ \ ____ \ ___ ) \ ( ___ ) ____ \ * * ) ( | ( \/ ( \/ ( ) | ( | ( ) | ( \/ * * | | | (__ | | | | | | | | | | | | * * | | | __) | | | | | | | | | | | | ____ * * | | | ( | | | | | | | | | | | | \_ ) * * ___) (___| ) | (____/\ (___) | (____/\ (___) | (___) | * * \_______/|/ (_______/_______)_______/_______)_______) * * * 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