Alessio Guglielmi | 8 Feb 08:58 2016

PhD positions from October 2016 at the University of Bath

The Department of Computer Science of the University of Bath is offering several fully funded PhD
studentships for an October 2016 start.

An illustrative PhD project in proof theory is outlined below. Up to three studentships are available for
this project. Applicants should have or expect to gain at least the equivalent of a 2.1 BSc/MSc in a
relevant subject area and must satisfy RCUK residency rules for the full studentship (fees + stipend):

Deadline: 5 March 2016, but studentships might be allocated before the deadline.

Research team: Mathematical Foundations (Proofs, Categories, Semantics, Geometry and Computer Algebra)

To apply:

Proofs and algorithms are everyday objects in our discipline, but they are still very mysterious. Suffice
to say that we are currently unable to decide whether two given proofs or two given algorithms are the same;
this is an old problem that dates back to Hilbert. Also, proofs and algorithms are intimately connected in
the most famous open problem in mathematics: P vs NP.

We make progress by trying to unveil the fundamental structure behind proofs and algorithms, what we call
their semantics. In other words, we are interested in the following questions:

    What is a proof?
    What is an algorithm?
    How can we define them so that they have efficient and natural semantics?
(Continue reading)

Chris Kapulkin | 7 Feb 15:34 2016

Workshop on Homotopy Type Theory and Univalent Foundations, Fields Institute, May 16-20, 2016

Dear all,

This is a reminder about the Workshop on Homotopy Type Theory and
Univalent Foundations to be held at the Fields Institute in Toronto,
May 16-20, 2016. The workshop will consist of mini-courses on several
aspects of Homotopy Type Theory, as well as research talks, both
invited and contributed. The registration and abstract submission are
available at:

Limited financial support is available to cover participants' travel
and local expenses. Priority will be given to junior researchers and
those without other sources of funding. To be considered for funding,
please fill out the Funding Application Form which is a part of the
online registration.

Important dates:
* Funding application deadline: February 28, 2016.
* Contributed talk submission deadline: February 28, 2016.
* Registration deadline: May 2, 2016. (Early registration is
appreciated, to help us in our planning.)



Robert Harper (Carnegie Mellon University): Computational Higher Type Theory
Daniel R. Licata (Wesleyan University): Cubical Type Theory
Peter LeFanu Lumsdaine (Stockholm University): Homotopy-theoretic
(Continue reading)

Clemens Kupke | 5 Feb 16:27 2016

Post-doc and PhD position in Coalgebra for Data and Games <at> the MSP group, Univ. Strathclyde (Glasgow)

We currently have two vacancies within the MSP group at the University
of Strathclyde:

*) a 1-year post-doc position funded by the EPSRC project "Coalgebraic
Foundations of Semi-Structured Data"
*) a 3.5 year PhD studentship that is fully funded for EU students

Details about the post-doc and the application procedure can be found

Details about the PhD studentship follow below. Anyone interested in
these positions should feel free to contact me with questions.

All the best,

***                          PhD Position
***                  Coalgebra for Data and Games
***         Mathematically Structured Programming Group
***              University of Strathclyde, Glasgow

Applications are invited for PhD study under the supervision of Dr
Clemens Kupke and Prof Neil Ghani in coalgebra, category theory and
logic with special focus on coalgebraic fixpoint logics and their
applications in databases and economic game theory. The position is
(Continue reading)

Dimitrios Kartsaklis | 5 Feb 13:00 2016

2nd CfP: Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science

Dear colleagues,

Please find below the 2nd CfP for the workshop on Semantic Spaces in
Physics and NLP jointlyorganized by the QMUL CompLing Lab, the NLIP
group at Cambridge and the Quantum Group of Oxford. The paper submission
deadline is set for 20th of March 2016. Note that we have increased the
page limit to 8 pages in order to comply with the EPTCS guidelines.

Kind regards,
Dimitri Kartsaklis

        Workshop on Semantic Spaces at the Intersection of NLP,
                   Physics and Cognitive Science
     11th June 2016, University of Strathclyde, Glasgow, Scotland
                    (co-located with QPL 2016)

            General enquiries: slpcs2016 <at>

                          2nd CALL FOR PAPERS
           *** Paper submission deadline: 20th of Martch ***
             *** New page limit: 8 pages (EPTCS format) ***

Since their introduction in the early 1970s, vector space models of
meaning have evolved into a well-established area of research in Natural
Language Processing (NLP). Their probabilistic nature and ability to
(Continue reading)

Patrik Eklund | 2 Feb 06:10 2016

Categories in real world applications

If you know of any real world applications of category theory, please
let me know. I would be interested to know of clearly described
applications rather that anticipated ones using categories in background

When we speak about "applications of categories" or "applied categories"
we mostly or almost exclusively mean applying categories within
mathematics (or theoretical computer science), where we have categories
in algebra, topology, logic (and type theory), and so on. We do have
real world applications of algebra, topology, logic, and many other
branches of mathematics, but possible use of categories is then hidden
and/or indirect.

Therefore the question: Are categories applicable in the real world?

Application areas could be found within the public or private sectors.
In the public sector it can be e.g. within education and health, and in
the private sector in can be e.g. within energy, finance and

If I receive more than just a few replies, I will make a survey of it,
and later on inform the mailing list about the survey.

Looking forward.




(Continue reading)

John MacDonald | 1 Feb 08:57 2016

Re: FMCS2016 Vancouver, Canada. First Announcement

                                FMCS 2016
        24th Workshop on Foundational Methods in Computer Science
                  University of British Columbia, VANCOUVER, Canada
                          JUNE 2-5, 2016

                            FIRST ANNOUNCEMENT

                                  * * *

   The Department of Mathematics at the University of British Columbia(UBC)
   in cooperation with the Pacific Institute of Mathematical Sciences(PIMS)
   is hosting the Foundational Methods in Computer Science(FMCS) workshop
   on June 2-5, 2016, on the UBC campus in Vancouver, Canada

   The workshop is an annual informal meeting intended to bring together
   researchers in mathematics and computer science. There is a focus
   on the application of category theory in computer science. However, all
   those who are interested in category theory or computer science are
   welcome to attend.

   There will be a welcoming reception on Thursday June 2. The
   scientific program starts on June 3, and consists of a day of
   tutorials aimed at graduate students and those new to the field, as
   well as a day and a half of research talks. The meeting ends at
   1pm on Sunday June 5.

   Research talks

   There will be some invited presentations, but the majority of the
(Continue reading)

list-announcer | 29 Jan 11:34 2016

Funded Doctoral Positions in Computer Science in Austria (LogiCS)

(* Apologies if you got multiple copies of this email *)

Funded Doctoral Positions in Computer Science []

TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and
motivated students for their joint doctoral program LogiCS. The LogiCS
doctoral college focuses on interdisciplinary research topics covering

(i) computational logic, and applications of logic to
(ii) databases and artificial intelligence as well as to
(iii) computer-aided verification.


LogiCS is a doctoral college focusing on logic and its applications in
computer science. Successful applicants will work with and be
supervised by leading researchers in the fields of computational
logic, databases and knowledge representation, and computer-aided


M. Baaz     A. Biere  R. Bloem         A. Ciabattoni
U. Egly     T. Eiter  C. Fermueller    R. Grosu
A. Leitsch  M. Ortiz  R. Pichler       S. Szeider
H. Tompits  H. Veith  G. Weissenbacher

The LogiCS faculty comprises 15 renowned researchers with strong records
in research, teaching and advising, complemented by 12 associated
members who further strengthen the research and teaching activities of
(Continue reading)


Call for Nominations: The 2016 Alonzo Church Award for Outstanding Contributions to Logic and Computation

The 2016 Alonzo Church Award for Outstanding Contributions to Logic and

Call for Nominations


An annual award, called the Alonzo Church Award for Outstanding
Contributions to Logic and Computation, was established in 2015 by the
ACM Special Interest Group for Logic and Computation (SIGLOG), the
European Association for Theoretical Computer Science (EATCS), the
European Association for Computer Science Logic (EACSL), and the Kurt
G??del Society (KGS). The award is for an outstanding contribution
represented by a paper or by a small group of papers published within
the past 25 years. This time span allows the lasting impact and depth of
the contribution to have been established. The award can be given to an
individual, or to a group of individuals who have collaborated on the
research. For the rules governing this award, see

Eligibility and Nominations

The contribution must have appeared in a paper or papers published
within the past 25 years. Thus, for the 2016 award, the cut-off date is
January 1, 1991. When a paper has appeared in a conference and then in a
journal, the date of the journal publication will determine the cut-off
date. In addition, the contribution must not yet have received
recognition via a major award, such as the Turing Award, the Kanellakis
Award, or the G??del Prize. (The nominee(s) may have received such awards
for other contributions.) While the contribution can consist of
(Continue reading)


Call for papers: CSL 2016

                       CALL FOR PAPERS

                          CSL 2016
               25th EACSL Annual Conference on
                   Computer Science Logic

        August 29 -- September 1st, 2016, Marseille, France


Abstract submission: April  8, 2016
Paper submission:    April 15, 2016
Notification:        June  11, 2016

Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL). The conference is
intended for computer scientists whose research activities involve
logic, as well as for logicians working on issues significant for
computer science. CSL 2016 is the 25th EACSL annual conference, and will
be organized by Aix-Marseille Universit?? in Marseille, France.


Suggested topics of interest include (but are not limited to):

   * automated deduction and interactive theorem proving,
   * constructive mathematics and type theory,
(Continue reading)

Mojgan Mahmoudi | 22 Jan 15:28 2016

Prof Lawvere recent paper

Dear All

I would like to announce with pleasure that the 
recent paper of Prof. Lawvere  is now online in 
our journal CGASA: 

We will be grateful if you consider CGASA to 
publish your papers.

Best Wishes

Mojgan Mahmoudi; ProfessorDepartment of Mathematics,
Shahid Beheshti University,
Tehran 19839, IRAN.
Telefax: (+98)(21)(22431652)

[For admin and other information see: ]

hassei | 22 Jan 06:21 2016

FSCD'16 Final Call for Papers


First International Conference on Formal Structures for
Computation and Deduction (FSCD'16)

22 June -- 26 June 2016, Porto, Portugal



Abstract Submission: 29 January 2016
Paper Submission   :  5 February 2016
Rebuttal           : 21 - 23 March 2016
Notification       :  6 April 2016

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 and homotopy
type theory.  The name of the new conference comes from an unpublished
but  important  book by  Gerard  Huet  that  strongly influenced  many
researchers in the area.
(Continue reading)