Tayssir Touili | 1 Apr 11:40 2010
Picon

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)

Marino Miculan | 3 Apr 10:55 2010
Picon

LFMTP 2010 at FLoC: extended deadline

[Apologies for multiple copies]

		    5th International Workshop on
Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP'10)

		July 14, 2010, Edinburgh, Scotland, UK
		Part of the Federated Logic Conference
	Affiliated with Logic in Computer Science (LICS 2010)

       *** New submission deadline: April 7, 2010  ***

       More details at   http://lfmtp10.dimi.uniud.it

--
Marino Miculan - Dept Math Compu Sci, University of Udine
miculan@...      http://www.dimi.uniud.it/miculan/

iclp10dc | 5 Apr 15:20 2010
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)

Nicole Schweikardt | 6 Apr 10:25 2010

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)

amast-10 | 6 Apr 18:22 2010

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/ ]

Dejan Nickovic | 6 Apr 23:37 2010
Picon

Reminder: Call for papers: FORMATS 2010 (The 8th International Conference on Formal Modelling and Analysis ofTimed Systems )

Dear all,
 
This is a gentle reminder for the FORMATS'10 deadlines:

      * Abstract submission: April 11, 2010 (STRICT)
       
      * Paper submission: April 18, 2010 (STRICT)
 
Best regards,
 
Dejan Nickovic

 
-------------------------------------------------------------------------
                            CALL FOR PAPERS
                              FORMATS 2010
                     IST Austria (close to Vienna)
                          September 8-10, 2010
                   http://pub.ist.ac.at/formats2010/

Objective and Scope: Timing aspects of systems from a variety of
computer science domains have been treated independently by different
communities. Researchers interested in semantics, verification and
performance analysis study models such as timed automata and timed Petri
nets, the digital design community focusses on propagation and switching
delays while designers of embedded controllers have to take account of
the time taken by controllers to compute their responses after sampling
the environment. Timing-related questions in these separate disciplines
do have their particularities. However, there is a growing awareness
that there are basic problems that are common to all of them. In
particular, all these sub-disciplines treat systems whose behavior
depends upon combinations of logical and temporal constraints; namely,
constraints on the temporal distances between occurrences of events. The
aim of FORMATS is to promote the study of fundamental and practical
aspects of timed systems, and to bring together researchers from
different disciplines that share interests in modeling and analysis of
timed systems. Typical topics include (but are not limited to):

      * Foundations and Semantics: Theoretical foundations of timed
        systems and languages; comparison between different models
        (timed automata, timed Petri nets, hybrid automata, timed
        process algebra, max-plus algebra, probabilistic models).
       
      * Methods and Tools: Techniques, algorithms, data structures, and
        software tools for analyzing timed systems and resolving
        temporal constraints (scheduling, worst-case execution time
        analysis, optimization, model checking, testing, constraint
        solving, etc.).
       
      * Applications: Adaptation and specialization of timing technology
        in application domains in which timing plays an important role
        (real-time software, hardware circuits, and problems of
        scheduling in manufacturing and telecommunication).
       

Important Dates:

      * Abstract submission: April 11, 2010 (STRICT)
       
      * Paper submission: April 18, 2010 (STRICT)
       
      * Author notification: May 23, 2010
       
      * Camera ready version: June 13, 2010
       

Submission and Publication: The proceedings of FORMATS 10 will be
published by Springer in the Lecture Notes in Computer Science series.
Papers must contain original contributions, be clearly written, and
include appropriate references to and comparison with related work.
Simultaneous submission to other conferences with published proceedings
is not allowed. Submissions should not exceed 15 pages, and should be
formatted according to Springer LNCS guidelines. If necessary, the
submission may be supplemented with a clearly marked appendix, which
will be reviewed at the discretion of the program committee.Submissions
will be handled by the EasyChair system.
<div>
<div>Dear all,</div>
<div>&nbsp;</div>
<div>This is a gentle reminder&nbsp;for the FORMATS'10 
deadlines:</div>
<div>
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; * Abstract submission: April 11, 
2010 (STRICT) <br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; * Paper submission: April 18, 2010 
(STRICT) </div>
<div>&nbsp;</div>
<div>Best regards,</div>
<div>&nbsp;</div>
<div>Dejan Nickovic</div>
<div><br></div>
<div>&nbsp;</div>
<div>-------------------------------------------------------------------------<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
CALL FOR 
PAPERS<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
FORMATS 
2010<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
IST Austria (close to 
Vienna)<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
September 8-10, 
2010<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<a href="">http://pub.ist.ac.at/formats2010/</a><br><br>Objective and Scope: Timing aspects of systems 
from a variety of<br>computer science domains have been treated independently by 
different<br>communities. Researchers interested in semantics, verification 
and<br>performance analysis study models such as timed automata and timed 
Petri<br>nets, the digital design community focusses on propagation and 
switching<br>delays while designers of embedded controllers have to take account 
of<br>the time taken by controllers to compute their responses after 
sampling<br>the environment. Timing-related questions in these separate 
disciplines<br>do have their particularities. However, there is a growing 
awareness<br>that there are basic problems that are common to all of them. 
In<br>particular, all these sub-disciplines treat systems whose 
behavior<br>depends upon combinations of logical and temporal constraints; 
namely,<br>constraints on the temporal distances between occurrences of events. 
The<br>aim of FORMATS is to promote the study of fundamental and 
practical<br>aspects of timed systems, and to bring together researchers 
from<br>different disciplines that share interests in modeling and analysis 
of<br>timed systems. Typical topics include (but are not limited to): 
<br><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; * Foundations and Semantics: Theoretical 
foundations of timed<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; systems and 
languages; comparison between different 
models<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (timed automata, timed 
Petri nets, hybrid automata, timed<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
process algebra, max-plus algebra, probabilistic models). 
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; * Methods and Tools: Techniques, algorithms, 
data structures, and<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; software 
tools for analyzing timed systems and 
resolving<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; temporal constraints 
(scheduling, worst-case execution 
time<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; analysis, optimization, model 
checking, testing, constraint<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
solving, etc.). <br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; * Applications: Adaptation and specialization 
of timing technology<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; in 
application domains in which timing plays an important 
role<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; (real-time software, hardware 
circuits, and problems of<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
scheduling in manufacturing and telecommunication). 
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br><br>Important Dates: 
<br><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; * Abstract submission: April 11, 2010 
(STRICT) <br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; * Paper submission: April 18, 2010 (STRICT) 
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; * Author notification: May 23, 2010 
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; * Camera ready version: June 13, 2010 
<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; <br><br>Submission and 
Publication: The proceedings of FORMATS 10 will be<br>published by Springer in 
the Lecture Notes in Computer Science series.<br>Papers must contain original 
contributions, be clearly written, and<br>include appropriate references to and 
comparison with related work.<br>Simultaneous submission to other conferences 
with published proceedings<br>is not allowed. Submissions should not exceed 15 
pages, and should be<br>formatted according to Springer LNCS guidelines. If 
necessary, the<br>submission may be supplemented with a clearly marked appendix, 
which<br>will be reviewed at the discretion of the program 
committee.Submissions<br>will be handled by the EasyChair system. 
<br>
</div>
</div>
Michael A. Warren | 7 Apr 21:40 2010
Picon

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.

2. Banquet Meal Preference Request

In order to obtain a rough approximation of the food preferences for the
conference banquet (to be held at the restaurant of Le Cordon Bleu Cooking
School) we request that any conference participants who plan to attend the
banquet contact Michael Warren (mwarren <at> uottawa.ca) to specify a food
preference from among the following list of options (all three will be
available at the banquet and we are merely trying to formulate an estimate
of the proportions of each which will be required):  MEAT, FISH, or
VEGETARIAN.  Please also indicate the number of guests (if any) who will
be joining you at the banquet.

Sincerely,

The Local Organizers
Rick Blute
Phil Scott
Michael Warren

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

Peter Freyd | 11 Apr 01:39 2010

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/ ]

Bob Rosebrugh | 11 Apr 20:41 2010
Picon

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.

It is disheartening to impose limitation of discussion on the list.
However, I am determined that the quality of our forum will not be
degraded by harassment of subscribers or the moderator.

Finally, this message provides an opportunity to express appreciation to
the many who have privately offered support for decisions taken for this
mailing list. We can hope that the list will continue for at least another
twenty years, and that you will not be subjected to more long messages
from me.

best wishes,
Bob Rosebrugh

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

F William Lawvere | 12 Apr 00:23 2010

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. 

http://www.crm.sns.it/hpp/events/event.html?id=188;sez=aims#title. 

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


Gmane