From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p7EMSgVT008841 for ; Mon, 15 Aug 2011 00:28:42 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvYBAM5LSE6LEwExe2dsb2JhbABBmHKPCBQBARYmBSCBQiIVAQ0BASYSFIFNh2OlJwGMdwWGR5MWkHc X-IronPort-AV: E=Sophos;i="4.67,371,1309730400"; d="scan'208";a="115837687" Received: from hera.mpi-sb.mpg.de ([139.19.1.49]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 15 Aug 2011 00:28:36 +0200 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=mpi-sb.mpg.de; s=mail200803; h=Message-ID:Date:Subject:From:To: Reply-To:MIME-Version:Content-Type:Content-Transfer-Encoding; bh=rrEoaksk5chuSKxYzfL6+oRhG2qvRF8Hvd+X89PFGMc=; b=dNbmJIaLUo8LC oD7+k3dx5NRVVyQ/ShDeHHvIc14ezytLOlB18axPFCJMTBVQ1pE79PC4za5SDjO4 yNiKgN9RGF4m1hfeovXBf2I3TaKmIIqqD32itm7K7lkoH2Na/RyCcmD/crh7sQqA chNKYl38AjpslpESMsJpHOAwNkAqEA= Received: from maniac.mpi-klsb.mpg.de ([139.19.1.26]:53673) by hera.mpi-sb.mpg.de (envelope-from ) with esmtp (Exim 4.69) id 1Qsj9X-0002Cz-8x; Mon, 15 Aug 2011 00:27:34 +0200 Received: from local by maniac.mpi-klsb.mpg.de (envelope-from ) with local (Exim 4.69) id 1Qsj9W-00088a-VL; Mon, 15 Aug 2011 00:27:31 +0200 Received: from 91.35.196.106 (SquirrelMail authenticated user sofronie) by mail.mpi-inf.mpg.de with HTTP; Mon, 15 Aug 2011 00:27:30 +0200 (CEST) Message-ID: <4c0d026eba47e5d2c2a7f5e8be9cf518.squirrel@mail.mpi-inf.mpg.de> Date: Mon, 15 Aug 2011 00:27:30 +0200 (CEST) From: "Viorica Sofronie-Stokkermans" To: sofronie@mpi-inf.mpg.de Reply-To: sofronie@mpi-inf.mpg.de User-Agent: SquirrelMail/1.4.15 MIME-Version: 1.0 Content-Type: text/plain;charset=iso-8859-15 Content-Transfer-Encoding: 8bit X-Priority: 3 (Normal) Importance: Normal X-Validation-by: sofronie@mpi-inf.mpg.de Subject: [Caml-list] FroCoS 2011: Call for Participation ================================================================== CALL FOR PARTICIPATION FroCoS'11 8th International Symposium on FRONTIERS OF COMBINING SYSTEMS Saarbruecken, Germany, October 5-7, 2011 http://www.mpi-inf.mpg.de/conferences/frocos2011/ ==================================================================== GENERAL INFORMATION ------------------- FroCoS offers a common forum for the presentation and discussion of research in the general area of combination, modularization and integration of systems, with emphasis on logic-based systems and their applications. This research touches many areas of computer science such as computational logic, program development and verification, artificial intelligence, automated reasoning, constraint solving, declarative programming, and symbolic computation. REGISTRATION & ACCOMODATION --------------------------- Registration, accomodation, and travel information for FroCoS'11 can be found on the FroCoS'11 web pages http://www.mpi-inf.mpg.de/conferences/frocos2011/ DEADLINES: Early registration: until 25.08.2011 Regular registration: from 26.08.2011 until 25.09.2011 Late registration: from 26.09.2011 SCIENTIFIC PROGRAM * Presentation of 3 invited talks * Presentation of 1 invited tutorial * Presentation of 15 regular research papers INVITED SPEAKERS * Alessandro Artale, Free University of Bozen-Bolzano * Martin Lange, University of Kassel * Tobias Nipkow, Technical University München TUTORIAL * André Platzer, Carnegie Mellon University PROGRAM -------- The program is available at: http://www.mpi-inf.mpg.de/conferences/frocos2011/frocos11-program.html =====================================================================