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 ESMTP id A4D025D4 for ; Wed, 8 Apr 2020 10:17:21 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.72,357,1580770800"; d="scan'208,217";a="444368852" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 08 Apr 2020 12:17:15 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id EC1937F47B; Wed, 8 Apr 2020 12:17:15 +0200 (CEST) Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id B443D7F449 for ; Wed, 8 Apr 2020 12:17:10 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vcla-scholarships-request@list.tuwien.ac.at; spf=None smtp.mailfrom=vcla-scholarships-owner@list.tuwien.ac.at; spf=None smtp.helo=postmaster@list.tuwien.ac.at IronPort-PHdr: =?us-ascii?q?9a23=3AqWE18BGUhLO/qmID0BUMDp1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7/p86wAkXT6L1XgUPTWs2DsrQf1LqQ7viocFdDyKjCmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWE1iMJAhj0KSZy?= =?us-ascii?q?I+30HMaS05X2hNaI1baWJiVEnn+GfKhqIR6q5UWL7ohFybZkMbs7nx7Ao39UfL?= =?us-ascii?q?ZN1GZwLHqXng3goNut459u9WJZsLQo65lbTK/4cq8kGKFeFyksKGsv5cfm+EOb?= =?us-ascii?q?UwCL7z4HWWURlhNSGAjE9AqpYpCk+DXxsuM4wyKaOsn/V6s0WCy5x6NqUwOulD?= =?us-ascii?q?oYNjM/tmjczMVsxuoPvhmlrllkyI7TZIiPL/p/Zrj1edIBWSxdQ9lQWioHC4j6?= =?us-ascii?q?ZpdZXNAMJeJJk46o7WEJvx63A03kIeLvwzJMjzW+iag70+0sFQiAxgsyGtsImG?= =?us-ascii?q?jJs9T4MuEbWqa80P+b4y/EaqYc4zDv7YHONlgEoPGFULZ5O4KFzEgvHg7BhxOK?= =?us-ascii?q?rp7gNjW9yvkSsmWdqeNrE+uz3T104zptqySik59/wrLCgZgYnw6VrHkr8MMOPd?= =?us-ascii?q?S9DXVDT5u8CpIJ5nOeNpBqBN8/XGBlvmAzwfsPpczjJXlY+NEc3xfaLse/Xc2N?= =?us-ascii?q?6xPnWvyWJG4p1nZkY675mwut8EWmjOT3EMCogg4T83h11+LUv3VI7CT9r8iKTv?= =?us-ascii?q?wkrxWl2C2TkRzO9eBJJwY9nuzSN8x5zw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DZLwDIo41eYW4hgoBmDg8BAQEJAREFB?= =?us-ascii?q?QGBewIbDAF7L1UmRlhZCoYohmuFf4Z5AQEBjwOHBANVAQgBAwEKAQEYAQoKAgQ?= =?us-ascii?q?BAYQ/A4ILHAYGNBMCEAEBBQEBAQIBAgMEAQYaFAaGCAELgjsFAgECAgwDFYMGB?= =?us-ascii?q?gEBARopNgMBAQEGAQEBASkZAQQHAwELIw4GEQIEEwWDIoF+fgEDC7IHhQUFMYM?= =?us-ascii?q?aIYFPBoE4jDOBXD6BETaCLIFwgWMBAYE8hhkEi1qCNAaGKoJQgQUciEiQOQMEA?= =?us-ascii?q?4FGd4d1hV6JYh2HI5RlhF2KX4kokwMCBAIJAhQBgTM2WQ2BE4QpUBgNV5BjIIM?= =?us-ascii?q?7ihg9dAIBgSaLZlksLgGBDwEB?= X-IPAS-Result: =?us-ascii?q?A0DZLwDIo41eYW4hgoBmDg8BAQEJAREFBQGBewIbDAF7L1U?= =?us-ascii?q?mRlhZCoYohmuFf4Z5AQEBjwOHBANVAQgBAwEKAQEYAQoKAgQBAYQ/A4ILHAYGN?= =?us-ascii?q?BMCEAEBBQEBAQIBAgMEAQYaFAaGCAELgjsFAgECAgwDFYMGBgEBARopNgMBAQE?= =?us-ascii?q?GAQEBASkZAQQHAwELIw4GEQIEEwWDIoF+fgEDC7IHhQUFMYMaIYFPBoE4jDOBX?= =?us-ascii?q?D6BETaCLIFwgWMBAYE8hhkEi1qCNAaGKoJQgQUciEiQOQMEA4FGd4d1hV6JYh2?= =?us-ascii?q?HI5RlhF2KX4kokwMCBAIJAhQBgTM2WQ2BE4QpUBgNV5BjIIM7ihg9dAIBgSaLZ?= =?us-ascii?q?lksLgGBDwEB?= X-IronPort-AV: E=Sophos;i="5.72,357,1580770800"; d="scan'208,217";a="345346592" X-MGA-submission: =?us-ascii?q?MDEmOlrDJsrTrba4C3auAaoGRTy2yaZTEg6ust?= =?us-ascii?q?uBN0S+xvmDnJwZO5BvrI3PMrlozp/JtSooGLbrO0hJXQga5T0sGlv2Ct?= =?us-ascii?q?Q2sxmLCdCtQdkVOJ8uL7MsuVceet3/TuHXP5fIkRbyLeVCZS9rQFpFEq?= =?us-ascii?q?ogwhEwafZ/iSwtwne5/51m1g=3D=3D?= Received: from list.tuwien.ac.at ([128.130.33.110]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 08 Apr 2020 12:17:09 +0200 Received: from sympa by list.tuwien.ac.at with local (Exim 4.92) (envelope-from ) id 1jM7NB-0004EA-7j; Wed, 08 Apr 2020 11:51:53 +0200 Received: from secgw1.intern.tuwien.ac.at ([2001:629:1005:30::71]) by list.tuwien.ac.at with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1jM7Mc-0004Bk-Qq for vcla-scholarships@list.tuwien.ac.at; Wed, 08 Apr 2020 11:51:18 +0200 Received: from totemomail (localhost [127.0.0.1]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 0389pImq003072 for ; Wed, 8 Apr 2020 11:51:18 +0200 Received: from localhost ([127.0.0.1]) by totemomail (Totemo SMTP Server) with SMTP ID 273 for ; Wed, 8 Apr 2020 11:51:18 +0200 (CEST) Received: from edge13b.intern.tuwien.ac.at (edge13b.intern.tuwien.ac.at [IPv6:2001:629:1005:30::67]) by secgw1.intern.tuwien.ac.at (8.14.7/8.14.7) with ESMTP id 0389pIDc003064 (version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES256-SHA384 bits=256 verify=FAIL) for ; Wed, 8 Apr 2020 11:51:18 +0200 Received: from mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) by edge13b.intern.tuwien.ac.at (2001:629:1005:30::67) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Wed, 8 Apr 2020 11:51:18 +0200 Received: from mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) by mbx13b.intern.tuwien.ac.at (2001:629:1005:30::62) with Microsoft SMTP Server (TLS) id 15.0.1497.2; Wed, 8 Apr 2020 11:51:17 +0200 Received: from mbx13b.intern.tuwien.ac.at ([fe80::f0e9:7c2:196e:5846]) by mbx13b.intern.tuwien.ac.at ([fe80::f0e9:7c2:196e:5846%20]) with mapi id 15.00.1497.006; Wed, 8 Apr 2020 11:51:17 +0200 From: "Rozman, Mihaela" To: "vcla-scholarships@list.tuwien.ac.at" Thread-Topic: Extended Call for Contributions - VIRTUAL 4th Women in Logic Workshop - WiL 2020 - June 30, 2020, virtual Thread-Index: AQHWDYpYPvfJPvs/kUOm9L4zP5XWdqhu+lYh Date: Wed, 8 Apr 2020 09:51:17 +0000 Message-ID: <1586339476468.36558@tuwien.ac.at> References: <1586339201079.2582@tuwien.ac.at> In-Reply-To: <1586339201079.2582@tuwien.ac.at> Accept-Language: en-GB, de-AT, en-US Content-Language: en-GB X-MS-Has-Attach: X-MS-TNEF-Correlator: x-ms-exchange-transport-fromentityheader: Hosted x-originating-ip: [80.110.122.107] Content-Type: multipart/alternative; boundary="_000_158633947646836558tuwienacat_" MIME-Version: 1.0 X-Validation-by: mihaela.rozman@tuwien.ac.at Reply-To: "Rozman, Mihaela" X-Loop: vcla-scholarships@list.tuwien.ac.at Errors-To: vcla-scholarships-owner@list.tuwien.ac.at Sender: vcla-scholarships-request@list.tuwien.ac.at X-no-archive: yes List-Help: List-Subscribe: List-Unsubscribe: List-Post: List-Owner: List-Archive: Archived-At: Subject: [Caml-list] Extended Call for Contributions - VIRTUAL 4th Women in Logic Workshop - WiL 2020 - June 30, 2020, virtual X-Loop: caml-list@inria.fr X-Sequence: 18098 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: --_000_158633947646836558tuwienacat_ Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable EXTENDED CALL FOR CONTRIBUTIONS THE 4TH WOMEN IN LOGIC WORKSHOP - WiL 2020 JUNE 30, 2020, VIRTUAL *The WiL 2020 workshop is co-located with Petr-= Nets 2020, FSCD 2020 and IJCAR 2020, and will take place digitally, due to the Covid-19 pandemic.* ---------------------------------------------------------------------------= ---------- -Contributions should be written in English and can be submitted in the for= m of an abstract (1-2 pages approximately) with a deadline: May 10, 2020. -Abstracts should be prepared using the Easychair style. The submission sho= uld be in the form of a PDF file uploaded to the WiL 2020 Easychair page by= the submission deadline. ---------------------------------------------------------------------------= ---------- Deadline for abstract submissions: May 10, 2020 Notification: June 2, 2020 Workshop: June 30, 2020 ---------------------------------------------------------------------------= ---------- Topics of interest of this workshop include but are not limited to: automata theory, automated deduction, categorical models and logics, concurrency and distributed computation, constraint programming, constructive mathematics, database theory, decision procedures, description logics, domain theory, finite model theory, formal aspects of program analysis, formal methods, foundations of computability, higher-order logic, lambda and combinatory calculi, linear logic, logic in artificial intelligence, logic programming, logical aspects of bioinformatics, logical aspects of computational complexity, logical aspects of quantum computation, logical frameworks, logics of programs, modal and temporal logics, model checking, probabilistic systems, process calculi, programming language semantics, proof theory, real-time systems, reasoning about security and privacy, rewriting, type systems and type theory, and verification. ---------------------------------------------------------------------------= ---------- Organizers: Sandra Alves (Co-chair, University of Porto), Amy Felty (University of Ottawa), Delia Kesner (Universit=E9 de Paris), Sandra Kiefer (Co-chair, RWTH Aachen University), Koko Muroya (RIMS Kyoto University), Daniele Nantes (University of Bras=EDlia), Valeria de Paiva (Samsung Research America), Brigitte Pientka (McGill University), Sonja Smets (ILLC - University of Amsterdam), Ana Sokolova (Co-chair, University of Salzburg). Contact: wil2020@easychair.org ---------------------------------------------------------------------------= ---------- The WiL 2020 is supported by: - the Vienna Center for Logic and Algorithms of TU Wien (VCLA), - ACM SIGLOG, - and the Institute of Logic, Language and Computation of the University of= Amsterdam (ILLC). Due to the virtual nature of the WiL 2020, the ACM SIGLOG/VCLA/ILLC Travel = Awards will be administered in 2021. ---------------------------------------------------------------------------= ---------- For further information see the workshop website: https://sites.google.com/g.uporto.pt/wil2020/home --_000_158633947646836558tuwienacat_ Content-Type: text/html; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable

            =             &nb= sp;   EXTENDED CALL FOR CONTRIBUTIONS

          &nbs= p;            &= nbsp;    THE 4TH WOMEN IN LOGIC WORKSHOP - WiL 2020

          &nbs= p;            &= nbsp;    JUNE 30, 2020, VIRTUAL 


            =             &nb= sp;   *The WiL 2020 workshop is co-located with Petr-Nets 2020, F= SCD 2020 and IJCAR 2020,

            =             &nb= sp;   and will take place digitally,

            =             &nb= sp;   due to the Covid-19 pandemic.*
---------------------------------------------------------------------------= ----------

-Contributions should be written in English and can be submitted in the for= m of an abstract (1-2 pages approximately) with a deadline: May 10, 2020.

-Abstracts should be prepared using the Easychair style. The s= ubmission should be in the form of a PDF file uploaded to the WiL 2020 Easy= chair page by the submission deadline.


---------------------------------------------------------------------------= ----------


Deadline for abstract submissions: May 10, 2020
Notification: June 2, 2020
Workshop: June 30, 2020

---------------------------------------------------------------------------= ----------

Topics of interest of this workshop include but are not limited to:=

automata theory,
automated deduction,
categorical models and logics,
concurrency and distributed computation,
constraint programming,
constructive mathematics,
database theory,
decision procedures,
description logics,
domain theory,
finite model theory,
formal aspects of program analysis,
formal methods,
foundations of computability,
higher-order logic,
lambda and combinatory calculi,
linear logic,
logic in artificial intelligence,
logic programming,
logical aspects of bioinformatics,
logical aspects of computational complexity,
logical aspects of quantum computation,
logical frameworks,
logics of programs,
modal and temporal logics,
model checking,
probabilistic systems,
process calculi,
programming language semantics,
proof theory,
real-time systems,
reasoning about security and privacy,
rewriting,
type systems and type theory,
and verification.

---------------------------------------------------------------------------= ----------

Organizers:

Sandra Alves (Co-chair, University of Porto),
Amy Felty (University of Ottawa),
Delia Kesner (Universit=E9 de Paris),
Sandra Kiefer (Co-chair, RWTH Aachen University),
Koko Muroya (RIMS Kyoto University),
Daniele Nantes (University of Bras=EDlia),
Valeria de Paiva (Samsung Research America),
Brigitte Pientka (McGill University),
Sonja Smets (ILLC - University of Amsterdam),
Ana Sokolova (Co-chair, University of Salzburg).


Contact: wil2020@easychair.org

---------------------------------------------------------------------------= ----------

The WiL 2020 is supported by:
- the Vienna Center for Logic and Algorithms of TU Wien (VCLA),
- ACM SIGLOG,
- and the Institute of Logic, Language and Computation of the University of= Amsterdam (ILLC).

Due to the virtual nature of the WiL 2020, the ACM SIGLOG/VCLA/ILLC= Travel Awards will be administered in 2021.

---------------------------------------------------------------------------= ----------

For further information see the workshop website:
https://sites.google.com/g.uporto.pt/wil2020/home


--_000_158633947646836558tuwienacat_--