1 Dec 2006 10:19

### Kurt G=F6del Centenary research Prize Fellowships

KURT G=D6DEL CENTENARY RESEARCH PRIZE FELLOWSHIPS

(Organized by the Kurt G=F6del Society with support from the John Templeton=
Foundation)

The Kurt G=F6del Society is proud to announce the commencement of the resea=
rch fellowship prize program in honor
and celebration of Kurt G=F6del's 100th birthday.

The research fellowship prize program sponsored by the John Templeton Found=
ation will offer:
two Ph.D. (pre-doctoral) fellowships of $60,000 US per annum for two years two post-doctoral fellowships of$ 80,000 US per annum for two years
one senior fellowship of \$120,000 US per annum for one year

The purpose of the fellowship is to support original research in mathematic=
al logic, =93meta-mathematics,=94
philosophy of mathematical logic, and the foundations of mathematics. This =
fellowship is to carry forward the legacy of G=F6del,
whose works exemplify deep insights and breakthrough discoveries in mathema=
tical logic.

The selection will be made based upon an open, international competition.
An international Board of Jurors chaired by Professor Harvey Friedman will =
oversee the process.
The finalist papers will be published in a special issue of a premier journ=
al in mathematical logic.

Web:http://kgs.logic.at/goedel-fellowship
Contact: goedel-fellowship <at> logic.at


4 Dec 2006 02:26

### TLCA'07 - Second Call for Papers


Second Call for Papers

Eighth International Conference on

Typed Lambda Calculi and Applications  (TLCA '07)

Paris, June 26-28, 2007

http://www.rdp07.org/tlca.html
http://www.lsv.ens-cachan.fr/rdp07/tlca.html

Part of Federated Conference on Rewriting, Deduction, and
Programming (RDP'07)

** Title and abstract due  22 December 2006 **
** Deadline for submission  2 January 2006 ***

The TLCA series of conferences serves as a forum for presenting
original research results that are broadly relevant to the theory
and applications of typed calculi. The following list of topics
is non-exhaustive:

* Proof-theory: Natural deduction and sequent calculi, cut
elimination and normalisation, linear logic and proof nets,
type-theoretic aspects of computational complexity
* Semantics: Denotational semantics, game semantics,
realisability, categorical models
* Implementation: Abstract machines, parallel execution, optimal
reduction, type systems for program optimisation


5 Dec 2006 22:24

### MFPS 23 Final Call for Submissions

Dear Colleagues,
This is the Final Call for Papers for MFPS 23. The deadlines for
submissions are:
Friday, December 15 for titles and short abstracts, and
Friday, December 22 for full submissions
Submissions can be made by first directing your browser to the
EasyChair submission page http://www.easychair.org/MFPSXXIII/
MFPS 23 will take place on the campus of Tulane University in New
Orleans, LA USA from April 11, through April 14, 2006. The meeting
will feature plenary talks by Steven Brookes, Jane Hillston, John
Mitchell, Gordon Plotkin and John Power. There also will be four
special sessions. A feature of this year's meeting will be a special
session honoring Gordon Plotkin on his 60th birthday year. The
remaining special sessions will be devoted to Systems Biology, to
Security and to Physics, Information and Quantum Computation. Full
details about the meeting can be found at the MFPS 23 home page
http://www.math.tulane.edu/~mfps/mfps23.htm
Best regards,
Mike Mislove

===============================================
Professor Michael Mislove        Phone: +1 504 862-3441
Department of Mathematics      FAX:     +1 504 865-5063
Tulane University       URL: http://www.math.tulane.edu/~mwm
New Orleans, LA 70118 USA
===============================================


7 Dec 2006 04:45

### USMC'07 - Call for talks and participation

[Apologies for multiple copies]

CALL FOR TALKS AND PARTICIPATION

Universal Structures in Mathematics and Computing

http://usmc07.rsise.anu.edu.au

The Australian National University
Canberra, Australia
5 - 7 February 2007

Aim:

Starting from very different motivations, various groups of
mathematicians and computer scientists have sought to describe
abstract structures in great generality. This parallel evolutionary
process has led to various groups of researchers working on highly
interrelated areas, though unable to effectively communicate with
each other due to vastly differing languages.

This workshop aims to bring together researchers working in category
theory, universal algebra, logic and their applications to computer
science in order to highlight recent advances in these fields and to
facilitate dialogue between the different camps. Of particular
interest is work which spans two or more of these areas.

Structure and Scope:

The workshop will consist of several invited keynote talks as well as


7 Dec 2006 14:21

### preprint announcement - related to Todd Wilson's question

Dear categorists,

I would like to announce that the following preprint is available from my
webpage

www.math.upatras.gr/~pkarazer

P. Karazeris and J. Velebil, Dense morphisms of monads.

Abstract:
Given an arbitrary locally finitely presentable category K and finitary
monads T and S on K,
we characterize monad morphisms \alpha : S --> T with the property that
the induced functor \alpha _* : K^T --> K^S
between the categories of Eilenberg-Moore algebras is fully faithful.
We call such monad morphisms dense and give a characterization of them in
the spirit of Beth&#8217;s definability theorem: \alpha is a dense monad
morphism
if and only if every T-operation is explicitly defined using S-operations.
We also give a characterization in terms of epimorphic property of \alpha
and clarify the connection between various notions of epimorphisms

The above work bears some relation to the question posed by Todd Wilson on
implicitly definable operations. The connection though with non-surjective
epimorphisms is not pursued here.

Best regards,
Panagis Karazeris



7 Dec 2006 09:47

### Elsevier and weapons trade

Dear colleagues,

I happened to know now of a strange, seemingly incredible, connection
between the Elsevier publishing company and arms fairs.

There is a dedicated web page:

http://cage.ugent.be/~npg/elsevier/index.html

Quoting from the beginning:

"  Background on Elsevier and the arms trade

If you are an academic then you may well know the publishing house
Reed-Elsevier as a publisher of your papers. What you may not know is
that they also have a sideline organising arms fairs. Through its
subsidiary companies, Reed Exhibitions and Spearhead Exhibitions,
Reed Elsevier is responsible for organising major arms fairs in
several countries across the world, as well as here in the UK.
The majority of Reed's work is in providing information services and
publications for a wide variety of professional groups whose work is
in the public interest. Consequently it is surprising that they would
want to muddy their good work by involvement in the arms trade. It
also means that they have received significant criticism from
professional groups who use their more legitimate services.  "  (end
of citation.)
---

More information can be found on other links of the previous page.
For instance:


7 Dec 2006 17:31

### SAS 2007 Preliminary Call for Papers


Call for papers

Static Analysis Symposium  SAS 2007
22-24 August 2007, Kongens Lyngby, Denmark
(co-located with LOPSTR 2007)

url   http://www.imm.dtu.dk/sas2007
email   sas2007 <at> imm.dtu.dk

Static Analysis is increasingly recognized as a fundamental tool for high
performance implementations and verification of programming languages and
systems. The series of Static Analysis Symposia has served as the primary
venue for presentation of theoretical, practical, and application advances
in the area.

The technical programme for SAS 2007 will consist of invited lectures,
tutorials, panels, presentations of refereed papers, and software
demonstrations. Contributions are welcome on all aspects of Static Analysis,
including, but not limited to:

abstract domain
abstract interpretation
abstract testing
compiler optimisations
control flow analysis
data flow analysis
model checking
program specialization
security analysis


8 Dec 2006 12:13

### QAC'07 - 2nd call for papers

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

2nd Call for Papers

1st International Workshop on Quality Aspects of Coordination (QAC'07)

June 4-5, 2007, Shanghai, China

http://www.cwi.nl/qac07/

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

Overview and Topics of Interest:

Modeling, analysis, and ensuring end-to-end Quality of Service (QoS)
represent key concerns in large-scale distributed applications.
Deregulation and increased competition in the telecommunications
industry mean that, increasingly, providers use components and services
offered by multiple vendors to compose such applications.  This
highlights the conspicuous absence of compositional models of QoS that
reflect their underlying architecture of component/service composition.

Connectors have emerged as a powerful concept for composition and
coordination of concurrent activities encapsulated as components and
services. Compositional coordination models and languages serve as a
means to formally specify and implement component and service
connectors. They support large-scale distributed applications by
allowing construction of complex component connectors out of simpler
ones. A promising approach to support compositional models of QoS
involves augmenting connector models to reflect and account for the QoS


8 Dec 2006 02:46

### Response to "Elsevier and weapons trade"

[Note from moderator: as the poster points out, categories is not a forum
for political discussion. Consequently, further messages on this topic
received before Monday will be digested and posted then, closing the
discussion.]

Dear Colleagues,

I am responding to the posting of Marco Grandis.

I would like to express my heartfelt admiration to all those who raised
their voice against Elsevier's involvement in the arms trade. I find it so
noble that many scientists found time to express their outrage and
protest.

At the same time, I cannot help saying that I find the whole initiative
childishly naive, and even somewhat hypocritical. Naive, because
apparently, they believe that wars are because of the arms trade -- in
other words, they seem to mistake the cause with the result. (If there
were no wars, would there be any point in manufacturing weapons? Let me
ask it clearer: Would it bring *profit* to manufacture arms in that
case??)

And I said hypocritical, because I do wonder where the same good souls
were at the time of the invasion of Iraq, during the war in the Balkan, or
what do they think about what is happening in Israel. I wonder if the same
worried scientists who propose to boycott Reed-Elsevier have already
signed the academic boycott against Israel, and would participate in a
similar action against the US as a protest against its foreign policy.

I am raising these issues not in order to generate a political discussion


8 Dec 2006 16:11

### intensional higher-order logic


Dear all,

Here is a probably easy question on categorical logic.

If I understood correctly from Bart Jacobs' book [1], a topos, besides
its elementary definitions, e.g., as a complete CCC with a subobject
classifier, may be defined as a category whose subobject fibration is
a higher-order fibration.

Such subobject higher-order fibrations always have extensional
entailment, in the sense that logical equivalence implies internal
equality (which in HOL is necessarily Leibniz equality modulo iso).

My question is twofold:

(a) Is there an intensional equivalent to the notion of topos? In
other words, is there a widely accepted categorical, elementary
characterization of HOL?

(b) If so, for these HOL categories, is there an analogue of the
definition in terms of subobject fibrations? For instance, is it
the case that for such HOL categories, e.g., the fibration of
monos (or the codomain fibration) is a higher-order fibration?

The question might be equivalent to: is there a well-established pair
of a fibred construction F and an elementary doctrine D, such that for
all category C,

C is in D iff F (C) is a HO fibration?