caml-list - the Caml user's mailing list
 help / Atom feed
* [Caml-list] Extended Call for Contributions - VIRTUAL 4th Women in Logic Workshop - WiL 2020 - June 30, 2020, virtual
       [not found] <1586339201079.2582@tuwien.ac.at>
@ 2020-04-08 10:17 ` Rozman, Mihaela
  0 siblings, 0 replies; 1+ messages in thread
From: Rozman, Mihaela @ 2020-04-08 10:17 UTC (permalink / raw)
  To: vcla-scholarships

[-- Attachment #1: Type: text/plain, Size: 3315 bytes --]

                            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 form of an abstract (1-2 pages approximately) with a deadline: May 10, 2020.

-Abstracts should be prepared using the Easychair style. The submission should 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é de Paris),
Sandra Kiefer (Co-chair, RWTH Aachen University),
Koko Muroya (RIMS Kyoto University),
Daniele Nantes (University of Brasília),
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<mailto: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



[-- Attachment #2: Type: text/html, Size: 5514 bytes --]

^ permalink raw reply	[flat|nested] 1+ messages in thread

only message in thread, back to index

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <1586339201079.2582@tuwien.ac.at>
2020-04-08 10:17 ` [Caml-list] Extended Call for Contributions - VIRTUAL 4th Women in Logic Workshop - WiL 2020 - June 30, 2020, virtual Rozman, Mihaela

caml-list - the Caml user's mailing list

Archives are clonable: git clone --mirror https://inbox.ocaml.org/caml-list

AGPL code for this site: git clone https://public-inbox.org/ public-inbox