Andrzej Murawski | 22 May 10:22 2015

ICALP/LICS 2015: Call for Participation

***** Call for Participation *****
***** ICALP/LICS 2015 in KYOTO (July 4-10, 2015) *****


Joint Conference of The 42nd International Colloquium on Automata,
Languages, and Programming (ICALP 2015) and The Thirtieth Annual
will be held in July 6-10, 2015, in Kyoto.

Eleven invited talks and about 240 papers on all areas of theoretical
computer science and logic in computer science will be presented at
Grand Prince Hotel Kyoto.  Also, seven workshops will take place at
Kyoto University on July 4 and 5.


Piotr Indyk (MIT, USA)
Ken-ichi Kawarabayashi (NII, Japan)
Daniel Kifer (Pennsylvania State University, USA)
Valerie King (University of Victoria, Canada)
Thomas Moscibroda (Microsoft Research and Tsinghua University, China)
Anca Muscholl (Université Bordeaux, France)
Peter O'Hearn (Facebook and University College London, UK)
Luke Ong (University of Oxford, UK)
Andrew Pitts (University of Cambridge, UK)
Geoffrey Smith (Florida International University, USA)
Ryuhei Uehara (JAIST, Japan)

(Continue reading)

fabio.zanasi | 19 May 15:14 2015

MFPS XXXI/CALCO 2015 : Call for Participation

>From June 22, in a galaxy far, far away...



                       MFPS XXXI

31st Conference on the Mathematical Foundations of Programming Semantics

                  June 22 - 25, 2015

 		     CALCO 2015

6th International Conference on Algebra and Coalgebra in Computer Science

                  June 24 - 26, 2015


           In cooperation with ACM SIGLOG

                 Nijmegen, Netherlands


        Early registration deadline:    June 14, 2015
(Continue reading)

Philip Mulry | 13 May 22:56 2015

FMCS 2015 - Final Announcement

FMCS 2015
23rd Workshop on Foundational Methods in Computer Science
Colgate University, Hamilton, NY, USA
June 4-7, 2015


Foundational Methods in Computer Science is an annual workshop bringing
together researchers in mathematics and computer science with a focus on
the application of category theory in computer science.

     This year's meeting will be hosted in the Department of Computer Science
at Colgate University located in Hamilton, NY.

     There will be an informal welcoming reception on the evening of June 4.
The scientific program starts on June 5, and consists of tutorials, invited
talks, and contributed talks. There will be an excursion on one of the
afternoons. The meeting ends midday on June 7th. Information on submission
of abstracts for contributed talks can be found on the workshop website.

Research Talks
     There will be some invited presentations, but the majority of the talks
are solicited from the participants. If you wish to give a talk please
indicate on the registration form by May 1.

Student support
(Continue reading)

S B Cooper | 11 May 20:00 2015

CiE 2015 in Bucharest - Call for Participation

CiE 2015:  Call for Participation and Registration

COMPUTABILITY IN EUROPE 2015: Evolving Computability
Bucharest, Romania
June 29 - July 3

Details on the registration:
Details on accommodation possibilities:
(please note the individual deadlines for each variant)

CiE 2015 is the 11-th 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) and Budapest (2014)

Evolution of the universe, and us within it, invite a parallel
evolution in understanding. The CiE agenda - fundamental and
engaged - targets the extracting and developing of computational
models basic to current challenges. From the origins of life, to
(Continue reading)

Fernando Muro | 8 May 14:24 2015

'Dérivateurs à Barcelone’ conference announcement

The conference 'Dérivateurs à Barcelone’, on Grothendieck derivators, will take place in the
University of Barcelona from Tuesday 1 to Friday 4 September 2015. The list of speakers is:

Denis-Charles Cisinski (Toulouse)
Martin Gallauer Alves de Souza (Zurich)
Moritz Groth (MPIM)
Fritz Hörmann (Freiburg)
Georges Maltsiniotis (Jussieu)
Kate Ponto (Kentucky)
George Raptis (Regensburg)
Jan Stovicek (Prague)
Gonçalo Tabuada (MIT) (confirmation pending)

It will have a workshop format with introductory talks during the first day. Hence, anyone potentially
interested in derivators can catch up on the talks on the current state of the art and applications planned
for the following days. There will be room for a very limited amount of contributed talks. We can also offer
some grants covering lodging and/or the conference fee (75€).

A web page with this and other relevant information will be ready very soon, but you can already register by
sending an email to congres.dab2015 <at> indicating:

Full name:
Do you need help to find an accommodation?
If so, please indicate your expected arrival/departure dates:
Would you like to present a contributed talk?
Would you like to apply for a grant?

Best regards,
(Continue reading)

Alex Simpson | 8 May 09:16 2015

PhD position available

I would be happy to receive applications for the position below from
students with an interest in category theory.


A position is available for a PhD student at the University of Ljubljana
in the general research area of modelling and reasoning about
computational effects. The precise topic is flexible, and will be
decided in combination with the student. The PhD will be supervised by
Alex Simpson who is Professor of Computer Science at the Faculty of
Mathematics and Physics:

The position will be funded by the EffMath project (see Full
tuition & stipend will be provided.

Applicants should have a master's (or equivalent) degree in either
mathematics or computer science, and possess some background knowledge
relevant to the project area. No knowledge of the Slovene language is

The student will officially enrol in October 2015 at the University of
Ljubljana, which is the largest university in Slovenia. There is an
active research group in foundations of computer science at the Faculty
of Mathematics and Physics, which includes Andrej Bauer, Matija Pretnar,
Alex Simpson and a number of PhD students.

As a city, Ljubljana is a beautiful and lively cultural centre, and
Slovenia is a welcoming and picturesque country.
(Continue reading)

Zhen Lin Low | 2 May 21:32 2015

Re: Are Joyal--Tierney fibrations exponentiable?

Dear Thomas,

Thank you for your reply. Michael Warren also pointed out to me (in a
private reply) that one can construct dependent products for split
fibrations of internal groupoids. Unfortunately, this doesn't quite
answer my question.

As far as I know, Joyal--Tierney fibrations are cloven (or rather,
cleavable), but they do not have to split. After all, in the case
where the Grothendieck topos we start with is Set, the Joyal--Tierney
model structure coincides with the standard model structure on Grpd,
in which the fibrations really are just isofibrations in the usual
sense. (I assume the axiom of choice here; the theory of cofibrantly
generated model categories breaks down otherwise.)

Incidentally, since you bring up universes, perhaps I should explain
why I am focusing on Joyal--Tierney fibrations: I am wondering about
the strength of propositional resizing. As you say, the groupoid
interpretation makes sense constructively; but it is not hard to see
that propositional resizing in the groupoid interpretation implies a
weak form of the axiom of choice (namely, WISC) in the ambient set
theory. This essentially boils down to the difference between weak
equivalences (= fully faithful and essentially surjective on objects)
and equivalences. The difference disappears when one restricts to
Joyal--Tierney fibrations: this is a special case of the so-called
"Whitehead theorem" in model category theory.

Zhen Lin

(Continue reading)

Tarmo Uustalu | 1 May 22:57 2015

TYPES 2015 call for participation

* Invited talks: Andrej Bauer, Gilles Barthe, Peter Selinger

* Tutorials: Joachim Kock, Peter LeFanu Lumsdaine

* Registration closes 8 May 2015.

                       CALL FOR PARTICIPATION

    21st International Conference on Types for Proofs and Programs,
                             TYPES 2015
                  Tallinn, Estonia,  18-21 May 2015



The TYPES meetings are a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalized
and computer assisted reasoning and computer programming. The meetings
from 1990 to 2008 were annual workshops of a sequence of five EU
funded networking projects. Since 2009, TYPES has been run as an
independent conference series. Previous TYPES meetings were held in
Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993),
Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998),
Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002),
Torino (2003), Jouy en Josas near Paris (2004), Nottingham (2006),
Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw
(2010), Bergen (2011), Toulouse (2013), Paris (2014).

The TYPES areas of interest include, but are not limited to:
(Continue reading)

Zhen Lin Low | 1 May 15:04 2015

Are Joyal--Tierney fibrations exponentiable?

Dear categorists,

Consider the category M of internal groupoids in a Grothendieck topos,
equipped with the Joyal--Tierney model structure where the
cofibrations are the injective-on-objects functors and the weak
equivalences are the fully faithful functors that are essentially
surjective on objects (the latter in the sense of internal logic). Are
the fibrations in this model structure exponentiable in the sense that
pulling back fibrations along a fibration has a right adjoint?

Notice that M is a right proper model category in which the class of
cofibrations is closed under pullback, so if the answer to the above
question is yes, then the Lumsdaine--Warren construction can be
applied to obtain a model of dependent type theory with identity
types, dependent products, dependent sums, coproducts, etc.

Best wishes,
Zhen Lin

[For admin and other information see: ]

Ralph Matthes | 30 Apr 16:13 2015

FICS'15 Call for papers - Fixed Points in Computer Science (CSL'15 workshop 11+12 sept. 2015)

Call for Papers

*** FICS 2015 ***

                International Workshop on Fixed Points in Computer Science
                Berlin, 11-12 September 2015
                satellite of the International Conference CSL 2015
                (Computer Science Logic)


Abstract submission:         Monday, June 16
Paper submission:            Monday, June 23
Notification:                Monday, July 27
Final version:               Monday, August 24


Fixed points play a fundamental role in several areas of computer science.
They are used to justify (co)recursive definitions and associated reasoning
techniques. The construction and properties of fixed points have been
investigated in many different settings such as: design and implementation
of programming languages, logics, verification, databases.

The aim of this workshop is to provide a forum for researchers to present
their results to those members of the computer science and logic communities
who study or apply the theory of fixed points.

(Continue reading)

Dirk Hofmann | 28 Apr 18:57 2015

CT 2015 Special Lecture

Dear Colleagues,

it is our great pleasure to announce a Special Lecture at CT 2015 by
Bill Lawvere entitled:

"Alexander Grothendieck and the modern conception of Space".

It was pointed out to us by Bill that we are celebrating this year the
50th anniversary of international category theory meetings (starting
with 1965 La Jolla Conference on Categorical Algebra, organized by
Helmuth Roehrl). This fact has been duly noted on the conference web
site, see

Hoping to be able to welcome you at CT2015,

Walter Tholen and Dirk Hofmann

PS: We would also like to remind you that the deadline for early
registration is May 1.

[For admin and other information see: ]