posted by user: VCLATUWIEN || 1096 views || tracked by 1 users: [display]

WiL 2020 : 4th Women in Logic Workshop - WiL 2020

FacebookTwitterLinkedInGoogle

Link: https://sites.google.com/g.uporto.pt/wil2020/home
 
When Jun 30, 2020 - Jun 30, 2020
Where VIRTUAL
Submission Deadline May 10, 2020
Notification Due Jun 2, 2020
Final Version Due Jun 30, 2020
Categories    logic in artificial intellige   logic programming   model checking   logical aspects of computatio
 

Call For Papers

Call for Contributions
4th Women in Logic Workshop - WiL 2020
June 30, 2020, virtual

*The 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.

-------------------------------------------------------------------------------------

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).

-------------------------------------------------------------------------------------

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 administred in 2021.

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

Related Resources

SIGLOG/VCLA/ILLC Awards for WiL 2020   SIGLOG, VCLA and ILLC Travel Awards for WiL 2020 (Women in Logic Workshop)
PADL 2021   23rd International Symposium on Practical Aspects of Declarative Languages
ICLP 2020   The 36th International Conference on Logic Programming
ATVA 2020   18ᵗʰ International Symposium on Automated Technology for Verification and Analysis
ICAISC 2021   International Conference on Artificial Intelligence and Soft Computing
AIFZ 2020   6th International Conference on Artificial Intelligence and Fuzzy Logic Systems
CONCUR 2020   31st International Conference on Concurrency Theory
WGB II 2020   Women and Gender in the Bible and the Biblical World II
PRIMA 2020   The 23nd International Conference on Principles and Practice of Multi-Agent Systems
WiCV@ECCV 2020   8th Women in Computer Vision Workshop at CVPR 2020