SIGLOG Monthly 196
October 10, 2017
*******************************************************************
* Past issues of the newsletter are available at
http://lics.siglog.org/newsletters/
* Instructions for submitting an announcement to the newsletter
can be found at
http://lics.siglog.org/newsletters/inst.html
*******************************************************************
TABLE OF CONTENTS
* NEWS
Winners of the 2017 Alonzo Church Award
FLoC 2018 - Preliminary annoucement
ACM SIGLOG Announcement
EATCS Bulletin - Call for abstracts
Obituary: Vladimir Voevodsky
Obituary: Maurice Nivat
Obituary: Mike Gordon
Obituary: Lotfi A. Zadeh
* DEADLINES
Forthcoming Deadlines
* CALLS
ETAPS - Call for Papers
PODS 2018 - Call for Papers
CPP 2018 - Call for Papers
RSSRail 2017 - Call for Participation
CATEGORIES LOGIC AND PHYSICS SCOTLAND - Call for Participation
FoIKS 2018 - Call for papers
ITQES - Call for papers
FSCD 2018 - First Call for Papers
CCC2017 - Call for submissions (postproceedings)
* JOB ANNOUNCEMENTS
POST-DOC POSITION AT TU DORTMUND
POSTDOCTORAL RESEARCHER IN SEMANTICS AND TOOLS FOR QUANTUM PROGRAMMING LANGUAGES
WINNERS OF THE 2017 CHURCH AWARD
http://siglog.org/winners-of-the-2017-alonzo-church-award/
* The 2017 Alonzo Church Award for Outstanding Contributions to Logic
and Computation is given jointly to Samson Abramsky, Radha
Jagadeesan, Pasquale Malacaria, Martin Hyland, Luke Ong, and Hanno
Nickau for providing a fully-abstract semantics for higher-order
computation through the introduction of game models, thereby
fundamentally revolutionising the field of programming language
semantics, and for the applied impact of these models.
* Their contributions appeared in three papers:
- S. Abramsky, R. Jagadeesan, and P. Malacaria. Full Abstraction for
PCF. Information and Computation, Vol. 163, No. 2, pp. 409 - 470,
2000.
- J.M.E. Hyland and C.-H.L. Ong. On Full Abstraction for PCF: I, II,
and III. Information and Computation, Vol. 163, No. 2,
pp. 285 - 408, 2000.
- H. Nickau. Hereditarily sequential
functionals. Proc. Symp. Logical Foundations of Computer Science:
Logic at St. Petersburg (eds. A. Nerode and Yu.V. Matiyasevich),
Lecture Notes in Computer Science, Vol. 813,
pp. 253 - 264. Springer-Verlag, 1994.
A description of the contributions is available at
http://siglog.org/winners-of-the-2017-alonzo-church-award/
* The 2017 award will be presented at the 26th Computer Science Logic
(CSL) Conference, the annual meeting of the European Association for
Computer Science Logic. This will be held August 20th - 24th, 2017, at
Stockholm University, Sweden.
THE 2018 FEDERATED LOGIC CONFERENCE (FLoC 2018)
Preliminary annoucement
6-19 July 2018
Oxford, England UK
http://www.floc2018.org/
* In 1996, as part of its Special Year on Logic and Algorithms, DIMACS
hosted the first Federated Logic Conference (FLoC). It was modelled
after the successful Federated Computer Research Conference (FCRC),
and synergetically brought together conferences that apply logic to
computer science.
* We are pleased to announce the seventh Federated Logic Conference
(FLoC'18) to be held in Oxford, UK, in July 2018, at the
Mathematical Institute and the Blavatnik School of Government at the
University of Oxford.
* FLoC 2018 brings together nine major international conferences
related to mathematical logic and computer science:
International Conference on Computer Aided Verification (CAV)
IEEE Computer Security Foundations Symposium (CSF)
International Symposium on Formal Methods (FM)
International Conference on Formal Structures for Computation and
Deduction (FSCD)
International Conference on Logic Programming (ICLP)
International Joint Conference on Automated Reasoning (IJCAR)
International Conference on Interactive Theorem Proving (ITP)
Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
International Conference on Theory and Applications of Satisfiability
Testing (SAT)
Plus FLoC workshops (7-8 July, 13 July, and 18-19 July) and the
School on Foundations of Programming and Software Systems (FoPSS, 30
June - 6 July).
* We have already begun confirming exciting lineup of speakers,
including keynotes by Shafi Goldwasser and Georges Gonthier; plenary
lectures by Peter O'Hearn and Byron Cook; and a public lecture by
Stuart Russell at the Sheldonian Theatre. We will also hold an
Oxford Union-style debate on ethics for autonomous robots. There
will be banquets, receptions and other social events in historic
venues across the city: see www.floc2018.org/social-events/ for the
latest updates.
* PROGRAMME COMMITTEE
General Chair: Moshe Y. Vardi
Co-chairs: Daniel Kroening, Marta Kwiatkowska
CAV: Hana Chockler
CSF: Stephen Chong
FM: Bill Roscoe
FSCD: Helene Kirchner
ICLP: Paul Tarau
IJCAR: Roberto Sebastiani
ITP: Assia Mahboubi
LICS: Martin Hofmann
SAT: Olaf Byersdorff
ACM SIGLOG ANNOUNCEMENT
http://siglog.acm.org
* The ACM has recently chartered a Special Interest Group on Logic and
Computation (ACM SIGLOG).
* We are pleased to announce the 2016 ACM SIGLOG election results for
the term of 1 July 2016 - 30 June 2019. The SIGLOG Chair is Prakash
Panangaden and the other officers are Luke Ong (vice-Chair), Amy
Felty (Treasurer) and Alexandra Silva (Secretary).
* The ACM-IEEE Symposium on Logic in Computer Science is the flagship
conference of SIGLOG. SIGLOG will also actively seek association
agreements with other conferences in the field. A SIGLOG newsletter
(SIGLOG News) is also published quarterly in an electronic format
with community news, technical columns, members' feedback,
conference reports, book reviews and other items of interest to the
community.
* One can join SIGLOG by visiting
https://campus.acm.org/public/qj/gensigqj/siglist/gensigqj_siglist.cfm
It is possible to join SIGLOG without joining ACM (the SIGLOG
membership fee is $25 and $15 for students).
EATCS Bulletin - Call for abstracts
* EATCS Bulletin, http://eatcs.org/index.php/eatcs-bulletin, has a
section for "Technical contributions." To stimulate this section
further, we will be considering for publication abstracts of works
that have been accepted by journals and/or conferences or have
appeared in major archives. The topics of interest include all
areas of theoretical computer science (for instance, see topics of
the three Tracks of ICALP,
http://www.easyconferences.eu/icalp2016/cfp.html).
* Abstracts should be rather detailed, 2-3 pages long in the format
given at http://eatcs.org/index.php/eatcs-bulletin. Submissions
should include the information on the full paper (the name of
conferences, archives, etc) and sufficiently detailed explanation of
its merits, e.g., importance, motivations, clear comparison with
existing results and novelty and/or new ideas of proof techniques.
* The Bulletin is published in Feb, Jun and Oct. The deadline for the
abstract submission is 20th of the previous month, for instance, May
20 (Sat) 2017 for the June issue of this year. All materials
including tex and pdf files should be sent electrically to
bulletin@eatcs.org and iwama@kuis.kyoto-u.ac.jp.
Acceptance/rejection, decided based on its merit mentioned above,
will be notified as soon as possible. The Bulletin will not require
copy-right transfer for accepted abstracts.
OBITUARY: VLADIMIR VOEVODSKY
It is with great sadness that we announce the passing of Vladimir
Voevodsky, Professor in the School of Mathematics at the Institute
for Advanced Study in Princeton. Vladimir Voevodsky was awarded the
Fields Medal for his outstanding advances in algebraic geometry. In
recent years he was working on new foundations of mathematics based
on homotopy-theoretic semantics of Martin-Lof type theories.
https://www.ias.edu/news/2017/vladimir-voevodsky
OBITUARY: MAURICE NIVAT
It is with deep sadness that we announce the death of Maurice Nivat,
professor of theoretical computer science at the University of Paris
VII 'Denis Diderot'. His overwelming contributions in various fields
of theoretical computer science are briefly recalled in the
following obituary
http://eatcs.org/index.php/component/content/article/1-news/2542-obituary-for-maurice-nivat-
A short scientfic biography (mostly in French) appeared in TCS in
2002: "Une brève biographie scientifique de Maurice Nivat"
https://doi.org/10.1016/S0304-3975(02)00004-X
OBITUARY: MIKE GORDON
It is with great sadness that we announce the death of Professor
Mike Gordon FRS. Mike Gordon joined the Computer Laboratory at the
University of Combridge in 1981 and he made magnificent contributions
to the Department in many different ways. He will be sadly missed.
https://www.cl.cam.ac.uk/misc/obituaries/gordon/
OBITUARY: LOFTI A. ZADEH
We are sad to announce the passing of Lotfi A. Zadeh, professor
emeritus at University of California, Berkeley. He passed away on
Sept. 6, 2017, aged 97. An obituary, outlining his seminal
contributions in logic, computer science and cognitive informatics
can be found below:
http://engineering.berkeley.edu/2017/09/remembering-lotfi-zadeh
DATES
* ETAPS 2018
Call for Papers
April 14-21, 2108, Thessaloniki, Greece
http://www.etaps.org/2018
* PODS 2018
Call for Papers
June 11 - June 13, 2018, Houston, Texas, USA
PODS has two rounds of submissions (see dates below).
Paper submission (2nd cycle): Dec 19, 2017
* CPP 2018
Second Call for Papers
January 8-9, 2018, Los Angeles, USA
http://popl18.sigplan.org/track/CPP-2018
Full paper submission deadline: Wed 11 Oct 2017
* RELIABILITY, SAFETY AND SECURITY OF RAILWAY SYSTEMS (RSSRail 2017)
Call for Participation
November 14-16, 2017, Pistoia, Italy
https://conferences.ncl.ac.uk/rssrail/
* CATEGORIES LOGIC AND PHYSICS SCOTLAND
Call for Participation
Monday 20 November 2017
School of Informatics, University of Edinburgh
http://conferences.inf.ed.ac.uk/clapscotland/
* FoIKS 2018
Call for papers
May 14-18, 2018, Alfred Renyi Institute of Mathematics, Budapest, Hungary
http://2018.foiks.org/
Paper submission: December 01, 2017
* ITEQS 2018
Call for Papers
Co-located with ICST 2018, Vasteras - Sweden
http://www.mrtc.mdh.se/ITEQS/2018/
Submission deadline: January 12, 2018
* FSCD 2018
First Call for Papers
Oxford, UK, July 9 - 12th, 2018.
http://fscd-conference.org/editions/fscd-2018
Part of The Federated Logic Conference, FLoC 2018,
Submission Deadline: January 22nd, 2018
* CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY: FROM LOGIC TO ALGORITHMS 2017
Call for Submissions (Postproceedings)
Deadline for submission 1 February 2018
21st EUROPEAN JOINT CONFERENCES ON THEORY AND PRACTICE OF
SOFTWARE (ETAPS 2018)
Call for Papers
April 14-21, 2108, Thessaloniki, Greece
http://www.etaps.org/2018
* NEW! The proceedings of ETAPS 2018 will appear in *gold open access*.
* As an exception for this year only, the important dates of POST
differ from the other member conferences!
* ETAPS is a federation of 5 conferences, ESOP, FASE, FoSSaCS, POST
and TACAS.
* Important dates for all member conferences except POST:
Abstracts: Oct 13, 2017 / Papers: Oct 20, 2017
Rebuttal (ESOP, FoSSaCS only): Dec 6-8, 2017
Notification: Dec 22, 2017
Camera-ready versions: Feb 23, 2018
* Important dates for *POST*:
Abstracts: Nov 22, 2017 / Papers: Nov 24, 2017
Rebuttal: Jan 12-16, 2018
Notification: Jan 25, 2018
Camera-ready versions: Feb 23, 2018
* For further information, see the website.
37th ACM SIGMOD-SIGACT-SIGAI Symposium on PRINCIPLES OF DATABASE
SYSTEMS (PODS 2018)
Call for Papers
June 11 - June 13, 2018, Houston, Texas, USA
PODS has two rounds of submissions (see dates below).
* The PODS symposium series, held in conjunction with the SIGMOD
conference series, provides a premier annual forum for the
communication of new advances in the theoretical foundations of data
management, traditional or non-traditional (see
http://www.sigmod.org/the-pods-pages/the-pods-pages).
* For the 37th edition, PODS continues to aim to broaden its scope,
and calls for research papers providing original, substantial
contributions along one or more of the following aspects:
- deep theoretical exploration of topical areas central to data
management;
- new formal frameworks that aim at providing the basis for deeper
theoretical investigation of important emerging issues in data
management;
- validation of established theoretical approaches from the lens of
practical applicability in data management. Papers in this track
should provide an experimental evaluation that gives new insight
in established theories. Besides, they should provide a clear
message to the database theory community as to which aspects need
further (theoretical) investigation, based on the experimental
findings.
* Topics (that fit the interests of the symposium include, but are not
limited to):
- concurrency & recovery, distributed/parallel databases, cloud
computing
- data and knowledge integration and exchange, data provenance, views
and data warehouses, metadata management
- data-centric (business) process management, workflows, web services
- data management and machine learning
- data mining, information extraction, search
- data models, data structures, algorithms for data management
- data privacy and security, human-related data and ethics
- data streams
- design, semantics, query languages
- domain-specific databases (multi-media, scientific, spatial,
temporal, text)
- graph databases and (semantic) Web data
- incompleteness, inconsistency, uncertainty in data management
- knowledge-enriched data management
- model theory, logics, algebras, computational complexity
* PROGRAM CHAIR: Marcelo Arenas
* IMPORTANT DATES:
First Submission Cycle:
- Abstract submission: Jun 15, 2017
- Paper submission: Jun 22, 2017
- First notification: Aug 31, 2017
- Revision deadline: Sep 28, 2017
- Final notification: Nov 02, 2017
Second Submission Cycle:
- Abstract submission: Dec 12, 2017
- Paper submission: Dec 19, 2017
- Final notification: Feb 27, 2018
All deadlines end at 11:59pm AoE.
SEVENTH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND
PROOFS (CPP 2018)
Call for Papers
January 8-9, 2018, Los Angeles, USA
http://popl18.sigplan.org/track/CPP-2018
* OVERVIEW
Certified Programs and Proofs (CPP) is an international forum on
theoretical and practical topics in all areas, including computer
science, mathematics, and education, that consider certification as
an essential paradigm for their work. Certification here means
formal, mechanized verification of some sort, preferably with
production of independently checkable certificates.
* DATES
- Abstract submission deadline: Fri 6 Oct 2017
- Full paper submission deadline: Wed 11 Oct 2017
- Notification: Tue 14 Nov 2017
* INVITED SPEAKERS
- Brigitte Pientka (McGill University, Canada)
- René Thiemann (University of Innsbruck, Austria)
* PROGRAM CO-CHAIRS
- June Andronick (Data61, CSIRO and UNSW, Australia)
- Amy Felty (University of Ottawa, Canada)
INTERNATIONAL CONFERENCE ON RELIABILITY, SAFETY AND SECURITY OF
RAILWAY SYSTEMS: MODELLING, ANALYSIS, VERIFICATION AND CERTIFICATION
RSSRail 2017
November 14-16, 2017, Pistoia, Italy
https://conferences.ncl.ac.uk/rssrail/
* RESEARCH PROGRAM
See details at:
http://conferences.ncl.ac.uk/rssrail/programme/
KEYNOTE SPEAKERS
Jens Braband, Siemens AG, Rail Automation and Honorary Professor of
Technical University of Braunschweig, Germany:
Michael Leuschel, Heinrich Heine Universitat, Dusseldorf, Germany:
Aryldo Ar. Russo, CERTIFER, France:
* TUTORIALS
Four tutorials will be presented, see details at:
http://conferences.ncl.ac.uk/rssrail/tutorials/
* CONFERENCE CHAIRS:
Alessandro Fantechi, University of Florence, Italy
Thierry Lecomte, ClearSy, France
Alexander Romanovsky, Newcastle University, UK
CATEGORIES LOGIC AND PHYSICS SCOTLAND
Call for Participation
Monday 20 November 2017
School of Informatics, University of Edinburgh
http://conferences.inf.ed.ac.uk/clapscotland/
* Following three successful earlier meetings, we are pleased to
announce the fourth workshop in the CLAP Scotland series, and invite
you to participate.
* CONFIRMED SPEAKERS include:
Danel Ahman (INRIA Paris)
Bob Coecke (University of Oxford)
Ross Duncan (University of Strathclyde)
Christian Korff (University of Glasgow)
Tom Leinster (University of Edinburgh)
Noam Zeilberger (University of Birmingham)
* Registration is free. For catering purposes, please email the local
organiser if you plan to attend. We look
forward to seeing you in Edinburgh!
10th SYMPOSIUM ON FOUNDATIONS OF INFORMATION AND KNOWLEDGE SYSTEMS
(FoIKS 2018)
Call for papers
May 14-18, 2018, Alfred Renyi Institute of Mathematics,
Budapest, Hungary
http://2018.foiks.org/
* FoIKS 2018 solicits original contributions dealing with any
foundational aspect of information and knowledge systems. This
includes submissions that apply ideas, theories or methods from
specific disciplines to information and knowledge systems. Examples
of such disciplines are discrete mathematics, logic and algebra,
model theory, information theory, complexity theory, algorithmics
and computation, statistics and optimization.
* The FoIKS symposia are a forum for intense discussions. Speakers
will be given sufficient time to present their ideas and results
within the larger context of their research; furthermore,
participants will be asked to prepare a first response to another
contribution in order to initiate discussion.
* INVITED SPEAKERS
Laura Kovacs (TU Wien),
Sebastian Link (Auckland Univ.),
David Pearce (TU Madrid),
Bernhard Thalheim (Christian-Albrechts Univ. Kiel)
* Scientific Sponsors: ALP, EATCS, Vienna Center for Logic and Algorithms
* IMPORTANT DATES
Abstract submission due: November 24, 2017;
Paper submission: December 01, 2017;
Notification: February 02, 2018
* Detailed information can be found on the webpage: http://2018.foiks.org/
2ND INTERNATIONAL WORKSHOP ON TESTING EXTRA-FUNCTIONAL PROPERTIES
AND QUALITY CHARACTERISTICS OF SOFTWARE SYSTEMS (ITEQS)
Co-located with ICST 2018, Vasteras - Sweden
http://www.mrtc.mdh.se/ITEQS/2018/
* SCOPE The workshop endorses contributions in a wide range of
topics related to testing of EFPs in the form of full papers and
short yet solid work-in-progress/position papers. Note: The
workshop does not accept papers that focus purely onfunctional
testing! For further information, see the website.
* IMPORTANT DATES
Submission deadline: January 12, 2018
Notifications: February 21, 2018
Workshop date: April 9, 2018 (preliminary)
* ORGANIZERS
Mehrdad Saadatmand, RISE SICS Vasteras, Sweden
(mehrdad.saadatmand[at]ri.se)
Birgitta Lindstrom, University of Skovde, Sweden
(birgitta.lindstrom[at]his.se)
Bernhard K. Aichernig, Graz University of Technology, Austria
(aichernig[at]ist.tugraz.at)
* Contact: iteqs2018@easychair.org
THIRD INTERNATIONAL CONFERENCE ON FORMAL STRUCTURES FOR COMPUTATION
AND DEDUCTION (FSCD 2018)
Oxford, UK, July 9 - 12th, 2018.
http://fscd-conference.org/editions/fscd-2018
Part of The Federated Logic Conference, FLoC 2018,
Oxford, UK, July 6 - 19th, 2018.
http://www.floc2018.org
* TOPICS: 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, proof theory and new emerging models of
computation such as quantum computing or homotopy type theory.
* Suggested, but not exclusive, list of topics for submission are:
1. Calculi: Lambda calculus - Concurrent calculi - Logics -
Rewriting systems - Proof theory - Type theory and logical
frameworks 2. Methods in Computation and Deduction: Type systems -
Induction and coinduction - Matching, unification, completion, and
orderings - Strategies - Tree automata - Model checking - Proof
search and theorem proving - Constraint solving and decision
procedures 3. Semantics: Operational semantics - Abstract machines -
Game Semantics - Domain theory and categorical models - Quantitative
models 4. Algorithmic Analysis and Transformations of Formal
Systems: Type Inference and type checking - Abstract Interpretation
- Complexity analysis and implicit computational complexity -
Checking termination, confluence, derivational complexity and
related properties - Symbolic computation 5. Tools and Applications:
Programming and proof environments - Verification tools - Libraries
for proof assistants and interactive theorem provers - Case studies
in proof assistants and interactive theorem provers - Certification
- Applications to security, planning, data bases
* IMPORTANT DATES:
All deadlines are midnight anywhere-on-earth (AoE); late submissions
will not be considered.
Abstract Deadline: January 15th, 2018
Submission Deadline: January 22nd, 2018
Rebuttal: March 22 - 25th, 2018
Notification: April 2nd, 2018
Camera-Ready: May 2nd, 2018
FSCD Conference: July 9 - 12th, 2018
FLoC Conference: July 6 - 19th, 2018
* PROGRAM COMMITTEE CHAIR
Helene Kirchner, Inria
* CONFERENCE & WORKSHOP CHAIR:
Paula Severi, Leicester U.
CONTINUITY, COMPUTABILITY, CONSTRUCTIVITY: FROM LOGIC TO ALGORITHMS 2017
Call for Submissions (Postproceedings)
Deadline for submission 1 February 2018
* After the successful start of the new EU-MSCA-RISE project
"Computing with Infinite Data" (CID) and the excellent Workshop CCC
2017 in Nancy (France) in June this year, we are planning to publish
a collection of papers dedicated to the meeting and to the project
as a Special Issue in the open-access journal
LOGICAL METHODS IN COMPUTER SCIENCE.
* The issue should reflect progress made in Computable Analysis and
related areas, and is not restricted to work in the CID project or
presented at the Workshop.
* Submissions are welcome from all scientists on topics in the
entire spectrum from logic to algorithms including, but not limited
to: Exact real number computation, Correctness of algorithms on
infinite data, Computable analysis, Complexity of real numbers,
real-valued functions, etc. Effective descriptive set theory,
Constructive topological foundations, Scott's domain theory,
Constructive analysis, Category-theoretic approaches to computation
on infinite data, Weihrauch degrees, Randomness and computable
measure theory, Other related areas.
* EDITORS:
Ulrich Berger (Swansea, UK)
Pieter Collins (Maastricht, NL)
Mathieu Hoyrup (Nancy, FR)
Victor Selivanov (Novosibirsk, RUS)
Dieter Spreen (Siegen, DE)
Martin Ziegler (KAIST, KR)
* DEADLINE FOR SUBMISSION:
1 February 2018
* If you intend to submit a paper for the special issue, please inform
us by sending email to: spreen@math.uni-siegen.de by 1 January 2018
POST-DOC POSITION AT TU DORTMUND
* At TU Dortmund University, we are looking for talented and motivated
post-doctoral researchers (or PhD students) interested in joining
the project Dynamic Expressiveness of Logics, which is funded by the
Deutsche Forschungsgemeinschaft (DFG).
* The opening is in the working group of Thomas Schwentick.
* The position is limited to two years, until 30.09.2019, and does not
involve teaching obligations.
* The official, complete job opening is available at
https://service.tu-dortmund.de/documents/18/2120797/Research+Assistant+(Ref
.-Nr.+w45-17)/ade04a70-99ab-46fb-8dbf-fc129ac24d06?version=3D1.0
* Interested? Please do not hesitate to contact us:
TU Dortmund, Dept. of Computer Science
Chair I - Logic in Computer Science
Thomas Schwentick
Otto-Hahn-Str. 12
44227 Dortmund
Germany
POSTDOCTORAL RESEARCHER IN SEMANTICS AND TOOLS FOR QUANTUM PROGRAMMING
LANGUAGES
* Applications are invited for a postdoctoral position beginning
October 1, 2017 and running through November 30, 2018. The position
is in the Department of Computer Science at Tulane University, and
will be under the supervision of Professor Michael Mislove.
* The successful applicant will work on a project entitled
"Semantics, Formal Reasoning, and Tool Support for Quantum
Programming". The project involves designing high-level semantic
models and tools to support quantum functional programming
languages. A prototype language is Proto-Quipper, which has been
under development (http://www.mathstat.dal.ca/~selinger/quipper/
). This language uses the circuit model for quantum computation, and
envisions languages that support quantum computation under classical
control. The overall aim is to design type-safe functional
programming languages for quantum computing. The project also
involves developing the meta-theory (including categorical
semantics) of such languages, and eventually to formalize some of
the meta-theory in a proof assistant. The focus of the Tulane work
is modeling recursion in such languages, which requires developing
quantum domain theory, but interactions with other aspects of the
project are expected.
* Familiarity with programming language design, and / or semantics
is a prerequisite of the position. The latter includes categorical
semantics and domain theory. A good knowledge of category theory is
also a prerequisite. Of course, familiarity with quantum computing
is helpful. Additional components of the project will address issues
around quantum information such as non-locality and contextuality,
adapting proof assistants (Coq, Agda, Lean, etc) to develop
automated verification for quantum programming languages.
* To apply for one of this position, direct your browser to the link:
https://apply.interfolio.com/41053
* Funding for the project comes from the DOD and the U.S. Air Force
Office of Scientific Research.
Back to the LICS web page.