headers
Neil Ghani | 2 Oct 2009 17:14
Picon
Picon

Scottish Category Theory Seminar


********************************************************************
*** Scottish Category Theory Seminar
*** First Meeting
*** Friday 27 November 2009, 2pm
*** University of Glasgow, Scotland
********************************************************************

Dear All,

We are pleased to announce the first meeting of the Scottish Category
Theory Seminar which will be a forum for discussion of all aspects of
category they, be they straight category theory or applications to
computer science or physics etc. We envisage meeting for an afternoon
once every few months, at some congenial location in Scotland. Talks
by Scots and by visitors are welcome. Please contact us if you would
like to host a meeting or give a talk. Meetings are open, and all are
welcome to attend.

The first meeting will take on Friday 27 November at the University of
Glasgow at 2pm. At the first meeting, we are pleased to announce the
following
invited speakers

     * Martin Hyland, Universty of Cambridge
     * Nicola Gambino, University of Palermo

These invited talks will be for one hour. We also invite volunteers
for two contributed half-hour talks. This meeting will receive
financial support from the Complex Systems Engineering theme of SICSA,
(Continue reading)

Permalink | Reply | 0 comments |
headers
Tony Meman | 4 Oct 2009 17:07

Fwd: Terminology problem with monoidal adjunctions

I am sorry for posting this again, but I have received an empty message from
the categories list.

[Note from moderator: From the categories list web-page:

"Do not send attachments, html or excessively long postings (greater than
about 10K). Postings with attachments will be discarded; long postings or
ones with html may be."

The reason an empty message arrives is that the moderator sometimes
inadvertently mishandles a message containing the header:

"Content-Type: multipart/alternative; ..."

This header is associated with html and messages sent in multiple formats.
It is time-wasting to deal with such messages.

For good reasons, categories is a *text* mailing list. For example,
consider:

http://pyropus.ca/personal/writings/nomime.html

or

http://home.earthlink.net/~bobbau/email/avoiding-html/

If you want your messages to be posted on categories, please ensure that
you send only text-only posts. The URLs just quoted contain help to do
this. Other messages *will* be discarded.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Paul-Andre Mellies | 5 Oct 2009 00:18
Picon

lecturer position in Paris


======================================================
               Lecturer position in PPS
          (University Paris 7 Denis Diderot)
======================================================

A lecturer position will be opened next academic year
within the Laboratory PPS (Preuves Programmes Systemes)
located at University Paris 7 Denis Diderot:
http://www.pps.jussieu.fr

Important dates:
- deadline for qualification A:      28 October 2009
- deadline for qualification B:      14 December 2009
- deadline for application as indicated on the web page
http://www.pps.jussieu.fr/annonces/200909-mdc
- starting date:                     September 2010

Application procedure.
The applicant should have defended his/her PhD thesis
before Thursday 10 December 2009.

The procedure works in two stages in France: in the first stage,
every candidate applies to a national committee in order to be qualified.

* Qualification step A.
The first step of qualification is performed at the following web site:
https://galaxie.enseignementsup-recherche.gouv.fr/antares/can/index.jsp
Note that this first step should be done very soon, before 28 October.
The interested candidates should not be afraid to contact us
(Continue reading)

Permalink | Reply | 0 comments |
headers
Steve Awodey | 7 Oct 2009 05:04
Picon
Favicon

NovemberFest Second Announcement

****************************************************************
                      Category Theory NovemberFest
                     Carnegie Mellon University, Pittsburgh
                 Saturday - Sunday, November 14-15, 2009
****************************************************************

This announcement is mainly to remind those of you who plan to attend
to book your room at the Wyndham Hotel by October 13 in order to get
the special rate.

Here again are the details of the meeting:

************************************************************************
**********

We invite you to join us in Pittsburgh this Fall for a weekend meeting
in Category Theory, a translation of the traditional OctoberFest.

VENUE:

The meeting will be held at Carnegie Mellon University in Pittsburgh.
The talks will be held on Saturday and Sunday morning, in Baker Hall
A53, on the CMU campus.  See the maps and travel information on the
website:

	http://www.cmu.edu/about/visit/index.shtml

REGISTRATION:

There is no official registration, but please let us know (by email
(Continue reading)

Permalink | Reply | 0 comments |
headers
Carlos Areces | 7 Oct 2009 09:27
Picon

CFP: Advances in Modal Logic 2010

AiML-2010:  FIRST CALL FOR PAPERS

8-TH INTERNATIONAL CONFERENCE ON ADVANCES IN MODAL LOGIC
MOSCOW, AUGUST 25-29, 2010

  http://aiml10.mi.ras.ru/

Advances in Modal Logic is an initiative aimed at presenting
the state of the art in modal logic and its various applications. The
initiative consists of a conference series together with volumes based on
the conferences. Information about the AiML series can be obtained at
http://www.aiml.net <http://www.aiml.net> . AiML-2010 is the eighth
conference in the series.

TOPICS
We invite submission on all aspects of modal logics, including:

- history of modal logic
- philosophy of modal logic
- applications of modal logic
- computational aspects of modal logic
   + complexity and decidability of modal and temporal logics
   + modal and temporal logic programming
   + model checking
   + theorem proving for modal logics
- theoretical aspects of modal logic
   + algebraic  and categorical perspectives on modal logic
   + coalgebraic modal logic
   + completeness and canonicity
   + correspondence and duality theory
(Continue reading)

Permalink | Reply | 0 comments |
headers
Thomas Bolander | 7 Oct 2009 14:51
Picon
Picon
Favicon

Call for participation: Methods for Modalities 6

====================================================================
                      CALL FOR PARTICIPATION
        6th Workshop on METHODS FOR MODALITIES (M4M-6)
                    http://m4m.loria.fr/M4M6
                      Copenhagen, Denmark
                      November 12-14, 2009
    NOTE: The deadline for early registration is October 19
====================================================================

Scope
-----
The workshop METHODS FOR MODALITIES (M4M) aims to bring together
researchers interested in developing algorithms, verification methods
and tools based on modal logics. Here the term "modal logics" is
conceived broadly, including temporal logic, description logic,
guarded fragments, conditional logic, temporal and hybrid logic, etc.

To stimulate interaction and transfer of expertise, M4M will feature
a number of invited talks by leading scientists, research
presentations aimed at highlighting new developments, and submissions
of system demonstrations.

More information about the previous editions can be found at

                       http://m4m.loria.fr/

Autumn School
-------------
M4M-6 will be preceded by a two-day mini-course called "Autumn School
on Modal Logic" aimed at preparing PhD students and other researchers
(Continue reading)

Permalink | Reply | 0 comments |
headers
Rene Guitart | 9 Oct 2009 11:50
Picon

programme du prochain SIC

Universit Paris Diderot
175 rue du Chevaleret
75013 Paris

Sminaire Itinrant de Catgories

Samedi 24 octobre 2009

Salle 0D04

9h40-10h20 Marino Gran  Thories de torsion drives et foncteurs
protoadditifs.

10h20-11h Philippe Gaucher  Systme de transitions de haute dimension et
ensemble prcubique  symtrique tiquet.

11h10-11h50 Albert Burroni  Deux philosophies catgoriques : prsentations
versus esquisses.

11h50-12h30 Enrico Vitale   Bi-produits fibrs et calcul de fractions.

DEJEUNER

14h10-14h50 Andre Ehresmann  A propos des systmes volutifs  mmoire et du
modle MENS (travail commun avec Jean-Paul Vanbremeersch).

14h50-15h30 Dominique Bourn  Une alternative  un thorme de plongement pour
les catgories protomodulaires (travail  commun avec Zurab Janelidze).

15h40-16h20 Jacques Penon  Calcul diffrentiel revisit  la lumire dune
(Continue reading)

Permalink | Reply | 0 comments |
headers
Ricardo Andrade | 9 Oct 2009 22:53
Picon

Forum on designing a mathematical reviews website

Greetings to all,

After a thread in the mailing list ALGTOP-L regarding mathematical review
services led to a discussion of possible collaborative web-based systems,
the following forum was created (many thanks to Andrew Stacey for taking
the initiative) to try to design one such service:

http://www.math.ntnu.no/~stacey/Vanilla/rForum/

>From the first post:

"The primary purpose of this site is to put together a design for a
website where mathematicians can record reviews, corrections, and other
relevant information, of mathematical resources."

I thought it would be a good idea to publicize it here to further the
discussion (despite some overlap with the ALGTOP-L mailing list where
this originated). Also, due to the occasional discussion of web-based
collaborative mathematical resources that crops up in the categories
mailing list, I thought this would be fertile ground for broadening the
audience of this forum.

Sincerely,
Ricardo

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
Permalink | Reply | 0 comments |
headers
Steve Awodey | 14 Oct 2009 15:48
Picon
Favicon

NovemberFest Accomodations

Dear NovemberFest Guests:

I've learned that the area hotels are filling up fast for the weekend
of November 14-15
(apparently there's a ball game of some sort...).
There are still a few rooms available in the $200/night range at the
following hotels:

Hampton Inn in Oakland: 3315 Hamlet St, Pittsburgh: (412) 681-1000
Courtyard by Marriot in Shadyside/Bloomfield: 5308 Liberty Avenue,
Pittsburgh: (412) 683-3113

I also have managed to reserved a 2-bedroom suite nearby at about
that price, so let me know if you have (or would like to find)
someone to share with.

Regards,

Steve

****************************************************************
                      Category Theory NovemberFest
                     Carnegie Mellon University, Pittsburgh
                 Saturday - Sunday, November 14-15, 2009
****************************************************************

This announcement is mainly to remind those of you who plan to attend
to book your room at the Wyndham Hotel by October 13 in order to get
the special rate.
(Continue reading)

Permalink | Reply | 0 comments |
headers
MYV | 16 Oct 2009 01:29

FIVE YEARS OF LOGICAL METHODS IN COMPUTER SCIENCE

Dear Colleague:

We would like to bring the community up to date on the journal

     Logical Methods in Computer Science
     www.lmcs-online.org

We started this fully refereed, open access, free electronic journal in
January 2005, intending to create a high-level platform for publications
in all theoretical and practical areas in computer science involving
logical methods, taken in a broad sense. We are now on Issue 3 of Volume 5
(there are four issues a year). So far, we have received more than 350
submissions of which we have published 162. In addition to individual
submissions, our journal publishes special issues, e.g., of selected
papers of high-level international conferences such as LICS, IJCAR, CAV,
CSL, and RTA.

We are continuing actively to develop the journal. For example, we accept
survey articles, and are developing `live' surveys, which can be
continually updated as knowledge progresses. In another direction, we are
considering allowing authors to provide additional material of an
expository nature, such as slides and videos, to enable them to interest a
wider spectrum of readers in their contribution.

The journal is an overlay of CoRR, the computer science repository of
arXiv. There are no fees for authors nor for readers. Every paper is
refereed by two or more referees, and high standards are applied. The
editorial board consists of about sixty top specialists in all areas of
logic in computer science.
(Continue reading)

Permalink | Reply | 0 comments |

Gmane