========================================================
*FINAL CALL FOR PAPERS – Updated schedule*
**
*ICLP 2020 - The 36th International Conference on Logic Programming
September 18 - September 24, 2020
University of Calabria, Rende, Italy
**https://iclp2020.unical.it*
========================================================
*IMPORTANT HIGHLIGHTS:
Conference online:*
The conference general chairs together with the program chairs and the
ALP Executive, have decided to hold ICLP2020 as a fully virtual
conference on the original week. More details will be forthcoming.
*Deadlines Extension:*
Due to the difficult period we are all experiencing and the profound
impact that this has been having on our lives and daily work we have
decided to extend the submission deadline for ICLP 2020 special tracks.
New schedule of important dates is highlighted below:
*Applications Track and Woman in Logic Programming*
Abstract registration (regular papers, including TPLP papers): *June 3,
2020*
Paper submission (regular paper): *June 5, 2020 *
Final notifications (All paper kinds): *July 30, 2020 *
Camera-ready copy due: *August 6, 2020*
*Research Challenges Track and Journal Presentation Track*
Abstract registration and paper submission: *July 12, 2020*
Final notifications: *July 30, 2020*
Camera-ready copy due: *August 6, 2020*
Abstract registration of regular papers to the main track is now closed.
========================================================
*The Conference*
The 36th International Conference on Logic Programming (ICLP 2020) will
take place from the 18th September 2020 in Rende (CS), Italy. Since the
first conference held in Marseille in 1982, ICLP has been the premier
international event for presenting research in logic programming.
*Scope*
=====
Contributions are solicited in all areas of logic programming and
related areas, including but not restricted to:
-*Foundations:* Semantics, Formalisms, Answer-Set Programming,
Non-monotonic Reasoning, Knowledge Representation.
-*Declarative Programming:*Inference engines, Analysis, Type and mode
inference, Partial evaluation, Abstract interpretation, Transformation,
Validation, Verification, Debugging, Profiling, Testing, Logic-based
domain-specific languages, constraint handling rules.
-*Related Paradigms and Synergies:*Inductive and Co-inductive Logic
Programming, Constraint Logic Programming, Interaction with SAT, SMT and
CSP solvers, Logic programming techniques for type inference and theorem
proving, Argumentation, Probabilistic Logic Programming, Relations to
object-oriented and Functional programming, Description logics,
Neural-Symbolic Machine Learning, Hybrid Deep Learning and Symbolic
Reasoning.
-*Implementation:*Concurrency and distribution, Objects, Coordination,
Mobility, Virtual machines, Compilation, Higher Order, Type systems,
Modules, Constraint handling rules, Meta-programming, Foreign
interfaces, User interfaces.
-*Applications:*Databases, Big Data, Data Integration and Federation,
Software Engineering, Natural Language Processing, Web and Semantic Web,
Agents, Artificial Intelligence, Bioinformatics, Education,
Computational life sciences, Education, Cybersecurity, and Robotics.
*Tracks and Special Sessions*
======================
Besides the main track, ICLP 2020 will host additional tracks and
special sessions:
-*Applications Track:* This track invites submissions of papers on
emerging and deployed applications of LP, describing all aspects of the
development, deployment, and evaluation of logic programming systems to
solve real-world problems, including interesting case studies and
benchmarks, and discussing lessons learned. *Paper Types:*Regular paper
(including TPLP Papers), Short Paper.
-*Sister Conferences and Journal Presentation Track:*This track provides
a forum to discuss important results related to logic programming that
appeared recently (from January 2017 onwards) in selective journals and
conferences but have not been previously presented at ICLP.*Paper
Type:* Paper published in other main venue.
-*Research Challenges in Logic Programming Track:* This track invites
submissions of papers describing research challenges that an individual
researcher or a research group is currently attacking. The goal of the
track is to promote discussions, exchange of ideas, and possibly
stimulate new collaborations. Papers submitted to this track do not go
through the usual review and will not be published in the proceedings –
they will be distributed at the conference as a technical report. *Paper
Type:*Short paper.
-*Women in Logic Programming: *This special session aims to increase the
visibility and impact of women in LP, fostering awareness of one
another’s work. To have good role models is very important for female
students and this session is an opportunity to celebrate women’s work in
the community. We hope this will be particularly attractive to
early-career women. Contributions are solicited in all areas of logic
programming and related areas, with a special focus on applications that
are beneficial to society in the large, and to the role of women in
society in particular. *Paper Types:*Regular paper (including TPLP
Papers), Short Paper.
*Submission Details*
=================
All submissions must be made via the EasyChair conference system:
https://easychair.org/conferences/?conf=iclp20200.
Each ICLP2020 Track has its own submission rules, please check the
dedicated CFP in our website for more details:
https://iclp2020.unical.it/calls
All papers will be presented during the conference. So, at least one
author per accepted paper is expected to register and attend remotely
the conference. Authors of accepted papers will, by default, be
automatically included in the list of ALP members, who will receive
quarterly updates from the Logic Programming Newsletter at no cost.
--
--
*Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale:
00196350904
The Communication Technologies group of the University of Vienna is looking for a motivated student interested in pursuing a PhD on developing the foundations of the next generation of reliable networks: networks which are highly automated, and verify and correct themselves autonomously, relying on formal methods. Communication networks have become a critical infrastructure of our society and hence come with stringent requirements on dependability. We believe that automation can improve reliability: many network outages these days are due to human errors.
WHAT WE OFFER
-The research position is at the Faculty of Computer Science at the University of Vienna and is fully funded.(Employment contract)
-The candidate also has the opportunity to collaborate with Aalborg University, Denmark, and engage into longer visits, if she/he is interested: Aalborg University is a project partner.
-Additionally, the successful candidate will have the opportunity to collaborate with the doctoral program Logical Methods in Computer Science (LogiCS), run by TU Wien, TU Graz and JKU Linz, and funded by the Austrian Science Fund.
-We offer a productive research environment and excellent contacts to other universities as well as industry interested in this application domain. While our goal is to lay the theoretical foundations of such networks, we also plan to prototype our ideas and ideally make a practical contribution. For an idea on the kind of research we are doing in this area, please see the sample publications attached below.
ELIGIBILITY
The candidate should have a strong background in formal methods, model checking and algorithms, and be knowledgeable about communication networks, with a strong interest in this application domain.
APPLICATION
To apply, please send your:
-Academic curriculum vitae
-motivation letter, and
-reference letters
to Prof. Stefan Schmid by email, or use the online portal at https://univis.univie.ac.at/ausschreibungstellensuche/
Please do not hesitate to contact Stefan Schmid for any further information: ta.ca.eivinu@dimhcs_nafets
Deadline: June 7, 2020
Starting date: ideally as soon as possible, latest in October 2020.
SAMPLE PUBLICATIONS
P-Rex: Fast Verification of MPLS Networks with Multiple Link Failures
Jesper Stenbjerg Jensen, Troels Beck Krogh, Jonas Sand Madsen, Stefan Schmid, Jiri Srba, and Marc Tom Thorgersen.
14th ACM International Conference on emerging Networking EXperiments and Technologies (CoNEXT), Heraklion/Crete, Greece, December 2018.
https://www.univie.ac.at/ct/stefan/conext18.pdf
Polynomial-Time What-If Analysis for Prefix-Manipulating MPLS Networks
Stefan Schmid and Jiri Srba.
37th IEEE Conference on Computer Communications (INFOCOM), Honolulu, Hawaii, USA, April 2018.
https://www.univie.ac.at/ct/stefan/infocom18prefixnet.pdf
HIGHEST QUALITY OF LIFE
The Austrian city of Vienna, is located close to the Alps and surrounded by beautiful nature, and provides an exceptionally high quality of life, with a vibrant cultural scene, numerous cultural events, world-famous historical sites, a large international community, varied cuisine and famous coffee houses.
If you decide to be located in Vienna, the city features a vibrant and excellence-driven research landscape, with several leading research institutes (e.g., TU Wien, University of Vienna, IST, AIT, SBA) and universities continuously establishing collaborations in various fields. Finally, Vienna has been consistently ranked by Mercer over the last years the best city for quality of life worldwide.
{With apologies for cross-posting, please see below for information and thank you for a possible share among your network nodes}
____________________________________________________________________________________________________________
TU Wien (Vienna University of Technology)
TU Graz (Graz University of Technology), and
JKU Linz (Johannes Kepler University),
are seeking highly qualified candidates for the joint doctoral program on Logical Methods in Computer Science (LogiCS),
funded by the Austrian Science Fund (FWF).
We are recruiting up to 12 doctoral candidates for a starting period of 3 years, with a negotiable starting date.
Deadline: June 12, 2020
____________________________________________________________________________________________________________
The PhD program focuses on interdisciplinary research topics covering
– computational logic, and applications of logic to
– databases and artificial intelligence,
– computer-aided verification,
– security and privacy,
– cyber-physical systems, as well as to
– distributed systems.
______________________________________________________
THE PROGRAM
______________________________________________________
Our PhD program LogiCS is focusing on logic and its applications in computer science. Successful applicants will work with and be mentored by leading researchers in the fields of computational logic, databases and knowledge representation, computer-aided verification, security and privacy, cyber-physical systems, and distributed systems.
The LogiCS doctoral program offers top research expertise, and a stimulating and supportive environment. The LogiCS is coordinated by TU Wien, which offers an outstanding research environment and numerous professional development opportunities. The Faculty of Informatics of TU Wien is the largest one in Austria and is consistently ranked among the best in Europe. The founding body of the LogiCS, the Austrian Science Fund (FWF), offers multiple funding opportunities for young researchers to advance their independent scientific careers.
______________________________________________________
FACULTY MEMBERS
______________________________________________________
- M. Bartocci
- A. Biere
- R. Bloem
- A. Ciabattoni
- T. Eiter
- G. Gottlob
- R. Grosu
- L. Kovacs
- M. Maffei
- M. Ortiz
- U. Schmid
- M. Seidl
- S. Szeider
- G. Weissenbacher
- S. Woltran
The LogiCS faculty comprises 15 renowned researchers with strong records in research, teaching and advising, complemented by 15 associated members who further strengthen the research and teaching activities of the college.
______________________________________________________
POSITIONS AND FUNDING
______________________________________________________
* We are looking for 12 very strong doctoral students.
* The doctoral positions are funded for at least 3 years according to the funding scheme of the Austrian Science Fund (FWF). (30 hours per week/ 39.000 EUR gross/year)
* The funding can be extended for one additional year contingent on a placement at one of our international partner institutions.
* The location of the research post is Vienna, Graz or Linz, Austria.
______________________________________________________
SEEKING CANDIDATES FOR THE CURRENT RESEARCH AREAS
______________________________________________________
At the moment we are particularly looking for candidates interested in the following areas:
* Automated Software Verification
* Description Logics
* Epistemic logic in distributed computing
* Game-based Semantics
* Fixed-Parameter Algorithms and Complexity
* Formal Verification of hybrid systems
* Knowledge Representation and Reasoning
* Model Checking
* Modeling and analysis of digital integrated circuits
* Normative Reasoning
* Ontology-based Data Access
* Security and Privacy
* Scheduling and logic programming
* Study of the Interaction between rules from a knowledge base and rules arising from machine learning
* Topology in distributed computing
* Quantified Boolean Formulas
______________________________________________________
HOW TO APPLY
______________________________________________________
Detailed information about the application process is available on the LogiCS web-page: https://logic-cs.at/phd/admission/
* The applicants are expected to have completed an excellent diploma or master’s degree in computer science, mathematics, or a related field.
* Candidates with comparable achievements will be considered on a case-by-case basis.
* Applications by the candidates need to be submitted electronically.
Application Deadline: June 12, 2020
______________________________________________________
LOGIC IN AUSTRIA
______________________________________________________
Austria has a highly active and successful logic in the computer science community. Recent activities include:
Austrian Research Network in Rigorous Systems Engineering - http://www.arise.or.at
Vienna Center for Logic and Algorithms - http://www.vcla.at
International Kurt Goedel Society - http://www.kgs.logic.at
______________________________________________________
HIGHEST QUALITY OF LIFE
______________________________________________________
The Austrian cities Vienna, Graz, and Linz, located close to the Alps and surrounded by beautiful nature, provide an exceptionally high quality of life, with a vibrant cultural scene, numerous cultural events, world-famous historical sites, a large international community, a varied cuisine and famous coffee houses.
If you decide to be located in Vienna, the city features a vibrant and excellence-driven research landscape, with several leading research institutes (e.g., University of Vienna, IST, AIT, SBA) and universities continuously establishing collaborations in various fields. Finally, Vienna has been consistently ranked by Mercer over the last years the best city for quality of life worldwide.
______________________________________________________
ADDITIONAL INFORMATION
______________________________________________________
LogiCS web-page: https://logic-cs.at/phd/admission/
For further information please contact: info(a)logic-cs.at
/ Apologies for cross-posting /
/ Please feel free to distribute among the nodes in your network /
The Algorithms and Complexity Group at the Vienna University of Technology (TU Wien), Vienna, Austria, is offering a 6-year PostDoc Position in Algorithms.
*** Application deadline is May 28, 2020 ***
REQUIREMENTS
- Completed doctoral study in Computer Science or a related area
- Excellent Knowledge in the field of algorithms and complexity
- Excellent publications in top-tier conferences and journals
- Very good communication skills and an interest in teaching
- Research experience in at least one of the following areas:
-- parameterized algorithms and complexity
-- algorithmic applications of graph decompositions
-- satisfiability and constraint satisfaction
- A good command of the German language is desirable
- Expected start: 1.10.2020 (negotiable)
WE OFFER
- A stimulating scientific environment
- Continuing support in personal and academic carrier development
- Outstanding opportunities for collaboration
- Workplace in a central location in one of the most liveable cities in the world
- Entry-level salary as a postdoctoral researcher is covered by level B1 of the Austrian Collective Agreement for university staff and receives a minimum of currently EUR 3.889,50/month gross, 14 times/year. Relevant working experiences may increase the monthly income.
TU Wien is committed to increasing female employment in leading scientific positions. Female candidates are explicitly encouraged to apply. Preference will be given when equally qualified.
APPLICATIONS
*** Application deadline is May 28, 2020 ***
Applications should be submitted by e-mail to Manuela Reinharter <manuela.reinharter(a)tuwien.ac.at> and should contain:
- Letter of motivation
- CV
- List of publications
- Short research statement
- Three of the most important publications
- Contact information of three referees
Expected start: 1.10.2020 (negotiable)
CONTACT AND INFORMAL INQUIRES
For informal inquiries, please contact Univ.Prof.Dr. Stefan Szeider <sz(a)ac.tuwien.ac.at>.
VACANCY ANNOUNCEMENT WEBSITE
https://www.ac.tuwien.ac.at/jobs/
========================================================
*Call for Papers**
**ICLP 2020 - The 36th International Conference on Logic Programming**
**September 18 - September 24, 2020**
**University of Calabria, Rende, Italy**
**https://iclp2020.unical.it <https://iclp2020.unical.it/>*
========================================================
*IMPORTANT HIGHLIGHTS:**
**
**Conference online:*
The conference general chairs together with the program chairs and the
ALP Executive, have decided to hold ICLP2020 as a fully virtual
conference on the original week. More details will be forthcoming.
*Deadlines Extension:*
Due to the difficult period we are all experiencing and the profound
impact that this has been having on our lives and daily work we have
decided to extend the submission deadline for ICLP 2020. New schedule of
important dates is highlighted below:
*Main Conference and Applications Track*
Abstract registration (regular papers)*: May 15, 2020*
Paper submission (regular paper): *May 22, 2020 *
Notification to authors (regular paper): *June 26, 2020*
Paper Submission (short papers): *June 30, 2020*
Revision submission (TPLP papers): *July 13, 2020*
Final notifications (TPLP papers): *July 24, 2020*
Camera-ready copy due: *July 29, 2020 *
*Research Challenges Track*
Abstract registration and paper submission: *June 30, 2020*
Final notifications: *July 24, 2020*
Camera-ready copy due: *July 29, 2020*
*Sister Conferences and Journal Presentation Track*
Abstract registration and paper submission: *June 30, 2020*
Final notifications: *July 24, 2020*
Camera-ready copy due: *July 29, 2020*
*Invited Speakers:*
Esra Erdem - Sabanci University, Turkey
Joao Marquez-Silva - ANITI, University of Toulouse, France
Luc De Readt - KU Leuven, Belgium
Francesca Rossi - T.J. Watson IBM Research Lab, USA
==============================
==========================
*The Conference*
The 36th International Conference on Logic Programming (ICLP 2020) will
take place from the 18th September 2020 in Rende (CS), Italy. Since the
first conference held in Marseille in 1982, ICLP has been the premier
international event for presenting research in logic programming.
*Scope*
=====
Contributions are solicited in all areas of logic programming and
related areas, including but not restricted to:
Foundations: Semantics, Formalisms, Answer-Set Programming,
Non-monotonic Reasoning, Knowledge Representation.
Declarative Programming: Inference engines, Analysis, Type and mode
inference, Partial evaluation, Abstract interpretation, Transformation,
Validation, Verification, Debugging, Profiling, Testing, Logic-based
domain-specific languages, constraint handling rules.
Related Paradigms and Synergies: Inductive and Co-inductive Logic
Programming, Constraint Logic Programming, Interaction with SAT, SMT and
CSP solvers, Logic programming techniques for type inference and theorem
proving, Argumentation, Probabilistic Logic Programming, Relations to
object-oriented and Functional programming, Description logics,
Neural-Symbolic Machine Learning, Hybrid Deep Learning and Symbolic
Reasoning.
Implementation: Concurrency and distribution, Objects, Coordination,
Mobility, Virtual machines, Compilation, Higher Order, Type systems,
Modules, Constraint handling rules, Meta-programming, Foreign
interfaces, User interfaces.
Applications: Databases, Big Data, Data Integration and Federation,
Software Engineering, Natural Language Processing, Web and Semantic Web,
Agents, Artificial Intelligence, Bioinformatics, Education,
Computational life sciences, Education, Cybersecurity, and Robotics.
*Tracks and Special Sessions*
======================
Besides the main track, ICLP 2020 will host additional tracks and
special sessions:
Applications Track: This track invites submissions of papers on emerging
and deployed applications of LP, describing all aspects of the
development, deployment, and evaluation of logic programming systems to
solve real-world problems, including interesting case studies and
benchmarks, and discussing lessons learned.
Sister Conferences and Journal Presentation Track: This track provides a
forum to discuss important results related to logic programming that
appeared recently (from January 2017 onwards) in selective journals and
conferences but have not been previously presented at ICLP.
Special Session: Women in Logic Programming: This special session will
include invited talks and presentations by women in logic programming.
Research Challenges in Logic Programming Track: This track invites
submissions of papers describing research challenges that an individual
researcher or a research group is currently attacking. The goal of the
track is to promote discussions, exchange of ideas, and possibly
stimulate new collaborations. Papers submitted to this track do not go
through the usual review and will not be published in the proceedings –
they will be distributed at the conference as a technical report.
Every of the above four tracks will have its own dedicated chairs, PC,
evaluation criteria, and CFP with related submission details (see the
specific call for papers). In addition to the presentations of accepted
papers, the technical program will include invited talks, advanced
tutorials, the doctoral consortium, and several workshops.
*Submission Details*
=================
All submissions must be made via the EasyChair conference system:
https://easychair.org/conferences/?conf=iclp20200
<https://easychair.org/conferences/?conf=iclp20200>. Regular papers must
be in the condensed TPLP format (template here) and not exceed 14 pages
including bibliography. Regular papers may be supplemented with
appendices for proofs and details of datasets which do not count towards
the page limit and which will not be made available as appendices to the
published paper.
Three kinds of regular papers will be accepted:
• Technical papers for technically sound, innovative ideas that can
advance the state of logic programming;
• Application papers that impact interesting application domains;
• System and tool papers which emphasize novelty, practicality,
usability, and availability of the systems and tools described.
Application, system, and tool papers need to be clearly marked in their
title.
All submissions must be written in English and describe original,
previously unpublished research, and must not simultaneously be
submitted for publication elsewhere. These restrictions do not apply to
previously accepted workshop papers with a limited audience and/or
without archival proceedings.
Papers of the highest quality will be selected to be published in the
journal of Theory and Practice of Logic Programming (TPLP), Cambridge
University Press (CUP). In order to ensure the quality of the final
version, papers may be subject to more than one round of refereeing
(within the decision period).
The program committee may recommend some regular papers to be published
as Technical communications in EPTCS format (http://info.eptcs.org
<http://info.eptcs.org/>). Technical communications must not exceed 14
pages, including the bibliography. The authors of the technical
communications can also elect to convert their submissions into extended
abstracts, of 2 or 3 pages, for inclusion in the EPTCS proceedings. This
should allow authors to submit a long version elsewhere.
All regular papers and technical communications will be presented during
the conference. So, at least one author per accepted paper is expected
to register and attend the conference. Authors of accepted papers will,
by default, be automatically included in the list of ALP members, who
will receive quarterly updates from the Logic Programming Newsletter at
no cost.
--
--
*Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale:
00196350904
We confirm that the 7th edition of the World Congress on the Square of
Opposition will take place in Leuven, Belgium, September, 16-20, 2020.
Extended Deadline to send a one page abstract is May 31.
Organizing Committee - SQUARE 2020
https://www.square-of-opposition.org/
=====================================
Second call for papers (CSL'21)
=====================================
Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL), see
https://www.eacsl.org/. It is an interdisciplinary conference,
spanning across both basic and application oriented research in
mathematical logic and computer science. CSL'21 will be held on
January 25-28, 2021, in Ljubljana, Slovenia, at least in principle;
the current sanitary crisis will quite certainly have some impact in
this respect.
Submission guidelines:
----------------------
Submitted papers must be in English and must provide sufficient detail
to allow the Programme Committee to assess the merits of the paper. Full
proofs may appear in a clearly marked technical appendix which will be
read at the reviewers' discretion. Authors are strongly encouraged to
include a well written introduction which is directed at all members of
the PC.
The CSL 2020 conference proceedings will be published in Leibniz
International Proceedings in Informatics (LIPIcs), see
https://submission.dagstuhl.de/documentation/authors. Authors are
invited to submit contributed papers of no more than 15 pages in LIPIcs
style (not including references), presenting unpublished work fitting
the scope of the conference.
Papers may not be submitted concurrently to another conference with
refereed proceedings. The PC chairs should be informed of closely
related work submitted to a conference or a journal.
Papers authored or co-authored by members of the PC are not allowed.
At least one of the authors of each accepted paper is expected to
register to the conference, and present their papers, whether
physically or online, depending on the situation and the available
means of organisation in January 2021.
Important dates:
----------------
paper submission: July 1, 2020 (AoE)
notification: September 25, 2020
conference: January 25-28, 2021
List of topics:
---------------
automated deduction and interactive theorem proving
constructive mathematics and type theory
equational logic and term rewriting
automata and games, game semantics
modal and temporal logic
model checking
decision procedures
logical aspects of computational complexity
finite model theory
computational proof theory
logic programming and constraints
lambda calculus and combinatory logic
domain theory
categorical logic and topological semantics
database theory
specification, extraction and transformation of programs
logical aspects of quantum computing
logical foundations of programming paradigms
verification and program analysis
linear logic
higher-order logic
nonmonotonic reasoning
Program Committee:
------------------
* Andreas Abel, University of Gothenburg, Sweden
* Zena M. Ariola, University of Oregon, USA
* Jeremy Avigad, Carnegie Mellon University, USA
* Christel Baier, Technische Universität Dresden, Germany (co-chair)
* Jasmin Blanchette, Vrije Universiteit Amsterdam, the Netherlands
* Jean Goubault-Larrecq, ENS Paris-Saclay, France (co-chair)
* Masahito Hasegawa, Kyoto University, Japan
* Jean-Baptiste Jeannin, University of Michigan, USA
* Michael Kaminski, Technion Haifa, Israel
* Delia Kesner, Université de Paris, France
* Laura Kovács, Vienna University of Technology, Austria
* Martin Lange, University of Kassel, Germany
* Sławomir Lasota, Warsaw University, Poland
* Florin Manea, Georg-August Universität Göttingen, Germany
* Stefan Milius, Friedrich-Alexander Universität Erlangen-Nürnberg, Germany
* Antoine Mottet, Charles University, Czech Republic
* Andrzej Murawski, University of Oxford, UK
* Elaine Pimentel, Universidade Federal do Rio Grande do Norte, Brasil
* Sophie Pinchinat, IRISA Rennes, France
* Simona Ronchi Della Rocca, Università di Torino, Italy
* Krishna S, IIT Bombay, India
* Peter Selinger, Dalhousie University, Canada
* Sebastian Siebertz, Universität Bremen, Germany
* Alex Simpson, University of Ljubljana, Slovenia (organizer)
* Marie Van Den Bogaard, Université Libre de Bruxelles
* Yde Venema, Universiteit van Amsterdam, the Netherlands
Organization Committee:
-----------------------
Alex Simpson (University of Ljubljana, chair)
Andrej Bauer (University of Ljubljana)
Daniel Ahman (University of Ljubljana)
Contact:
--------
Please send all questions about submissions to the PC co-chairs:
csl2021(a)easychair.org
Deadline approaching, last chance to submit a contribution!
------------------------------------------------------------------------------------------------
Are you a woman working in logic?
Are you planning to participate at FSCD-IJCAR 2020?
Please join us at WiL, give a talk, and enjoy a day with Women in Logic!
Please submit an abstract of 1-2 pages by May 10, 2020 via EasyChair.
This will help us provide an interesting program, with only a light-weight
selection procedure. More information below:
------------------------------------------------------------------------------------------------
Call for Contributions
WiL 2020: 4th Women in Logic Workshop
virtual
30 June 2020
https://sites.google.com/g.uporto.pt/wil2020 <https://sites.google.com/g.uporto.pt/wil2020>
------------------------------------------------------------------------------------------------
Women in Logic 2020 is part of "Paris Nord Summer of LoVe 2020"
(https://lipn.univ-paris13.fr/summer-of-love-2020/ <https://lipn.univ-paris13.fr/summer-of-love-2020/>), a joint event on
LOgic and VErification, made of Petri Nets 2020, IJCAR 2020, FSCD 2020,
and over 20 satellite events. Following the decisions regarding the Paris
Nord Summer of LoVe 2020 event, the organisers of WIL 2020 decided to
hold the meeting virtually.
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.
Previous versions of Women in Logic (Reykjavik, Iceland 2017,
Oxford, UK 2018 and Vancouver, Canada 2019) were very successful
in showcasing women's work and as catalysts for recognition of the
need for change in the community.
Topics of interest 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,
games and logic, 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.
INVITED SPEAKERS
* Maribel Fernández (Kings College London)
* Alexandra Silva (University College London)
IMPORTANT DATES
Abstract submission deadline: May 10, 2020
Notification: June 2, 2020
SUBMISSIONS
Abstracts should be written in English (1-2 pages),
and prepared using the Easychair style
(https://easychair.org/publications/for_authors).
The abstracts should be uploaded to the WiL 2020 Easychair page
as a PDF file (https://easychair.org/conferences/?conf=wil2020)
before the submission deadline of May 10, 2020, anywhere on Earth.
ORGANIZING AND PROGRAM COMMITTEE
* 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)