Call for Papers

Call for Papers

[Robert A.G. Seely]

LAMBEK FESTSCHRIFT - CALL FOR PAPERS

The (electronic) journal "Theory and Applications of Categories" has
agreed to publish a special volume in honour of the work of our
colleague Joachim Lambek, in celebration of his 75th birthday,
which was marked by a symposium at McGill on his actual birthday last
December 5th, 1997.  We welcome submissions to this volume from anyone
interested. All papers submitted will undergo the usual TAC referee
process, and we are hopeful that the final volume will be ready before
summer 1999.  (For the TAC home page, see <http://www.tac.mta.ca/tac/>).

Topics suitable for the volume include any of the subjects to which
Jim Lambek has contributed which fall roughly within the scope of TAC.
For example, categorical algebra, categorical logic and proof theory,
mathematical linguistics, algebra and ring theory (preferably with
some categorical application or methodology), categorical computer
science, etc.

We would like to note that a companion volume is also being prepared
by the journal "Mathematical Structures in Computer Science" - there
may still be room for a very small number of short-to-moderate-length
papers to be included in that volume. If you wish your submission to
be considered for that, please indicate this when you submit your
paper to us.  (Of course, MSCS's emphasis is more towards computer
science).

The submission deadline for the Lambek Fest volume is 30 January,
1999.  Please send a postscript file (uuencoded and compressed, if
possible) to rags@math.mcgill.ca, or 3 paper copies to

 R.A.G. Seely             
 Department of Mathematics
 McGill University        
 805 Sherbrooke St W
 Montreal, Quebec
 Canada, H3A 2K6

(If possible) please send an email message to rags@math.mcgill.ca
indicating the title (and authors, if other than the sender of the
email) of the paper, as well as an abstract (in standard ascii format,
maximum 1 page) of the paper.  

A technical point: TAC can only accept files prepared with some
"flavour" of TeX or LaTeX - most authors ought to be able to arrange for
such a file to be prepared from their paper, but if you have problems,
let us know and we shall see if we can provide helpful advice.  General
advice for preparation of papers, including suitable macros, may be
found at the TAC home page, <http://www.tac.mta.ca/tac/>.

The Editors: 	Michael Barr    (e-mail:  barr@math.mcgill.ca)
		Philip Scott    (e-mail:  phil@csi.uottawa.ca)
		Robert Seely 	(e-mail:  rags@math.mcgill.ca)


A copy of this CFP may be found on the CTRC (Montreal category group)
home page <http://triples.math.mcgill.ca>.

call for papers

[Andre.Rodin]

CALL FOR PAPERS

Journal LOGICA UNIVERSALIS invites authors to submit papers for a
SPECIAL ISSUE on CATEGORICAL LOGIC that will be published in 2011.

The deadline for the submission is 1st November 2010.

Guest Editors of this Special Issue are Valeria Paiva (Cuil, Inc.)
and Andrei Rodin (University Paris-Diderot).

Categorical logic is a branch of Category theory (in mathematics),
strongly connected to both  mathematical logic and  theoretical
computer science. In broad terms, categorical logic represents both
syntax and semantics of a logic by a category, and an interpretation
by a functor. The categorical framework provides a rich conceptual
background for logical and type-theoretic constructions. The subject
has been recognizable in these terms since around 1970, given the work
of pioneers like Joyal, Lawvere, Lambek, Makkai, Martin-Loeuf, Scott
and many others.

Topics that  fit this Special Issue include, but are not limited to,
the following:

- Relationships between logic and geometry in a topos-theoretic setting;
- Categorical logic and Categorical foundations of mathematics;
- Sketch theory and diagrammatic syntax;
- Functorial semantics and Categorical Model theory;
- Quantum logic categorically;
- Extensions of categorical semantics to different kinds of logics
such as modal and substructural logics;
- Comparison of different categorical frameworks

Submissions should be made electronically to one or both of the
Guest Editors: Valeria Paiva( valeria@cuill.com ) or Andrei Rodin
(rodin@ens.fr).
For further formal details please consult the rubric
Instructions for Authors at the Journal's web page:
http://www.springer.com/birkhauser/mathematics/journal/11787


[For admin and other information see: http://www.mta.ca/~cat-dist/ ]