A PhD position is available at the Database and Artificial Intelligence Group at TU Wien, Austria (under the supervision of Dr. Mantas Šimkus).
We invite highly motivated applicants interested both in the theory and practice of
- Description Logics
- Answer Set Programming
- Knowledge Representation and Reasoning
- Reasoning about Actions and Change
- Database Theory
In particular, we are seeking to strengthen our research teams in two foundational research projects “Ontology-mediated Queries for Graph Databases”[1] and “KtoAPP: Compiling Knowledge into Applications”[2] funded by the Austrian Science Fund (FWF).
=====================
YOUR PROFILE
=====================
- A degree in Computer Science, Mathematics, or other closely related field
- A very strong study record, especially in foundational topics (like discrete mathematics, logic, logic programming, algebra, theory of computation, computational complexity, combinatorics, graph theory, automata theory, data structures and algorithms)
- Very good English writing skills
=====================
WE OFFER
=====================
- Employment at TU Wien for up to 3.5 years, with Dr. Mantas Šimkus as PhD advisor
- Gross salary of approx. 30.754 EUR per year (approx. 22.506 EUR per year after taxes in basic circumstances)
- The candidate student would join the LogiCS doctoral program [3] which offers top research expertise, and a stimulating and supportive environment
- A research and study environment that is friendly and gender-balanced
- TU Wien is a great place for professional growth (e.g., the Austrian Science Fund offers multiple funding opportunities for young researchers to advance their independent scientific careers).
- Vienna is a beautiful city that offers excellent quality of life [4]
=====================
APPLICATION PROCESS
=====================
Application Deadline: July 15, 2020
Please send your application to Dr. Mantas Šimkus (simkus(a)dbai.tuwien.ac.at <mailto:simkus@dbai.tuwien.ac.at> )
=====================
APPLICATION DOCUMENTS
=====================
-A motivation letter, which should make a connection to one of the research projects mentioned above
-Curriculum Vitae
-Transcripts (academic record) showing high performance in prior studies
-Abstract of the Master thesis
-2 letters of recommendation
=====================
QUALITY OF LIFE
=====================
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.
=====================
LINKS
=====================
[1] <http://www.simkus.info/projects/fwf-project-p30360/> http://www.simkus.info/projects/fwf-project-p30360/
[2] <http://www.simkus.info/projects/fwf-project-p30873/> http://www.simkus.info/projects/fwf-project-p30873/
[3] <https://logic-cs.at/> https://logic-cs.at
[4] <https://mobilityexchange.mercer.com/Insights/quality-of-living-rankings> https://mobilityexchange.mercer.com/Insights/quality-of-living-rankings
=====================
WEBSITE
=====================
www.vcla.at/positions/ <http://www.vcla.at/positions/>
PhD POSITION(S)
PROJECT Structural and Algorithmic Aspects of Preference-based Problems in Social Choice
STARTING DATE: Negotiable
LOCATION: Vienna, Austria
INSTITUTION: Algorithms and complexity group at the Faculty of Informatics, Technische Universität Wien (Vienna University of Technology)
FUNDING: The PhD candidates receive an employment contract for the initial period of 3 years, thus study fees do not apply. Salary range starts at 22.000 net/year EUR for 30h/week.
APPLICATION DEADLINE: July 31, 2020
==========================================================
We invite applications for PhD position(s) (3 years with the possibility of extension), working with Jiehua Chen in the Algorithms and Complexity Group at the Vienna University of Technology (Technische Universität Wien – TU Wien), Vienna, Austria.
The PhD position(s) is available for the WWTF research project (Vienna Science and Technology Fund) titled Structural and Algorithmic Aspects of Preference-based Problems in Social Choice: https://www.wwtf.at/programmes/vienna_research_groups/VRG18-012/index.php?l…
The research topics include voting, structured preferences, stable matching (matchings under preferences) with a focus on parameterized and approximation algorithm design.
===============================
YOUR PROFILE
===============================
Applicants with a solid background in areas such as algorithm design (including BUT NOT LIMITED to parameterized algorithms and approximation algorithms), computational complexity, and/or discrete mathematics are welcome to apply.
===============================
WE OFFER
===============================
-The PhD position(s) entails an employment contract.
-The position(s) is available immediately and the starting date is quite flexible
- A research and study environment that is friendly and gender-balanced
- TU Wien is a great place for professional growth (e.g., the Austrian Science Fund and other funding agencies offer multiple funding opportunities for young researchers to advance their independent scientific careers)
- 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
- Vienna has been consistently ranked by Mercer over the last years the best city for quality of life worldwide.
===============================
APPLICATION
===============================
Please send your application, including
- your academic CV,
- a motivation letter, including an explanation of your research interests,
- your Master's thesis and
- a list of subjects studied, giving sufficient details and grades/marks obtained
directly to Jiehua Chen: jiehua.chen(a)tuwien.ac.at <mailto:jiehua.chen@tuwien.ac.at>
(If possible all in a single PDF file)
DEADLINE: 31. July 2020
For informal inquiries you can also contact via the above email address.
===============================
ADDITIONAL INFORMATION
===============================
Faculty of Informatics: https://informatics.tuwien.ac.at/
Research group website: https://www.ac.tuwien.ac.at/
Outreach: www.vcla.at <http://www.vcla.at>
Twitter: @vclaTUwien
[Apologies if you receive multiple copies of this email. Please
distribute to interested parties.]
Workshop on Causal Reasoning and Explanation in Logic Programming
CALL FOR PAPERS
*** CAUSAL 2020 ***
(September 17 or 18, 2020)
Workshop on Causal Reasoning and Explanation in Logic Programming
CAUSAL 2020 is a workshop co-located with ICLP 2020
in University of Calabria, Rende, Italy.
*NOTE ABOUT COVID-19: We will follow advice from the ICLP2020 organizers
on the situation, and we will revise our workshop timeline and other
procedures accordingly if needed.*
CAUSAL 2020 IMPORTANT DATES
-------------------------
* Paper submission: July 15th 2020
* Notification: July 30th 2020
* Final Versions: August 15th 2020
* Workshop Date: September 17th or 18th 2020
------------------------
Sophisticated causal reasoning has long been prevalent in human society and
continues to have an undeniable impact on the advancement of science,
technology, medicine, and other significant fields. From the development of
ancient tools to modern roots of causal analysis in business and industry,
reasoning about causality and having the ability to explain causal
mechanisms
enables us to identify how an outcome of interest came to be and gives
insight into how to bring about, or even prevent, similar outcomes in
future
scenarios.
This workshop aims to bring together researchers and practitioners of
logic programming with a dedicated focus on methods and trends emerging from
the study of causality and explanation. We welcome the submission of
papers on
systems, tools, and applications of logic programming methods for causal
reasoning and explanation. In particular, we encourage submissions
presenting
recent developments, including works in progress. The workshop will present
the latest research and application developments in these areas and provide
opportunities to discuss current and future research directions and
relationships to other fields (e.g. Machine Learning, Explainable AI,
Diagnosis,
Natural Language Processing and Understanding, Philosophy of Science).
An important
expected outcome of this workshop is to collect first-hand feedback from
the ICLP
community about the role and placement of causal reasoning and
explanation in
the landscape of modern computer theory as well as in the software industry.
TOPICS
------
Topics of interests include (but are not limited to):
* Modeling causal theories in logic programming
* Formalization of types of causes: sufficient, necessary, actual, etc
* Causality, temporal reasoning and action theories
* Causality and counterfactual reasoning
* Causality, learning and experimental design
* Causality and probability
* Causality and equivalence
* Causality and ontology
* Relating LP based causality and Causal Networks
* Challenging problems and benchmark examples
* Justifications and argumentation
* Explanations for diagnosis and debugging
* Tools, systems and applications
Submissions must describe original research and be prepared using the
Springer
LNAI/LNCS format and should be no longer than 13 pages.
https://www.springer.com/gp/authors-editors/conference-proceedings/conferen…
Please submit your paper via EasyChair:
https://easychair.org/conferences/?conf=causal2020
At least one co-author of each accepted paper must register for and
attend the workshop.
Please check the ICLP 2020 website for registration procedure and fees.
https://iclp2020.unical.it/
ORGANIZERS
----------
Emily LeBlanc, US Naval Research Lab, USA, emily.leblanc(a)nrl.navy.mil
Joost Vennekens, KU Leuven, Belgium
Tran Cao Son, New Mexico State University, USA
Pedro Cabalar, Corunna University, Spain
Jorge Fandiño, University of Potsdam, Germany
Marcello Balduccini, Saint Joseph's University, USA
Yuliya Lierler, University of Nebraska at Omaha, USA
--
--
*Dona il 5x1000* all'Università degli Studi di Sassaricodice fiscale:
00196350904
(Apologies for multiple copies of this announcement. Please circulate.)
==================================================================
CALL FOR PARTICIPATION
Fifth International Conference on
Formal Structures for Computation and Deduction (FSCD 2020)
June 29 – July 5, 2020, Paris, France
http://fscd2020.org/ <http://fscd2020.org/>
The 2020 edition of FSCD and of its satellite workshops will be held online.
Participation will be free, but a preregistration will be required to join the video meetings of the events.
FSCD covers all aspects of formal structures for computation and deduction from theoretical
foundations to applications. Building on two communities, RTA (Rewriting Techniques and
Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core
topics and broadens their scope to closely related areas in logics, models of computation
(e.g. quantum computing, probabilistic computing, homotopy type theory), semantics and
verification in new challenging areas (e.g. blockchain protocols or deep learning algorithms).
REGISTRATION
---------------
The registration page is already open and linked from:
https://fscd-ijcar-2020.org/register <https://fscd-ijcar-2020.org/register>.
INVITED SPEAKERS
----------------
- René Thiemann: FSCD-IJCAR joint speaker
(http://cl-informatik.uibk.ac.at/users/thiemann/ <http://cl-informatik.uibk.ac.at/users/thiemann/>)
- John Harrison: IJCAR-FSCD joint speaker
(https://www.cl.cam.ac.uk/~jrh13/ <https://www.cl.cam.ac.uk/~jrh13/>)
- Brigitte Pienta
(https://www.cs.mcgill.ca/~bpientka/ <https://www.cs.mcgill.ca/~bpientka/>)
- Andrew Pitts
(https://www.cl.cam.ac.uk/~amp12/ <https://www.cl.cam.ac.uk/~amp12/>)
- Simona Ronchi della Rocca
(http://www.di.unito.it/~ronchi/ <http://www.di.unito.it/~ronchi/>)
FSCD AFFILIATED WORKSHOPS:
--------------------------
- Linearity & TLLA (Joint Workshop on Linearity and Trends in Linear Logic and Applications, June 29-30)
- UNIF (Workshop on Unification, June 29)
- WPTE (Workshop on Rewriting Techniques for Program Transformations and Evaluation, June 29)
- WiL (Women in Logic, June 30)
- IWC (International Workshop on Confluence, June 30)
- IFIP WG 1.6 (June 30)
- HoTT/UF (Homotopy Type Theory/Univalent Foundations, July 5-6)
- GeoCat (Geometric and Categorical Structures for Computation and Deduction, July 5-6)
- TERMGRAPH (July 5)
PROGRAM COMMITTEE CHAIR
-----------------------
Zena M. Ariola, University of Oregon
fscd2020(a)easychair.org <mailto:fscd2020@easychair.org>
PROGRAM COMMITTEE
-----------------
M. Alpuente, Technical Univ. of Valencia
S. Alves, University of Porto
A. Bauer, University of Ljubljana
M. P. Bonacina, Università degli studi di Verona
P-L. Curien, CNRS - Univ. of Paris Diderot
P. Dybjer, Chalmers Univ. of Technology
U. De’Liguoro, University of Torino
M. Fernández, King’s College London
M. Gaboardi, Boston University
D. Ghica, University of Birmingham
S. Ghilezan, University of Novi Sad
J. Giesl, RWTH Aachen University
S. Guerrini, University of Paris 13
R. Harper, Carnegie Mellon University
M. Hasegawa, Kyoto University
N. Hirokawa, JAIST
P. Johann, Appalachian State University
O. Kammar, University of Edinburgh
D. Kesner, University of Paris Diderot
C. Kop, Radboud University
O. Laurent, ENS Lyon
D. Licata, Wesleyan University
A. Middeldorp, University of Innsbruck
J. Mitchell, Stanford University
K. Nakata, SAP Postdam
M. Pagani, University of Paris Diderot
E. Pimentel, Fed. Univ. Rio Grande do Norte
F. van Raamsdonk, Vrije University Amsterdam
G. Rosu, University of Illinois
A. Sabry, Indiana University
A. Stump, University of Iowa
P. Urzyczyn, University of Warsaw
T. Uustalu, Reykjavik University
S. Zdancewic, University of Pennsylvania
CONFERENCE CHAIR
----------------
Stefano Guerrini, University of Paris 13
WORKSHOP CHAIR
--------------
Giulio Manzonetto, University of Paris 13
STEERING COMMITTEE WORKSHOP CHAIR
--------------------------------
J. Vicary, Oxford University
PUBLICITY CHAIR
---------------
S. Alves, University of Porto
FSCD STEERING COMMITTEE
-----------------------
S. Alves (University of Porto),
M. Ayala-Rincón (University of Brasilia)
C. Fuhs (Birkbeck, London University)
H. Geuvers (Radboud University)
D. Kesner (Chair, University of Paris Diderot )
H. Kirchner (Inria)
C. Kop (Radboud University)
D. Mazza (University of Paris 13)
D. Miller (Inria)
L. Ong (Oxford University)
J. Rehof (TU Dortmund)
S. Staton (Oxford University)
COMPUTABILITY IN EUROPE 2020 CALL FOR PARTICIPATION
CiE 2020:
Virtually in Salerno, Italy
Due to the Covid-19 outbreak, this edition will be an online conference.
June 29 - July 3, 2020
https://www.acie.eu/cie-conference-series/cie2020https://www.acie.eu
IMPORTANT DATES:
15 JUNE: REGISTRATION DEADLINE
Registration (https://www.acie.eu/cie-conference-series/cie2020) is now
open and free of charge. Registration is mandatory to attend the talks.
CiE 2020 is the 16th conference organized by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world.
Previous meetings have taken place in Amsterdam (2005), Swansea (2006),
Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010),
Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest
(2015), Paris (2016), Turku (2017), Kiel (2018), and Durham (2019).
TUTORIALS
_Fine-Grained Complexity_ - Virginia Vassilevska Williams (MIT)
_Computable Analysis_ - Martin Ziegler (Korea Advanced Institute of
Science and Technology)
INVITED TALKS:
_Centralities in Network Analysis_ -- Paolo Boldi (University of Milan)
_A game-theoretic approach for the automated synthesis of complex
systems _-- Véronique Bruyère (University of Mons)
On-the-fly classification of structures -- Ekatarina Fokina (Vienna
University of Technology)
_A Survey on Analog Models of Computation_ -- Amaury Pouly (CNRS Paris)
_On the Repetitive Structure of Words_ -- Antonio Restivo (University of
Palermo)
_Molecular algorithms using reprogrammable DNA self-assembly_ -- Damien
Woods (Maynooth University)
HOSTED BY:
Department of Computer Science, University of Salerno
Due to the Covid-19 outbreak, this edition will be an online conference.
SPECIAL SESSIONS:
Algorithmic Learning Theory
Combinatorial String Matching
Computable Topology
HAPOC session on Fairness in Algorithms
Large scale Bioinformatics and Computational Sciences
Modern aspects of Formal Languages
The CiE conferences serve as an interdisciplinary forum for research in
all aspects of computability, foundations of computer science, logic,
and theoretical computer science, as well as the interplay of these
areas with practical issues in computer science and with other
disciplines such as biology, mathematics, philosophy, or physics.
The 2020 S. Barry Cooper Prize is awarded to Bruno Courcelle for his
work on the definability of graph properties in Monadic Second Order
Logic, through a sequence of seminal papers and a book (joint with Joost
Engelfriet). This forms an outstanding example of theory building,
bringing together logic, computability, graph grammars, and various
notions of graph width (tree-width, clique-width and rank-width) and
opening new avenues in our understanding of graph structure theory and
the computability and complexity of graph algorithms. Besides its
foundational character, the work has had great impact on a number of
areas of computer science, including in parameterized algorithmics,
verification and other areas, and has influenced a generation of
researchers in this field. It has straddled the divide between the
logical and algorithmic aspects of theoretical computer science.
The award ceremony will take place on July 2nd during the Computability
in Europe 2020 conference.
Registration at the conference
(https://www.acie.eu/cie-conference-series/cie2020) is mandatory to
attend, but it is without fees.
The Barry Cooper Prize Committee 2019-2023
Anuj Dawar
Peter Van Emde Boas
Yuri Gurevitch
Mariya Soskova
Paola Bonizzoni
==========================================================
==========================================================
TU Wien (Vienna University of Technology)
TU Graz (Graz University of Technology), and
JKU Linz (Johannes Kepler University),
are seeking highly qualified PhD 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 fully funded doctoral candidates for a starting period of 3 years.
STARTING DATE: Negotiable
LOCATION: Vienna or Graz, Austria (candidate´s choice)
SALARY: The PhD candidates receive an employment contract
DEADLINE: June 12, 2020
WEBSITE: https://logic-cs.at/phd
==========================================================
==========================================================
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.
==========================================================
=============
RESEARCH AREAS
=============
At the moment we are particularly looking for PhD 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
* Networking and Communication Technology
* 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
=============
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
=============
- E. 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) (EMPLOYMENT CONTRACT)
* The location of the research post is Vienna or Graz, Austria.
=============
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 <mailto:info@logic-cs.at>
=============
TWITTER
=============
@vclaTUwien
==========================================================
==========================================================
TU Wien (Vienna University of Technology)
TU Graz (Graz University of Technology), and
JKU Linz (Johannes Kepler University),
are seeking highly qualified PhD 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 fully funded doctoral candidates for a starting period of 3 years.
STARTING DATE: Negotiable
LOCATION: Vienna or Graz, Austria (candidate´s choice)
SALARY: The PhD candidates receive an employment contract
DEADLINE: June 12, 2020
WEBSITE: https://logic-cs.at/phd
==========================================================
==========================================================
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.
==========================================================
=============
RESEARCH AREAS
=============
At the moment we are particularly looking for PhD 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
* Networking and Communication Technology
* 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
=============
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
=============
- E. 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) (EMPLOYMENT CONTRACT)
* The location of the research post is Vienna or Graz, Austria.
=============
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 <mailto:info@logic-cs.at>
=============
TWITTER
=============
@vclaTUwien
Dear all,
Please consider providing a talk to the following workshop which will
now be held online. Sorry for cross-posting.
--------------------------------------------------------------------------------
Call for Speakers
Workshop on Programming Research in Mainstream Languages (PRiML)
Saarbrücken, Germany, Mon July 6th, 2020
https://agozillon.github.io/PRiML
PRiML 2020 will be held online. Registration is free.
# About PRiML
The First Workshop on Programming Research in Mainstream Languages is
co-located with the Thirty-Fifth Annual ACM/IEEE Symposium on Logic in
Computer Science (LICS 2020) & the 47th International Colloquium on
Automata, Languages and Programming (ICALP 2020) in Saarbrücken,
Germany, in July, 2020.
The PRiML workshop will consist of invited talks by leading experts
and shorter contributed talks selected by the Program Committee.
Programming language (PL) research in mainstream languages, entails
challenges beyond those encountered within the isolation of the
laboratory. Mainstream PLs, are supported by their many users, who
expect stability, but so too innovation – whether within the language
itself, or its standard libraries. A mainstream PL needs to support
the initial concept critique, subsequent implementations, political
calculations, and, ultimate bureaucracy involved in the execution of
full support for novel features – often across multiple
implementations. All that debate is due to real concerns about feature
interaction.
Performing PL research within a mainstream language can bring a
hitherto proven research concept from the laboratory to a wider
audience. Moreover, of course, the lack of isolation presents fresh
challenges as new concepts must fund their own idiomatic expressions
over the debate on feature interaction. One finds such expressions
either within an existing PL or as a new PL with the funding or
wherewithal to approach a mainstream audience.
On the other hand, the prototype PL crafted for experimenting with a
research idea might have features remote from existing mainstream PLs.
Choosing a mainstream PL to host the same research entails a fresh
examination of the host’s features for their suitability for the
research. The implication might be a very different feature set from
the host or simulation to those of the prototype in the mainstream PL.
Either way, the added benefit is solving the same research problem
using a fresh set of features.
# Preparation of submissions
We are looking for talks about PL research within mainstream PLs.
Prospective speakers should consider topics which:
1) briefly report on PL research performed with a mainstream PL; and
2) clearly outline the added value of the chosen PL(s) for the
reported research.
We invite contributions from innovators working with classic TIOBE
programming language mainstays such as Java, C, C++, Python and C#.
But so too we welcome maturing Stack Overflow darlings such as Rust,
Swift, Go and beyond.
Talk titles along with abstracts should be submitted by email to the
program chairs. Contact details are available on the [workshop
website](https://agozillon.github.io/PRiML).
# Important Dates
Proposal submission deadline: Friday June 5th
Author notification: by Friday June 12th
Workshop: Monday July 6th
# Program Chairs
The workshop is co-organized by Seyed Hossein Haeri (Université
catholique de Louvain, Belgium) and Paul Keir (University of the West
of Scotland, UK). Contact details are available on the [workshop
website](https://agozillon.github.io/PRiML).
Please consider the environment and think before you print.
The University of the West of Scotland is a registered Scottish
charity. Charity number SC002520.
This e-mail and any attachment is for authorised use by the intended
recipient(s) only. It may contain proprietary material, confidential
information and/or be subject to legal privilege. It should not be
copied, disclosed to, retained or used by, any other party. If you are
not an intended recipient then please promptly delete this e-mail and
any attachment and all copies and inform the sender.
Please note that any views or opinions presented in this email are
solely those of the author and do not necessarily represent those of
the University of the West of Scotland.
As a public body, the University of the West of Scotland may be
required to make available emails as well as other written forms of
information as a result of a request made under the Freedom of
Information (Scotland) Act 2002.
--
--------------------------------------------------------------------------------------------------------------
Seyed H. HAERI (Hossein), Dr.
Post-Doctoral Research Fellow
Department of Computing Science and Engineering
Catholic University of Louvain
Louvain-la-Neuve, Belgium
ACCU - Professionalism in programming - http://www.accu.org/
--------------------------------------------------------------------------------------------------------------
[Apologies for any duplicate messages]
==================
** ONLINE WORLDWIDE SEMINAR ON LOGIC AND SEMANTICS (OWLS) **
** https://www.cs.bham.ac.uk/~vicaryjo/owls/ **
The Online Worldwide Seminar on Logic and Semantics is an online-only
series of research talks, highlighting the most exciting recent work
in the international computer science logic community. In this time of
restricted international travel, a key aim of this series is to
provide a forum for informal discussion and social interaction that is
so important for the progress of science. To facilitate this, the
seminar incorporates in virtual form a number of features more
normally associated with physical meetings, including virtual "coffee
breaks" before and after the seminar, allowing participants to chat in
small groups. (Don't forget to bring your own coffee.)
Starting this Wednesday, we are excited to announce the first of our
OWLS Young Researcher talks, given by a researcher within 7 years of
completing their PhD. A new initiative, these OWLS-YR talks will take
place fortnightly, interleaved with regular OWLS talks. Our goal is to
give a platform to the excellent work being done by junior members of
the community. All members of the community are encouraged to attend
these talks.
** UPCOMING PROGRAMME **
Talks take place on Wednesdays at 2pm UTC+1. Abstracts are available
at the OWLS homepage. Visit this link to sign up for reminder emails
on the day of the talk: https://bit.ly/3cm0GZG
- 3 June (OWLS-YR). Dmitry Chistikov, University of Warwick,
"Parikh's theorem from the complexity viewpoint"
- 10 June (OWLS). Valeria Vignudelli, ENS Lyon, "Monads and
quantitative equational theories for nondeterminism and probability"
- 17 June (OWLS-YR). Marie Fortin, University of Liverpool, "FO=FO3
for linear orders with monotone binary relations"
- 24 June (OWLS). Anupam Das, University of Birmingham
- 1 July (OWLS-YR). Amina Doumane, CNRS, ENS de Lyon
- 8 July (OWLS). Christine Tasson, IRIF, Paris
- 15 July (OWLS-YR). Justin Hsu, University of Wisconsin–Madison, "A
separation logic for probabilistic independence"
- 22 July (OWLS). Tarmo Uustalu, Reykjavik University
** SEMINAR INFORMATION **
Talks are fully interactive, with audience members able to see the
speaker's face at the same time as the slides, and able to ask
questions with full audio and video, just as they would in a physical
seminar, allowing the nuanced communication that is so critical for
modern science.
After and before each seminar, the participants split into small
groups for informal discussion, an optional feature of the seminars
which has already become a favourite feature of the series for many of
the regular participants. Everybody is welcome to join these friendly
discussions.
The seminar series is based on the Zoom technology platform, which is
capable of handling large meetings with ease. Visit the OWLS webpage
given at the top of this email for more information about the seminar.
Best wishes, the organizers:
- Nathanaël Fijalkow, CNRS, Laboratoire Bordelais de Recherche en
Informatique, France
- Charles Grellois, Université Aix-Marseille, France.
- S. Krishna, IIT Bombay, India
- Koko Muroya, RIMS, Kyoto University, Japan
- Alexandra Silva, University College London
- Pawel Sobocinski, Tallinn University of Technology
- Jamie Vicary, University of Cambridge