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 D703F824E4; Thu, 13 Dec 2018 13:29:30 +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=3AXbVHoRLJZiVIELmtBdmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgRLfvxwZ3uMQTl6Ol3ixeRBMOHs6IC07KempujcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgpp?= =?us-ascii?q?POT1HZPZg9iq2+yo9JDffwZFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+?= =?us-ascii?q?RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLd?= =?us-ascii?q?QgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhi?= =?us-ascii?q?cbODE2/m/Zl89+grxcrh+6vRNz34vUbZuVNPZiYK/Qe84RS2pbXsZWUixMGp6y?= =?us-ascii?q?YJEJD+UcJ+ZXtZT2qkcKrRugGwasH/7kxzhThnDs2601zv4hHhvd0QM9A90BrG?= =?us-ascii?q?7YrNvpO6sITOC11LPEzS3fb/5P3zr29YvGcgg5rP2RWb99f9DdxVQhGg7ElFmd?= =?us-ascii?q?p4joMymI2ukMq2SW7PRsWfiyh2Mnqwx9uDyiy8c2hoXXmo4Z11bJ/jhjzokvP9?= =?us-ascii?q?23Ukt7bMakEJROsyGaMJN7QtgnQ2F0oCY20KAJtoKncyQQxpQo2wTTa+Gfc4SS?= =?us-ascii?q?+hLjSP6dITZ+hH17ZLKynwu+/Eyux+HmS8W53ldHojBLn9TIrHwByh3e5tCCSv?= =?us-ascii?q?Rn/0eh3TiP1xrU6uFBOU00jrDUK5g8zb4qjJUeqlnMETPql0nsgq+Zal8o+vWw?= =?us-ascii?q?6+j9erXmuoeQN5VohQHmLqQuhsu/DPwkPQcUWmib/f2w1Lni/U3iXLVHleY2k6?= =?us-ascii?q?ncsJDCP8sXvK+5AwlP0oYi8RmzFTmm0M4Al3kdMF1FYA6Hj5TuO1zWPP/4Cu6/?= =?us-ascii?q?j02wnzdv2vDJJabsAo7NL3jGiLfuZ6xx609ayAopzNBQ/YhYCr8bIKG7Zkikus?= =?us-ascii?q?fTAlkyNAq6zvzqDt5w/o8VUiSBCemEKOXKrQym/OUqdtKFYoMPsX7UL+Yo/La6?= =?us-ascii?q?lnY/lUUUVaWi1t0ZYzalBrJ+PxPKMjLXnt4dHDJS7UIFR+vwhQjaCG8BVzOJR6?= =?us-ascii?q?s5owoDJsejBIbHSJqqheXdjiuwFdtYbSZbEhaUDSWxLtnWa7I3cCuXZ/RZvHkc?= =?us-ascii?q?T7H4F90t3hrougS81qIhNvaGonRF56Km78B84qjorT939TFwCJ3MgXqIU3kykm?= =?us-ascii?q?gDATE9mr1n51RhmA6O?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0C1EgANUBJcfRAniMFjgyVIgRd/FBOaI?= =?us-ascii?q?gGZX4d9GwYBBDQSAQMBAQIBAQEBARMBAQsUCEMVgjYigwhLgWIUAYMMggWYD5A?= =?us-ascii?q?WhUCEcYxTgUA/gREnHgGCHIFxhnWCJgKJPyGFZ5BzVQmCKI9JYHyDCYITgnQQh?= =?us-ascii?q?06DApNDEoRPgXczGggwZQGCQT6BdY4nAT8zjU8BAQ?= X-IPAS-Result: =?us-ascii?q?A0C1EgANUBJcfRAniMFjgyVIgRd/FBOaIgGZX4d9GwYBBDQ?= =?us-ascii?q?SAQMBAQIBAQEBARMBAQsUCEMVgjYigwhLgWIUAYMMggWYD5AWhUCEcYxTgUA/g?= =?us-ascii?q?REnHgGCHIFxhnWCJgKJPyGFZ5BzVQmCKI9JYHyDCYITgnQQh06DApNDEoRPgXc?= =?us-ascii?q?zGggwZQGCQT6BdY4nAT8zjU8BAQ?= X-IronPort-AV: E=Sophos;i="5.56,349,1539640800"; d="scan'208,217";a="360214176" Received: from smtp.dcc.fc.up.pt ([193.136.39.16]) by mail2-smtp-roc.national.inria.fr with ESMTP; 13 Dec 2018 13:29:20 +0100 Received: from [192.168.1.66] (bl6-95-201.dsl.telepac.pt [82.155.95.201]) by smtp.dcc.fc.up.pt (Postfix) with ESMTPSA id EB1E0C2B2C; Thu, 13 Dec 2018 12:29:18 +0000 (WET) From: Sandra Alves Content-Type: multipart/alternative; boundary="Apple-Mail=_9C65A550-4C5C-47FD-850C-0AF989A13891" Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Date: Thu, 13 Dec 2018 12:29:19 +0000 Message-Id: To: fscd.conference@dcc.fc.up.pt X-Mailer: Apple Mail (2.3273) X-Validation-by: smmalves@gmail.com Subject: [Caml-list] FSCD 2021 - CALL FOR LOCATION --Apple-Mail=_9C65A550-4C5C-47FD-850C-0AF989A13891 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=_9C65A550-4C5C-47FD-850C-0AF989A13891 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-l= ocated with IJCAR 2020.

Therefore, for 2021, we particularly encourage proposals outside Euro= pe.

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


Proposals should address the following points:
  • FSCD Conference Chair (complete na= me and current position), host institution, FSCD Local Committee (complete = names and current positions), availability of student-volunteers.
  • National, region= al, and local government and industry support, both organizational and fina= ncial.
  • A= ccessibility to the location (i.e., transportation) and  attractivenes= s of the proposed site. Accessibility can include both information about lo= cal transportation and travel information to the location (flight and/or tr= ain connections), as well as estimated costs.
  • = Appropriateness of the proposed date= s (including consideration of holidays/other events during the period), hot= el prices, and access to dormitory facilities for students.
  • Estimated costs on regi= stration for the conference and workshops, both for regular and student par= ticipants.
  • Conference and exhibit facilities for the anticipated number of registra= nts (typically around 200). For example: number, capacity and audi= ovisual equipment of meeting rooms; a large plenary session room that can h= old all the registrants; enough rooms for parallel sessions/workshops/tutor= ials; 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 loc= al 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=_9C65A550-4C5C-47FD-850C-0AF989A13891--