headers
Tayssir Touili | 1 Apr 2010 11:40
Picon
Favicon

Amir Pnueli Memorial Symposium

======================================================================

                     Amir Pnueli Memorial Symposium

                          New York University
                        New York, New York, USA

                             May 7-9, 2010

=======================================================================

Amir Pnueli was one of the most influential computer scientists of our
time. He published more than 250 papers, many of them groundbreaking,
including the 1977 paper, "The Temporal Logic of Programs," for which he
won the 1996 ACM Turing Award.  On November 2, 2009, Amir unexpectedly
passed away. His loss is felt deeply by friends and colleagues around
the world.

The Amir Pnueli Memorial Symposium is an opportunity for the computer
science community to remember Amir by revisiting the ideas and
challenges which inspired and defined his life's work.  It will
feature talks by a select group of speakers, including two Turing
award winners, other internationally acclaimed researchers, and former
students of Amir.

The symposium will take place at New York University on May 7-9, 2010.
It is open to all who wish to attend.  For more information and to
register, please visit http://www.cs.nyu.edu/acsys/pnueli.

==================
(Continue reading)

Permalink | Reply | 0 comments |
headers
iclp10dc | 5 Apr 2010 15:20
Picon

ICLP-10 Doctoral Consortium Call For Papers

===============================================================================

                               CALL FOR PAPERS

                                 ICLP-DC 2010

                    Sixth ICLP Doctoral Student Consortium

                      http://www.kodak.com/go/iclp10dc

    Collocated with the International Conference on Logic Programming 2010

                           Edinburgh (Scotland, U.K)

                              July 16-19, 2010

===============================================================================

Introduction
------------
The ICLP Doctoral Consortium (DC) is the sixth doctoral consortium to be
offered as part of the 26th International Conference on Logic Programming. The
DC follows the very positive experience of the previous events held held in
Sitges (Spain) on October 3rd, 2005, in Seattle (WA) on August 21st, 2006,
in Porto (Portugal) on September 8th, 2007, in Udine (Italy) on December 10th,
2008, and in Pasadena (USA) on July 15th, 2009.

The DC will take place at the end of ICLP 2010 in Edinburgh (Scotland, U.K).
The Doctoral Consortium is designed for doctoral students working in areas
related to logic and constraint programming, with a particular emphasis to
(Continue reading)

Permalink | Reply | 0 comments |
headers
Nicole Schweikardt | 6 Apr 2010 10:25

FLoC 2010: Call for Participation

2010 FEDERATED LOGIC CONFERENCE (FLoC'10)

  Edinburgh, Scotland, U.K.
  July 9-21, 2010
  http://www.floc-conference.org

  Early registration deadline: 17 May 2010.

* The fifth Federated Logic Conference (FLoC'10)
  will be held in Edinburgh, Scotland, U.K. (www.edinburgh.org),
  in July 2010, at the School of Informatics at the University
  of Edinburgh (www.inf.ed.ac.uk).

* FLoC'10 promises to be the premier scientific meeting in
  computational logic in 2010.
  The following conferences will participate in FLoC:

  - CAV 2010: Int'l Conference on Computer-Aided Verification
  - CSF 2010: IEEE Computer Security Foundations Symposium
  - ICLP 2010: Int'l Conference on Logic Programming
  - IJCAR 2010: Int'l Joint Conference on Automated Reasoning
  - ITP 2010: Int'l Conference on Interactive Theorem Proving
  - LICS 2010: IEEE Symposium on Logic in Computer Science
  - RTA 2010: Int'l Conference on Rewriting Techniques and Applications
  - SAT 2010: Int'l Conference on Theory and Applications of
Satisfiability Testing

  The eight major conferences will be accompanied by more than
  fifty workshops and a number of other affiliated events.
(Continue reading)

Permalink | Reply | 0 comments |
headers
amast-10 | 6 Apr 2010 18:22
Favicon

Final call: AMAST 2010

Dear Colleague,

This is a final reminder that the postponed deadline for submissions
to AMAST 2010 is this Friday, April 9. You can find details about the
Call for Papers at the AMAST website

http://mpc-amast2010.fsg.ulaval.ca/amast/

We welcome papers in all areas relating to the use of algebraic
methods to help design and verify software, from theoretical
developments to work relating experiences during implementation
projects.

Best regards,
-- Mike Johnson and
-- Dusko Pavlovic

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
Permalink | Reply | 0 comments |
headers
Michael A. Warren | 7 Apr 2010 21:40
Picon
Favicon

MFPS 2010 Accommodation and Banquet Announcement

To Whom It May Concern,

This e-mail contains two points of business (enumerated below) pertaining
to those attendees of the upcoming Twenty-Sixth Conference on the
Mathematical Foundations of Programming Semantics (MFPS XXVI) to be held
at the University of Ottawa from May 6 through May 10, 2010.  Registration
remains open and general information on the conference can be found on the
following websites:

Official conference website:
http://www.math.tulane.edu/~mfps/mfps26/MFPS_XXVI.html

Local website: http://aix1.uottawa.ca/~mwarren/MFPS/index.html

-------------------
Points of Business:
-------------------

1. Final Call for Accommodation in the University Residence

This is a final call for requests for accommodation in the university
residence during MFPS 2010 in Ottawa.

There are still several suites available at the discounted rate ($90 per
suite per night or $45 per person per night) and we ask that you contact
Michael Warren (mwarren <at> uottawa.ca) to request placement in a suite if you
are interested in staying in such a suite and have not already done so. 
The suites consist of two individual bedrooms and a shared bathroom and
they are booked from May 5th through (checking out on) May 10th.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Peter Freyd | 11 Apr 2010 01:39
Favicon

For the record

In Spring 1969 there was a conference in Rome. In the resulting volume
of Symposia Mathematica there appear papers by David Buchsbaum, Leon
Ehrenpreis, Peter Freyd, John Gray, Ioan.James, Barry Mitchell and
Graeme Segal. Talks also were given by Jean Benabou, Charles
Ehresmann, Bill Lawvere and Saunders Mac Lane. (Among others in
attendance -- I do not specifically recall if they gave talks -- were
Yitz Herstein and John Moore.)

Bill gave his first talk on elementary topoi. My talk was on the "more
general" adjoint functor theorem (but the paper I put in the
proceedings was on the concreteness of certain categories). Jean
Benabou talked about distributors. During his talk I decided to wait
until I could check with Bill before saying anything. In what I
expected to be an entirely private conversation I then brought to
Benabou's attention -- as gently as I have ever succeeded in being
with an adult -- that in July, 1966, he and I had heard Bill give a
talk in Oberwolfach in which Bill described a kind of "generalized
functor" he called a "bimodule." Within two seconds it ceased being a
private conversation. Nothing in my mathematical career had come close
to preparing me -- or anyone else I knew at the conference -- for the
scene that then occurred.

Under the circumstances I decided not to take the opportunity to point
out that at the lunch following Bill's 1966 talk many observed Benabou
pressing him for more details about these generalized functors called
bimodules; what good were they anyway; how would one use them.

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

Permalink | Reply | 1 comment |
headers
Bob Rosebrugh | 11 Apr 2010 20:41
Picon
Favicon

Priority threads


In general, discussion threads about mathematical priority have been
allowed on the categories list. They have sometimes continued longer than
was warranted.

As some of you are aware, there has been correspondence sent to a private
mailing list during the past two weeks concerning, among other things,
Jean Benabou's assertion that he has not been adequately credited for some
of his mathematical work. That correspondence is not forwarded to the
categories list.

Peter Freyd has sent a message to the categories list which contains his
recollection of two conferences in the 1960's. His message touches on the
assertion noted in the previous paragraph, and which is also in a message
from Jean Benabou forwarded to the categories list on March 28. Peter's
message will be posted shortly.

To be fair to those who were present at those meetings, but also to ensure
concise follow-up, the following procedure is in effect:

Anyone who was present at either of the meetings referred to in Peter's
message may send *one posting* only in response to the categories mailing
list. A response must be confined to the topic. Messages which respect
these requirements, *and* the usual list guidelines, will be forwarded to
the mailing list. Any other message in response will not be sent.

This restrictive procedure will not be used often, but it will be
enforced. It is acknowledged in advance that some will disagree. With
respect, that disagreement is not a topic for discussion on the categories
mailing list.
(Continue reading)

Permalink | Reply | 0 comments |
headers
F William Lawvere | 12 Apr 2010 00:23
Favicon

April Lectures by Johnstone at Pisa


The five upcoming lectures by Peter Johnstone 
should be of interest to subscribers to this list.
Abstracts are available from Centro de Giorgi.
Bill 

Il Prof. Peter Johnstone (Universita di Cambridge) terra un ciclo di cinque
seminari dal titolo "Some aspects of Topos Theory" presso 
la Scuola Normale Superiore e l'Universita di Pisa. 
Tutti gli interessati sono invitati 

Martedi 13 Aprile, Toposes as spaces

Sala Stemmi (Palazzo della Carovana), SNS di Pisa, 14.30 - 16.30.

Lunedi 19 Aprile, Toposes as categories of spaces 

Aula Dini (Palazzo del Castelletto), SNS di Pisa,14.30 - 16.30.

Martedi 20 Aprile, Toposes as higher-order theories

Sala Seminari, Dipartimento di Matematica, Universita 14.30 -16.30.

Martedi 27 Aprile, Toposes as categories of manifolds

Sala Seminari, Dipartimento di Matematica, Universita , 14.30 -16.30.

Mercoledi 28 Aprile, Toposes as models of Set Theory

Aula Dini (Palazzo del Castelletto), SNS di Pisa 14.30 - 16.30.
(Continue reading)

Permalink | Reply | 2 comments |
headers
Anders Kock | 12 Apr 2010 13:12
Picon
Picon

Some documents 1966-67

I have made some documents (notes which I have taken from lectures by
Lawvere and Benabou) available on my home page:

http://home.imf.au.dk/kock/lawvere66.pdf

(from 1966; probably at Oberwolfach);

http://home.imf.au.dk/kock/benabou67a.pdf
http://home.imf.au.dk/kock/benabou67b.pdf

The lectures by Benabou are from his long visit to U. of Chicago in the
spring of 1967, where he gave some influential lectures, introducing
Bicategories; profunctors (as he called them by then) were a significant
example, and their theory was developed.

Lawvere participated in (organized?) this seminar. I do not remember
Lawvere making any priority claims concerning the "profunctor"-example;
this was not an issue, although profunctors clearly are present in his
1966 talk, cf. the link above (and they are part of a broad evolution:
bimodule theory of Cartan-Eilenberg (or earlier?), tensor product of
functors in Watts' contribution to the 1965 LaJolla volume, ... ).

Anders Kock

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
Permalink | Reply | 0 comments |
headers
Jiri Rosicky | 12 Apr 2010 15:18
Picon
Favicon

Workshop on Categorical Logic

Second Announcement of a Workshop on
CATEGORICAL LOGIC

August 28-29, 2010
Masaryk University
Brno
Czech republic

Invited speaker:

Martin Hyland  (Cambridge)

Abstract submission deadline extension: May 15, 2010
Acceptance notification: May 30, 2010
Registration: June 2010

This workshop is a satellite to the joint MFCS & CSL 2010
conference which takes place August 23-27, 2010.

More details can be obtained from:

http://mfcsl2010.fi.muni.cz/catlog

Prospective speakers are invited to submit a 1-2 pages abstract
which provides sufficient detail to allow the program committee
to assess the merits of the proposal. Abstracts can be sent to any member
of the program committee.

Program Committee
(Continue reading)

Permalink | Reply | 0 comments |

Gmane