From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10335 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Carsten Fuhs Newsgroups: gmane.comp.science.types.announce,gmane.science.mathematics.logic.isabelle.user,gmane.science.mathematics.prooftheory,gmane.science.mathematics.logic.coq.club,gmane.comp.lang.caml.inria,gmane.science.mathematics.categories,gmane.comp.lang.agda Subject: FSCD 2021: Third Call for Workshop Proposals - Extended Deadline: 20 Dec 2020 Date: Wed, 9 Dec 2020 13:48:09 +0000 Message-ID: <35548689-6a9b-a5bb-4bdb-8d9d8aaeeee5@dcs.bbk.ac.uk> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" Content-Transfer-Encoding: 7bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="16079"; mail-complaints-to="usenet@ciao.gmane.io" User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.10.0 To: fscd.conference-jq0g4JEvpvo6wxdSyHUFeA@public.gmane.org, cl-isabelle-users-33AaDErTWvBK/gkPnarB6Q@public.gmane.org, types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org, rewriting-vYW+cPY1g1pWj0EZb7rXcA@public.gmane.org, ProofTheory-0VDFhBbLC1Y8tAQEoGlWAQ@public.gmane.org, appsem-YE1jQ5a0g27r6u3/gjwTbCOeiWZ7kpuZ@public.gmane.org, coq-club-MZpvjPyXg2s@public.gmane.org, caml-list-MZpvjPyXg2s@public.gmane.org, termtools-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR@public.gmane.org, cade-YidNj35/HaM@public.gmane.org, categories-59hdLBrVOVU@public.gmane.org, finite-model-theory-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR@public.gmane.org, lfcs-interest-9iOJEv++55WFxr2TtlUqVg@public.gmane.org, linear-UfE5FQABeHN2Qaki92YDXw@public.gmane.org, GAMES-JyGdfDITRCtaq5fyzuukUWfrygkm6VTR@public.gmane.org, eutypes-Mttm5w9jbbk@public.gmane.org, theorem-provers-iSp611qFfoI3uPMLIKxrzw@public.gmane.org, theory-logic-ddtmkgJwdYjltQq4i4S/Dg@public.gmane.org, agda-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org, asl-zka7wQWIdxI3uPMLIKxrzw@public.gmane.org, las-lics-Xt5XgHjqiBV35pIdRWVIsoQuADTiUCJX@public.gmane.org, types-TrQ0NnR75azkdzWRgU60H7NAH6kLmebB@public.gmane.org, logic-o02PS0xoJP/q4qjOmvqfQQ@public.gmane.org, aprove-PtDS9wHES7A8vWmFdQpgNlqrl/LO66RRZ+vKCSbpVNE@public.gmane.org, ttt2-jNDFPZUTrfRY5qFAr/dPtttNOq5v9fdn@public.gmane.org, pplv-kecf2yCh/1qFxr2TtlUqVg@public.gmane.org, nvti-list-rh8NL+sEX9E@public.gmane.org, clap-mZqXLFNjc/wBFtycHlIdikZa+K1vlBrA@public.gmane.org, pvs-announce-1VPwtPCARB1BDgjK7y7TUQ@public.gmane.org, relmics-l-xc3H/SjimlosA/PxXw9srA@public.gmane.org Original-X-From: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Wed Dec 09 15:12:20 2020 Return-path: Envelope-to: gcst-types-announce@m.gmane-mx.org Original-Received: from mx0a-000c2a01.pphosted.com ([148.163.151.92]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1kn0CZ-0003xe-NL for gcst-types-announce@m.gmane-mx.org; Wed, 09 Dec 2020 15:12:20 +0100 Original-Received: from pps.filterd (m0128479.ppops.net [127.0.0.1]) by mx0a-000c2a01.pphosted.com (8.16.0.43/8.16.0.43) with SMTP id 0B9EBUtD011806; Wed, 9 Dec 2020 09:11:35 -0500 Original-Received: from leopard.seas.upenn.edu (leopard.seas.upenn.edu [158.130.64.245]) by mx0a-000c2a01.pphosted.com with ESMTP id 35amwn85pq-1; Wed, 09 Dec 2020 09:11:35 -0500 Original-Received: from RHIZOME.seas.upenn.edu (RHIZOME.SEAS.UPENN.EDU [158.130.69.24]) by leopard.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 0B9EBRlh110497; Wed, 9 Dec 2020 09:11:27 -0500 Original-Received: from RHIZOME.SEAS.UPENN.EDU (localhost.upenn.edu [127.0.0.1]) by RHIZOME.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 0B9EBQjR012624; Wed, 9 Dec 2020 09:11:27 -0500 X-Mailman-Handler: $Id: mm-handler,v 1.2 2002/04/05 19:41:09 bwarsaw Exp $ Original-Received: from mx0b-00390e01.pphosted.com (mx0b-00390e01.pphosted.com [148.163.137.158]) by RHIZOME.seas.upenn.edu (8.15.2/8.15.2) with ESMTP id 0B9DnKPw011025 for ; Wed, 9 Dec 2020 08:49:20 -0500 Original-Received: from pps.filterd (m0172793.ppops.net [127.0.0.1]) by mx0b-00390e01.pphosted.com (8.16.0.42/8.16.0.42) with SMTP id 0B9DdlhW001664 for ; Wed, 9 Dec 2020 08:49:20 -0500 Original-Received: from mailer2.dcs.bbk.ac.uk (mailer2.dcs.bbk.ac.uk [193.61.29.4]) by mx0b-00390e01.pphosted.com with ESMTP id 358rqswm22-1 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT) for ; Wed, 09 Dec 2020 08:49:19 -0500 Original-Received: from [192.168.10.134] (193-28-39-130.customers.pinemedia.net [193.28.39.130] (may be forged)) (authenticated bits=0) by mailer2.dcs.bbk.ac.uk (8.15.2+Sun/8.15.2) with ESMTPSA id 0B9Dm9CO005426 (version=TLSv1.2 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Wed, 9 Dec 2020 13:48:10 GMT Autocrypt: addr=carsten-vdkkCC4CxPk2EctHIo1CcQ@public.gmane.org; prefer-encrypt=mutual; keydata= mQINBFTeqy4BEACc/1FhOOiFUxdM+9U3hiSEq3y/pSlhPfaYy8UstUrZHNr9Tayidg1BVQIz nBz8N+u/pqXIykDFXc72e6PU3769eVQiUJZWJOspv7Vc51GrdbQ7p8aXL32vF33EkIdEWXa3 9szXDDXnRBE5RMp2zouRfgwoGbNIsSHkht/Y8ukURg5yT7kxLGZhIp9kXK0Xy368W141egVs IblN4SfeNA73r97B1VbqXq8vWa/hv9KMTXWWM/Gd9otrC2wSeLnp8Vl8YuSCYdee/PVtMjcB HcDTS+P+c36WuxC19LSkxPr0IezU8DUCZAp3152SAW/ZPyWnVo1aMnRxPNXC+n6+fIv/nJjE 50reUzkTMdvbKGeKdkaIMboWGoPqe/3aLPCFqU+MhDmSSryDar8pFn1LehA2ZZGHSsT10gRJ lw0omV3S+CFLTtjwguqoVKSDKc5E12MFgcLqL28W1ankAU2NVCc0ZDlccVhPW9pkxth4RMZr qOlD+9aC2COqMF9glF38s2DFQLiCSdp9CBQ4GDv1EaqyqJaLpI45ciBFZrgp23c1h6Kc+RWR 0qCZuCLU7H/ynDnguE4foKacsLRqJ0W4cmfURmCAF3CrHNHWQLmQgGHdaJdB64AAIkeloO7q OJT9zHtQQGXxvGiyjmbCmT7EgsMugLZY/61QDuckGuauzBMmGQARAQABtB9DYXJzdGVuIEZ1 aHMgPGMuZnVoc0B1Y2wuYWMudWs+iQI7BBMBAgAlAhsjBgsJCAcDAgYVCAIJCgsEFgIDAQIe AQIXgAUCVN8pow Content-Language: en-GB X-Scanned-By: MIMEDefang 2.84 on 193.61.29.4 X-Language-Detected: English X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.343, 18.0.737 definitions=2020-12-09_11:2020-12-09, 2020-12-09 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 mlxscore=0 malwarescore=0 adultscore=0 lowpriorityscore=0 spamscore=0 phishscore=0 clxscore=197 mlxlogscore=999 impostorscore=0 bulkscore=0 suspectscore=0 priorityscore=0 classifier=spam adjust=-10 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2012090097 X-Mailman-Approved-At: Wed, 09 Dec 2020 09:11:25 -0500 X-BeenThere: types-announce-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org X-Mailman-Version: 2.1.34 Precedence: list List-Id: Announcements of interest to the TYPES community List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: types-announce-bounces-0AtTguNXcGkudfPDI7pAfjevRRvlBcP1@public.gmane.org Original-Sender: "Types-announce" X-Proofpoint-Virus-Version: vendor=fsecure engine=2.50.10434:6.0.343,18.0.737 definitions=2020-12-09_13:2020-12-09,2020-12-09 signatures=0 X-Proofpoint-Spam-Details: rule=outbound_notspam policy=outbound score=0 bulkscore=0 mlxlogscore=999 priorityscore=1501 mlxscore=0 phishscore=0 clxscore=1034 lowpriorityscore=0 spamscore=0 suspectscore=0 impostorscore=0 malwarescore=0 adultscore=0 classifier=spam adjust=0 reason=mlx scancount=1 engine=8.12.0-2009150000 definitions=main-2012090101 Xref: news.gmane.io gmane.comp.science.types.announce:9340 gmane.science.mathematics.logic.isabelle.user:17934 gmane.science.mathematics.prooftheory:1643 gmane.science.mathematics.logic.coq.club:23020 gmane.comp.lang.caml.inria:69252 gmane.science.mathematics.categories:10335 gmane.comp.lang.agda:12377 Archived-At: [ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] -------------------------------------------------------------- Call for Workshop Proposals FSCD 2021 - Extension 20th December 2020 - https://fscd2021.dc.uba.ar Buenos Aires, Argentina Main Conference: 19-22 July 2021 Workshops: 17-18 and 23-24 July 2021 -------------------------------------------------------------- FSCD 2021 will be the sixth edition of the International Conference on Formal Structures for Computation and Deduction. Due to the Covid 19 pandemic situation, the 2021 edition of FSCD and its satellite workshops will be held online. We invite proposals for workshops, tutorials or other satellite events, on any topic related to formal structures in computation, deduction and automated reasoning, from theoretical foundations to tools and applications. Satellite events will take place online on the 17-18 and 23-24 July, before and after the main conference (19-22 July). It is expected that satellite events would run for 1 or 2 days, and be open to participants of parallel events. PROPOSALS -------------------- Proposals must be limited to three pages and should be submitted via EasyChair https://easychair.org/conferences/?conf=fscd2021 (Workshops track) Each proposal should consist of the following two parts. 1) A description part including: - a short scientific justification of the proposed topic, Its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant); - a brief description (up to 120 words) of the event for the website and publicity material. 2) An organisational part including: - contact information for the workshop organisers; - name of the organiser in the role of FSCD Workshops Scheduling Committee member (*); - estimate of the number of workshop participants; - proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.) - potential invited speakers; - procedures for selecting papers and participants; - tentative schedule for paper submission and notification of acceptance; - plans for dissemination, if any (e.g. a journal special issue); - duration (which may vary from one day to two days); - preferred period (pre, or post main conference); - any other special requirements. (*) The FSCD Workshops Scheduling Committee will include one of the organisers of each accepted workshop and have the role to concoct a scientifically coherent program of all workshops mitigating superpositions of connected talks. This organisational effort will require that each workshop finalise their selection of talks and invited speakers within a common pertinent deadline to be defined so that possible overlaps can be minimised. Please, consider this when preparing the tentative schedule of your workshop proposal. The Organising Committee of FSCD will determine the final list of accepted workshops based on the recommendations from the Workshop Chairs and availability of space and facilities. The organisers of satellite events are expected to create and maintain a website for the event; handle paper selection, reviewing and acceptance; draw up a tentative programme of talks; advertise their event though specialist mailing lists; prepare the informal pre-proceedings (if applicable) in a timely fashion; and arrange any post-proceedings. Some amount of financial support may be offered to workshops, depending on the number of participants. The FSCD Organising Committee will handle promotion of the event on the main conference website; integration of the event's programme into the overall timetable; registration of participants; arrangement of an appropriate virtual meeting room and technical support will be provided by the FSCD organising committee. IMPORTANT DATES -------------------- Submission of workshop proposals: 20 December, 2020 - Extended - Notification of success of proposals: 30 December, 2020 -------------------- Best regards, Carlos Lopez Pombo, Mauricio Ayala-Rincon FSCD 2021 Workshop Chairs