resurchify Conferences Journals Workshops Seminars
      
SYMPOSIUMS MEETINGS CONFERENCE RANKING JOURNAL RANKING IMPACT FACTOR BLOGS



WiL 2020 : 4th Women in Logic Workshop

Paris, France
Event Date: Jun 30, 2020 - Jun 30, 2020
Submission Deadline: Apr 22, 2020
Notification of Acceptance: May 21, 2020
Camera Ready Version Due : Jun 30, 2020

About

Women in Logic 2020 is part of "Paris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at Université Paris 13, made of Petri Nets 2020IJCAR 2020FSCD 2020, and over 20 satellite events.

The Women in Logic workshop (WiL) provides an opportunity to increase awareness of the valuable contributions made by women in the area of logic in computer science. Its main purpose is to promote the excellent research done by women, with the ultimate goal of increasing their visibility and representation in the community. Our aim is to:

  • provide a platform for female researchers to share their work and achievements;
  • increase the feelings of community and belonging, especially among junior faculty, post-docs and students through positive interactions with peers and more established faculty;
  • establish new connections and collaborations;
  • foster a welcoming culture of mutual support and growth within the logic research community.

We believe these aspects will benefit women working in logic and computer science, particularly early-career researchers.

Call For Paper

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.

Hotel Deals

Booking.com

Check Other Conferences, Workshops, and Seminars

OTHER ARTIFICIAL INTELLIGENCE EVENTS

ICIIT 2021 : 6th International Conference on Intelligent Information Technology
Ho Chi Minh, Vietnam
Feb 25, 2021
LegalAI 2020 : The Fourth Annual Workshop on Applications of Artificial Intelligence in the Legal Industry
Virtual
Dec 10, 2020
ICCR 2020 : 3rd International Conference on Control and Robots
Tokyo, Japan
Dec 26, 2020
AIAT 2020 : International Conference on Artificial Intelligence and Application Technologies
Tokyo, Japan
Dec 26, 2020
ICSCA 2021 : 10th International Conference on Software and Computer Applications
Kuala Lumpur, Malaysia
Feb 23, 2021

OTHER BIOINFORMATICS EVENTS

ParBio 2020 : 9th International Workshop on Parallel and Cloud-based Bioinformatics and Biomedicine
Online
Sep 21, 2020
CMLS 2020 : The 1st International Workshop on Conceptual Modeling for Life Sciences
Vienna, Austria
Nov 03, 2020
ICBSE 2020 : International Conference on Biological Science and Engineering
Xi’an, Shaanxi, China
Dec 18, 2020
Genomic Medicine 2020 Nordic : The seventh annual Genomic Medicine 2020 Nordic Conference
South Denmark University (SDU), Odense
Nov 03, 2020
BSCB 2020 : International Conference on Biological Science and Computational Biology
Guiyang, Guizhou, China
Aug 14, 2020

OTHER FORMAL METHODS EVENTS

ICAASE 2020 : The 4th International Conference on Advanced Aspects of Software Engineering
Constantine, Algeria
Nov 28, 2020
SBMF 2020 : 23rd Brazilian Symposium on Formal Methods
Ouro Preto / Brazil
Nov 25, 2020
ICTAC 2020 : 17th International Colloquium on Theoretical Aspects of Computing
Macao
Dec 02, 2020
iFM 2020 : 16th International Conference on integrated Formal Methods
Lugano, Switzerland
Nov 16, 2020
PSSV 2020 : XI Workshop Program Semantics, Specification and Verification
Moscow, Russia
Nov 03, 2020