Linton, Fred | 28 Jun 05:18 2015

Math ML in recent headlines

As I (mis)understand it, the ISO has now ratified MathML as a part of the HTML5 standard:


Great news! Now to find suitable tutorial/training/reference pages about it  :-) .

Cheers, -- FEJ Linton

[For admin and other information see: ]

Julian Gutierrez | 26 Jun 11:23 2015

Final call for papers: SR 2015, Oxford, Sept 21-22, UK

Summary of relevant information:

- Deadline (abstracts) : July 1st, 2015.
- Special issue        : Journal of Information and Computation.
- Format               : EPTCS (10 pages + references).
- Place                : Oxford, UK.
- Date                 : September 21-22, 2015.
- Main topics          : Games, Logic, Verification, Multi-Agent Systems.
- Invited Speakers     : Johan van Benthem, Amsterdam/Stanford University.
                          Joseph Halpern, Cornell University.
                          Marta Kwiatkowska, Oxford University.
                          Moshe Vardi, Rice University.

Detailed information below:


                     SR 2015 - Call For Papers

         3rd International Workshop on Strategic Reasoning

                   Oxford, 21-22 September, 2015



Strategic reasoning is one of the most active research areas in the
multi-agent system domain. The literature in this field is extensive
and provides a plethora of logics for modelling strategic
(Continue reading)

Michael Barr | 26 Jun 03:28 2015

Updated URL

The new URL is  I have 
added a few items, deleted a couple that were duplicates, and essentially 
tightened it up.  There were a couple of case clashes since Linux is case 
sensitive and Windows isn't so the link was broken.  If there are any 
further problems with the papers, please let me know and I will repair 


[For admin and other information see: ]

Uwe Egbert Wolter | 25 Jun 14:34 2015

Categories with hyperedges?

Dear all,

Categories can be defined by extending directed multi graphs with
identities and composition.  The underlying directed multi graph of a
small category C is given by the sets C_Mor, C_Obj and the source and
target maps src^C,trg^C:C_Mor -> C_Obj.

Has it ever been investigated what structures arise when we try,
instead, to extend directed multi hypergraphs by identities and
composition? A "directed multi hypergraph" H is thereby given by a set
H_E of edges, a set H_V of vertices and two maps src^H,trg^H:H_E ->
Pow(H_V) from H_E into the power set Pow(H_V) of H_V.

I'm aware of monoidal categories and I would like to know if there is
something else around.

Any comment or reference is welcome

Uwe Wolter

[For admin and other information see: ]

Michael Barr | 23 Jun 18:45 2015

Annivsrsary of Jim Lambek's death

Jim died just a year ago today.  I have a file of his recent papers (MR 
lists an astonishing 19 items published between 2001 and 2013 (plus there 
was a book, unreviewed).  I have gathered most of them and put them on a 
web site.  Right now the address is but I hope 
to get our sysop to relocate it to a better location and to put a link on 
his department page (look under faculty; the last section is called "In 

Many of the papers are downloaded from the published source.  They can be 
identified by the full citation that accompanies them. The rest I compiled 
from tex sources that Elaine Swan, his typist, was kind enough to send me. 
There is some duplication since it was not always clear which was the 
latest version.  some day, I hope to sort this out.  Note that the 
majority of the papers are on linguistics.


[For admin and other information see: ]

Olivia Caramello | 20 Jun 03:24 2015

"Topos à l'IHES" - first announcement

Dear All,

We are pleased to announce the following international conference on topos theory, which will take place
at IHES from 23 to 27 November 2015.

Everyone is welcome.

Best regards,
Olivia Caramello (on behalf of the Organizing Committee) 

Call for participation

23-27 November 2015
Institut des Hautes Études Scientifiques

* Scope *

The conference aims to illustrate the fruitfulness and wide-ranging 
impact of the theory of Grothendieck toposes, by featuring presentations on 
new theoretical advances in the subject (including the theory of higher toposes) 
as well as on applications of toposes in different fields such as number theory, 
algebraic geometry, logic, functional analysis, topology, mathematical physics 
and computer science. 

The conference is preceded by a two-day introductory mini-course for the 
benefit of students and mathematicians who are not already familiar with topos theory.
(Continue reading)

pjf | 13 Jun 20:30 2015

Another great Cheng review: NYTimes

Another first rate review (this time with its US title).

[For admin and other information see: ]

Jiří Rosický | 11 Jun 14:30 2015


Dear colleagues,
the Department of Mathematics and Statistics of the Masaryk university
in Brno is advertising tenure position(s) at:

Please feel free to contact me if you wish to know more about the positions.
With best regards,
Jiri Rosicky

[For admin and other information see: ]

David Roberts | 9 Jun 08:13 2015

On the issue of Replacement

Dear all,

I have been thinking lately about the uses of Replacement in ordinary
mathematics, viewed from the lens of ETCS. In particular, I wanted to
clear up what one might do to circumvent assuming Replacement (or an
equivalent) on top of ETCS, for instance. Key examples of what
Replacement allows us to do include forming colimits of 'diagrams'
specified by logical formulas (for instance the sequence where the
n^th term is the coproduct of the P^k(N) for k < n, together with
inclusions). I write 'diagrams' since these are not internal diagrams,
as is usual in topos theory, nor diagrams (as far as I can tell) in an
expanded vocabulary that allows us to talk of functors D --> Set
(please correct me if I'm wrong!).

In my naivety, I asked a question on MathOverflow [1] asking what is
wrong with the suggestion of having some sort of cocompletion of Set
(in an external sense) around that allows careful and guarded use of
formal colimits, as encoded by diagrams (or 'diagrams' in the above

Discussion there didn't proceed as I imagined, but led me to realise
(thanks to Zhen Lin and Francois Dorais) that the distinction between
internal and external indexing is what is going on. For instance, with
the 'diagram' involving iterated powersets above, one must distinguish
between the internal natural numbers and the natural numbers in the

So my question might now be approached in various ways

1) Asking if there a sensible way to talk about cocompletion (or other
(Continue reading)

Michael Winter | 8 Jun 20:54 2015

FINAL CALL FOR PhD/MSc Contributions (RAMiCS 2015)

    ? ? ? ?
                           15th International Conference on
             Relational and Algebraic Methods in Computer Science (RAMiCS 2015)

        ?????????28 September to 1 October 2015, Braga, Portugal

        ???????????????URL: ?

        ???????????======= Student Track (PhD / MSc) =======

The RAMiCS Conference is the main forum for Relational and Algebraic Methods
in Computer Science. Special focus lies on formal methods for software engineering,
logics of programs and links with neighbouring disciplines.

If you are currently doing a PhD or an MSc in the research areas of the RAMiCS
conference, then please consider submitting a short description of your ongoing
work for presentation at the conference (if accepted). This is an excellent
opportunity to discuss your work with leading experts in this field.

Submissions for the student session should take the form of extended abstracts.
They must be unpublished and not submitted for publication elsewhere. They
need to be in English, in postscript or pdf format, not exceeding 6 pages
produced with LaTeX in Springer LNCS style to be found under

Student papers will not be published in the conference proceedings - they
will be bound into a technical report to become available from RepositoriUM,
the University of Minho's central on-line repository.

Send submissions to: or or
(Continue reading)

Ralph Matthes | 8 Jun 15:53 2015

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

Second 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)

(news w.r.t. first CFP:
invited speakers are now known, they are Bartek Klin and James Worrell)


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
(Continue reading)