From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTPS id 9577F5D5 for ; Fri, 15 Feb 2019 14:34:21 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.58,372,1544482800"; d="scan'208,217";a="369594360" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 15 Feb 2019 15:34:09 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 9826282581; Fri, 15 Feb 2019 15:34:09 +0100 (CET) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 9008782581; Fri, 15 Feb 2019 15:33:19 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=sandra@dcc.fc.up.pt; spf=Pass smtp.mailfrom=sandra@dcc.fc.up.pt; spf=Pass smtp.helo=postmaster@smtp.dcc.fc.up.pt IronPort-PHdr: =?us-ascii?q?9a23=3AHdTydBDegE6905iphc6EUyQJP3N1i/DPJgcQr6Af?= =?us-ascii?q?oPdwSPvzr8bcNUDSrc9gkEXOFd2Cra4c26yO6+jJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fcbglUhzexe69+IAmrpgjNq8cahpdvJLwswRXTuHtIfO?= =?us-ascii?q?pWxWJsJV2Nmhv3+9m98p1+/SlOovwt78FPX7n0cKQ+VrxYES8pM3sp683xtBnM?= =?us-ascii?q?VhWA630BWWgLiBVIAgzF7BbnXpfttybxq+Rw1DWGMcDwULs0XDWi77xwSB/pji?= =?us-ascii?q?cHOCMy/n/OhMdtgqJboQyupxhizIXJZI2YOuZycqbbcNgHR2ROQ9xRWjRBDIyg?= =?us-ascii?q?YIQBAfcPM+VfoYTmvVQCsR6+CBOsBO/z1DNFgGL9060g0+QmFAHLxBEuEMgIsH?= =?us-ascii?q?vJttX6LroZXPyxzKnW0zrDdO5d1DDm6IfSdBAuvOuMUqhrfMXM1UYgCxnJjluM?= =?us-ascii?q?poD/IjOVzv4Bs3CH7+d5U++klm0pqxlprzSywsohhJPFip8bx13F7yl0zoI4Kc?= =?us-ascii?q?elREN6edKoDZ9dui+AO4drTM4vQntktDg1x7EcpJK2ciYHxZI6zBDFcfOHaZKH?= =?us-ascii?q?4hf7WeaRPzh4gHVldaqkhxa37Uig0vfwWdSo31lWtCZFnMXDumoQ1xzL8MSHUu?= =?us-ascii?q?d98l+g2TaJyQ/T9vlJLV0wmKfVMZIt37A9m5sJvUnNGiL6glj6ga6OekUh4Oeo?= =?us-ascii?q?6uDnYrv8pp+bMo95khr+Pb4omsOiG+Q3KBMDUHWH9uugzrHj81H2TK9Xjv0uiK?= =?us-ascii?q?XZqIzaKdwBpqGlGw9Vzpoj6xGnAji6ytsYmH0HIEtBeBKGlIjpJ0rDIOv4DPe6?= =?us-ascii?q?m1Sjii1nx/HAPr37A5XCNGLPkLn7fbxl8U5T1BIzzcxD55JTErwOPPXzWlbouN?= =?us-ascii?q?PECh85Lhe7zv38CNR904MeQXiADrWYMKPUq1+I5/ggL/OCZI8P637TMf8gssXn?= =?us-ascii?q?i3MjkBc0ebekxtNDc3m+Eu5vC0mSajziiZEcCSESolxtH6TRlFSeXGsLND6JVK?= =?us-ascii?q?Um62RgUNv3X7eGfZikhfm65An+G5RXYm5cDVXVTSXkfI7CVfxKdTrUOtMzy2VY?= =?us-ascii?q?B4jkcJco0FSVjCG/06Bud7aG9iYT85zoksVtofXPx0lrqG5ESv+F2mTIdFla22?= =?us-ascii?q?MFQzhvjfJkpFBljFuI2u52iLpFDZpL+6EQXw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BxFgB0zGZc/xAniMFkgyVHLmqBABgPm?= =?us-ascii?q?V0BDpo3gTyDYoNHGwYBBDQSAQMBAQIBAQEBAWwogjoMGYJjLEtrTSoUAUaCRQG?= =?us-ascii?q?BdpxakCWFRIRsjFuBQD+BEScME4IcgXGGXR2CJgKKByGGG5IbXAmCPJAzaYEGg?= =?us-ascii?q?yuCKYMIEogdgyeWJRaEWiGBVjMaCDBlAXMKgUQ+gXaOKAE/M5A4AQ?= X-IPAS-Result: =?us-ascii?q?A0BxFgB0zGZc/xAniMFkgyVHLmqBABgPmV0BDpo3gTyDYoN?= =?us-ascii?q?HGwYBBDQSAQMBAQIBAQEBAWwogjoMGYJjLEtrTSoUAUaCRQGBdpxakCWFRIRsj?= =?us-ascii?q?FuBQD+BEScME4IcgXGGXR2CJgKKByGGG5IbXAmCPJAzaYEGgyuCKYMIEogdgye?= =?us-ascii?q?WJRaEWiGBVjMaCDBlAXMKgUQ+gXaOKAE/M5A4AQ?= X-IronPort-AV: E=Sophos;i="5.58,372,1544482800"; d="scan'208,217";a="369594166" Received: from smtp.dcc.fc.up.pt ([193.136.39.16]) by mail2-smtp-roc.national.inria.fr with ESMTP; 15 Feb 2019 15:33:07 +0100 Received: from [172.17.5.11] (gw-eduroam-133.fc.up.pt [193.136.24.133]) by smtp.dcc.fc.up.pt (Postfix) with ESMTPSA id 74FD4C2D84; Fri, 15 Feb 2019 14:33:06 +0000 (WET) From: Sandra Alves Content-Type: multipart/alternative; boundary="Apple-Mail=_5C91B5F7-DFA8-47EA-834B-5FBB6F2905A1" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Date: Fri, 15 Feb 2019 14:33:00 +0000 Message-Id: <822CA184-A7B7-4700-8038-2A444EF92467@dcc.fc.up.pt> X-Mailer: Apple Mail (2.3273) X-Validation-by: sandra@dcc.fc.up.pt Subject: [Caml-list] FSCD 2021 - CALL FOR LOCATION (Deadline *** 31st March 2019 ***) Reply-To: Sandra Alves X-Loop: caml-list@inria.fr X-Sequence: 17348 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: --Apple-Mail=_5C91B5F7-DFA8-47EA-834B-5FBB6F2905A1 Content-Transfer-Encoding: quoted-printable Content-Type: text/plain; charset=us-ascii (Apologies for multiple copies of this announcement. Please circulate.) ---------------=20 Call for Location for FSCD 2021 The FSCD conference covers all aspects of Formal Structures for = Computation and Deduction from theoretical foundations to applications. = The annual FSCD conference comprises the main conference and a = considerable number of affiliated workshops (expectedly, more than ten). We invite proposals for locations to host the 6th FSCD International = Conference to be held during the summer of 2021. Previous (and upcoming) = FSCD meetings include: FSCD 2016 in Porto (Portugal); FSCD 2017 in Oxford (UK) co-located with ICFP 2017; FSCD 2018 in Oxford (UK) as part of FLoC 2018; FSCD 2019 in Dortmund (Germany);=20 FSCD 2020 in Paris (France) co-located with IJCAR 2020. Therefore, for 2021, we particularly encourage proposals outside Europe. The deadline for proposals is *** 31st March 2019 ***. Proposals should = be sent to the FSCD Steering Committee Chair (see contact information = above). We encourage proposers to register their intention informally as = soon as possible. Selected proposals are to be presented at the business = meeting of FSCD 2019 taking place at Dortmund in June 2019. The final = decision about hosting and organising of FSCD 2021 will be taken by the = SC after an advisory vote of the members of the community in attendance = at the business meeting.=20 Proposals should address the following points: FSCD Conference Chair (complete name and current position), host = institution, FSCD Local Committee (complete names and current = positions), availability of student-volunteers.=20 National, regional, and local government and industry support, both = organizational and financial. Accessibility to the location (i.e., transportation) and attractiveness = of the proposed site. Accessibility can include both information about = local transportation and travel information to the location (flight = and/or train connections), as well as estimated costs.=20 Appropriateness of the proposed dates (including consideration of = holidays/other events during the period), hotel prices, and access to = dormitory facilities for students. Estimated costs on registration for the conference and workshops, both = for regular and student participants. Conference and exhibit facilities for the anticipated number of = registrants (typically around 200). For example: number, capacity and = audiovisual equipment of meeting rooms; a large plenary session room = that can hold all the registrants; enough rooms for parallel = sessions/workshops/tutorials; internet connectivity and workstations for = demos/competitions; catering services; and presence of professional = staff. Residence accommodations and food services in a range of price = categories and close to the conference venue, for example, number and = cost range of hotels, and availability and cost of dormitory rooms = (e.g., at local universities) and kind of services they offer. Other relevant information, which can include information about leisure = activities and attractiveness of the location (e.g., cultural and = historical aspects, touristic activities, etc...). =09 Contact information: Delia Kesner kesner@irif.fr FSCD SC Chair= --Apple-Mail=_5C91B5F7-DFA8-47EA-834B-5FBB6F2905A1 Content-Transfer-Encoding: quoted-printable Content-Type: text/html; charset=us-ascii
(Apologies for multiple copies of this = announcement. Please circulate.)
--------------- 
Call for Location for = FSCD 2021

The FSCD conference covers all aspects of Formal Structures for Computation and Deduction from theoretical = foundations to applications.  The annual FSCD conference comprises = the main conference and a considerable number of affiliated workshops = (expectedly, more than ten).

We invite proposals = for locations to host the 6th FSCD International Conference to be held = during the summer of 2021. Previous (and upcoming) FSCD meetings = include:

FSCD 2016 in Porto = (Portugal);
FSCD 2017 in Oxford = (UK) co-located with ICFP 2017;
FSCD 2018 in Oxford (UK) as part of FLoC = 2018;
FSCD 2019 in Dortmund = (Germany);
FSCD 2020 in Paris = (France) co-located with IJCAR 2020.

Therefore, for 2021, = we particularly encourage proposals outside Europe.

The deadline for proposals is *** 31st March = 2019 ***. Proposals should be sent to the FSCD Steering Committee Chair = (see contact information above). We encourage proposers to register = their intention informally as soon as possible. Selected proposals are = to be presented at the business meeting of FSCD 2019 taking place at = Dortmund in June 2019.  The final decision about hosting and = organising of FSCD 2021 will be taken by the SC after an advisory vote = of the members of the community in attendance at the business meeting. =


Proposals should = address the following points:
  • FSCD Conference Chair (complete name and current position), = host institution, FSCD Local Committee (complete names and current = positions), availability of student-volunteers. =
  • National, regional, = and local government and industry support, both organizational and = financial.
  • Accessibility to the location (i.e., transportation) and =  attractiveness of the proposed site. Accessibility can include = both information about local transportation and travel information to = the location (flight and/or train connections), as well as estimated = costs.
  • Appropriateness of the = proposed dates (including consideration of holidays/other events during = the period), hotel prices, and access to dormitory facilities for = students.
  • Estimated costs on = registration for the conference and workshops, both for regular and = student participants.
  • Conference and exhibit facilities for the anticipated number = of registrants (typically around = 200). For example: number, capacity and audiovisual equipment of meeting = rooms; a large plenary session room that can hold all the registrants; = enough rooms for parallel sessions/workshops/tutorials; internet = connectivity and workstations for demos/competitions; = catering services; and presence of professional = staff.
  • Residence = accommodations and food services in a range of price categories and = close to the conference venue, for example, number and cost range of = hotels, and availability and cost of dormitory rooms (e.g., at local = universities) and kind of services they offer.
  • Other relevant = information, which can include information about leisure activities and = attractiveness of the location (e.g., cultural and historical aspects, = touristic activities, etc...).

=

Contact = information:
Delia = Kesner
kesner@irif.fr
FSCD SC Chair
= --Apple-Mail=_5C91B5F7-DFA8-47EA-834B-5FBB6F2905A1--