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 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 Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sandra@dcc.fc.up.pt) identity=pra; client-ip=193.136.39.16; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sandra@dcc.fc.up.pt"; x-sender="sandra@dcc.fc.up.pt"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of sandra@dcc.fc.up.pt designates 193.136.39.16 as permitted sender) identity=mailfrom; client-ip=193.136.39.16; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sandra@dcc.fc.up.pt"; x-sender="sandra@dcc.fc.up.pt"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@smtp.dcc.fc.up.pt designates 193.136.39.16 as permitted sender) identity=helo; client-ip=193.136.39.16; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sandra@dcc.fc.up.pt"; x-sender="postmaster@smtp.dcc.fc.up.pt"; x-conformance=sidf_compatible; x-record-type="v=spf1" 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 ***) --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 FS= CD conference comprises the main conference and a considerable number of af= filiated workshops (expectedly, more than ten). We invite proposals for locations to host the 6th FSCD International Confer= ence to be held during the summer of 2021. Previous (and upcoming) FSCD mee= tings 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 po= ssible. Selected proposals are to be presented at the business meeting of F= SCD 2019 taking place at Dortmund in June 2019. The final decision about h= osting and organising of FSCD 2021 will be taken by the SC after an adviso= ry vote of the members of the community in attendance at the business meeti= ng.=20 Proposals should address the following points: FSCD Conference Chair (complete name and current position), host institutio= n, FSCD Local Committee (complete names and current positions), availabilit= y of student-volunteers.=20 National, regional, and local government and industry support, both organiz= ational 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 faci= lities 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 equi= pment of meeting rooms; a large plenary session room that can hold all the = registrants; enough rooms for parallel sessions/workshops/tutorials; intern= et connectivity and workstations for demos/competitions; catering services;= and presence of professional staff. Residence accommodations and food services in a range of price categories a= nd close to the conference venue, for example, number and cost range of hot= els, and availability and cost of dormitory rooms (e.g., at local universit= ies) and kind of services they offer. Other relevant information, which can include information about leisure act= ivities and attractiveness of the location (e.g., cultural and historical a= spects, 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 fo= r Computation and Deduction from theoretical f= oundations to applications.  The annual FSCD conference comprises the = main conference and a considerable number of affiliated workshops (expected= ly, more than ten).

= We invite propos= als 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 201= 8;
FSCD 2019 in Dortmund (Germany);
FSCD 2020 in Paris (France) co= -located with IJCAR 2020.

Therefore, for 2021, we particularly encourage proposals outside Eu= rope.

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


Proposals should address the following points:
  • FSCD Conference Chair (complete = name and current position), host institution, FSCD Local Committee (complet= e names and current positions), availability of student-volunteers. =
    • National, regi= onal, and local government and industry support, both organizational and fi= nancial.
    • Accessibility to the location (i.e., transportation) and  attractiven= ess 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 da= tes (including consideration of holidays/other events during the period), h= otel prices, and access to dormitory facilities for students.
      <= /li>
    • Estimated costs on re= gistration for the conference and workshops, both for regular and student p= articipants.
    • Conference and exhibit facilities for the anticipated number of regist= rants (typically around 200). For example: number, capacity and au= diovisual equipment of meeting rooms; a large plenary session room that can= hold all the registrants; enough rooms for parallel sessions/workshops/tut= orials; internet connectivity and workstations for demos/competitions; catering services; and presence o= f professional staff.
    • Residence accommodations and food services in a range of pric= e categories and close to the conference venue, for example, number and cos= t range of hotels, and availability and cost of dormitory rooms (e.g., at l= ocal universities) and kind of services they offer.
    • Other relevant informat= ion, which can include information about leisure activities and attractiven= ess of the location (e.g., cultural and historical aspects, touristic activ= ities, etc...).

    Contact information:
    D= elia Kesner
    kesner@irif.fr<= /a>
    FSCD SC Chair
    = --Apple-Mail=_5C91B5F7-DFA8-47EA-834B-5FBB6F2905A1--