headers
goedel2006 | 1 Dec 2006 10:19
Picon
Favicon

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
(Continue reading)

Permalink | Reply | 0 comments |
headers
Hasegawa Masahito | 4 Dec 2006 02:26
Picon
Picon

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
(Continue reading)

Permalink | Reply | 0 comments |
headers
Michael Mislove | 5 Dec 2006 22:24
Picon
Favicon

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
===============================================
Permalink | Reply | 0 comments |
headers
Jon Cohen | 7 Dec 2006 04:45
Picon
Picon

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
(Continue reading)

Permalink | Reply | 0 comments |
headers
Panagis Karazeris | 7 Dec 2006 14:21
Picon
Favicon

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
between monads.

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
(Continue reading)

Permalink | Reply | 0 comments |
headers
Marco Grandis | 7 Dec 2006 09:47
Picon
Favicon

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:
(Continue reading)

Permalink | Reply | 0 comments |
headers
terkel | 7 Dec 2006 17:31
Picon
Picon
Favicon

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
(Continue reading)

Permalink | Reply | 0 comments |
headers
Sun Meng | 8 Dec 2006 12:13
Picon
Picon
Favicon

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
(Continue reading)

Permalink | Reply | 0 comments |
headers
Gabor Lukacs | 8 Dec 2006 02:46
Picon
Picon
Favicon

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
(Continue reading)

Permalink | Reply | 0 comments |
headers
Tom Hirschowitz | 8 Dec 2006 16:11
Picon
Picon

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?
(Continue reading)

Permalink | Reply | 0 comments |

Gmane