Dirk Pattinson | 2 Jan 14:49 2008
Picon
Picon

Postdoc: Coalgebraic Logics at Imperial

36 Months Postdoctoral Position in Colagebraic Logics
Department of Computing, Imperial College London

A three year postdoctoral position is available from March 1, 2008 (or
as soon as possible thereafter) to work on an EPSRC-funded project in
the area of coalgebras and modal logic.

Coalgebraic semantics allows the representation of a large class of
structurally different modal logics in a uniform semantic framework
where the particular type of observations that determines a specific
model class is parameterized by an endofunctor. The aim of the project
is to study fixpoint logics and logics axiomatized with  nested
modalities in this setting. More information on the project and the
position advert can be found at

   http://www.doc.ic.ac.uk/~dirk/CML/

or email me (dirk <at> doc.ic.ac.uk) regarding further queries.

With best wishes for 2008,

Dirk Pattinson.

ICLP 08 | 2 Jan 23:00 2008

ICLP'08 CALL FOR PAPERS

                             FIRST CALL FOR PAPERS
                                    ICLP'08

              24th International Conference on Logic Programming
                     Udine, Italy, December 9th-13th, 2008
                          http://iclp08.dimi.uniud.it

CONFERENCE SCOPE
----------------
Since  the  first  conference  held  in  Marseilles  in 1982, ICLP has been the
premier  international conference for presenting research in logic programming.
Contributions (papers, position papers, and posters) are sought in all areas of
logic programming including but not restricted to:

* Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning,
   Knowledge Representation.
* Implementation: Compilation, Memory Management, Virtual Machines, Parallelism.
*  Environments:  Program  Analysis,  Program  Transformation,  Validation  and
   Verification, Debugging, Profiling, Integration.
* Language  Issues:  Extensions, Integration with Other Paradigms, Concurrency,
   Modularity,  Objects,  Coordination,  Mobility,  Higher Order, Types, Modes,
   Programming Techniques.
* Related Paradigms:  Abductive Logic Programming, Inductive Logic Programming,
   Constraint Logic Programming, Answer-Set Programming.
* Applications:   Databases,    Data   Integration  and   Federation,  Software
   Engineering,  Natural  Language  Processing,  Web  and Semantic Web, Agents,
   Artificial Intelligence, Bioinformatics

The three broad categories for submissions are:
   (1) Technical papers,  providing  novel research  contributions,  innovative
(Continue reading)

Dr.Jawad Abuihlail | 4 Jan 13:29 2008
Picon

Invitation to- "Interactions of Algebraic & Coalgebraic Structures"

Dear Colleague,

Your are cordially invited you to submit a paper to the special theme issue
"Interactions of Algebraic & Coalgebraic Structures (Theory and
Applications)" of the AJSE (The Arabian Journal of Science and Engineering).

The special theme issue is planned to be published in December 2008
(deadline for submitting papers is June 1st, 2008.).

The main topics of the theme issue are
. Algebras and Coalgebras
. Hopf Algebras
. Corings and Comodules
. Bialgebroids & Hopf Algebroids
. Quantum and Lie Groups
. Non-commutative Geometry
. Categorical Aspects
. Applications in Physics
. Applications in Logic, Universal Algebra & Computer Science

More details are in the attached call for papers (in PDF-format).

I appreciate it much, if you would inform me if you are likely to submit a
contribution (so that we can have an approximation of the number of papers
we expect to handle).

Your contribution is highly appreciated.

With best regards,
Jawad
(Continue reading)

Eduardo Dubuc | 3 Jan 18:31 2008
Picon

preprint: 2-filteredness and the point of every Galois topos


Title: 2-filteredness and the point of every Galois topos
Authors: Eduardo J. Dubuc
Categories: math.CT math.AG
Comments: 5 pages, result presented at CT2007, Cavoeiro
MSC-class: 18B25
\\
  A locally connected topos is a Galois topos if the Galois objects
generate the topos. We show that the full subcategory of Galois objects in
any connected locally connected topos is an inversely 2-filtered
2-category, and as an application of the construction of 2-filtered
bi-limits of topoi, we show that every Galois topos has a point.
\\ ( http://arxiv.org/abs/0801.0010 ,  6kb)

NOTE: in definition 1.2 iii) "Z" is supposed to be locally constant.

Andrea Corradini | 6 Jan 18:41 2008
Picon
Picon

WADT 2008 - Call for Papers

  [Please apologize if you receive multiple copies of this message.]

			   CALL FOR PAPERS

			      WADT 2008
		    19th International Workshop on
		   Algebraic Development Techniques

		    Pisa, Italy, June 13-16, 2008

	      Home page: http://www.di.unipi.it/wadt2008

--------------------------------------------------------------------------

After having joined forces with CMCS for CALCO'07 in Bergen, WADT
takes place in 2008 as an individual workshop and in its traditional
format.

			    Aims and Scope

The algebraic approach to system specification encompasses many
aspects of the formal design of software systems. Originally born as
formal method for reasoning about abstract data types, it now covers
new specification frameworks and programming paradigms (such as
object-oriented, aspect-oriented, agent-oriented, logic and
higher-order functional programming) as well as a wide range of
application areas (including information systems, concurrent,
distributed and mobile systems).

The workshop will provide an opportunity to present recent and ongoing
(Continue reading)

Wendy MacCaull | 7 Jan 19:11 2008
Picon
Picon

MSc Opportunities

[apologies for multiple postings]

MSc Opportunities in Verification, Knowledge Representation, and Logic
Programming

Applications are invited from students interested in pursuing an MSc in
Computer Science at St. Francis Xavier University.  Students will be
pursuing thesis research in an area related to one of the following:
verification, logic programming, automated theorem proving, temporal,
modal, paraconsistent and other nonclassical logics, knowledge
representation, ontology building and merging, scheduling, and
requirements and software engineering. The students will join a growing
research group at the StFX Centre for Logic and Information, in
Antigonish, NS, that is collaborating on a prestigious international
research and development project with a health informatics company and a
regional Health Authority.  The project goal is verifiable and
innovative workflow and decision support products for complex and
distributed systems.  Opportunities exist within the project to work on
applications in parallel and high performance computing using ACENet,
Atlantic Canada's high performance computing consortium ( www.ace-net.ca
<http://www.ace-net.ca/>  ).

Project Lead:  Dr.Wendy MacCaull, Professor of Mathematics, Statistics
and Computer Science and Director of the StFX Centre for Logic and
Information. ( http://logic.stfx.ca <http://logic.stfx.ca/> )

Qualifications: A BSc. Honours degree in Computer Science (or closely
related subject).

Funding: Students without external funding will be awarded funding for 2
(Continue reading)

Richard Garner | 7 Jan 12:08 2008
Picon
Picon

Cartesian closed without products


Dear categorists,

A small category C has finite products just when the
representables in [C^op, Set] are closed under finite
products. It is cartesian closed just when the representables
are closed under finite products and internal hom.

It seems natural, therefore, to consider a notion of
"cartesian closedness without finite products": categories in
which the representables are closed in [C^op, Set] under
internal hom but not necessarily under finite products. This
amounts to giving, for each pair of objects X and Y, an
object [X, Y] together with a universal natural
transformation C(-, [X, Y]) x C(-, X) -> C(-, Y). Such
categories will be closed in the sense of Eilenberg-Kelly
without necessarily being monoidal: let us call them
"universally closed" for now.

Obviously, any cartesian closed category is universally
closed; and categorical proof theory gives us a class of
non-degenerate examples built from the syntax of (classical)
sequent calculi with implication but no product.

The question now arises as to whether there are any
non-syntactic examples of universally closed categories which
are not cartesian closed. The most likely place seems to me
to be domain theory, but I have been unable to track anything
down. Does anyone have any pointers?

(Continue reading)

Panagis Karazeris | 7 Jan 14:34 2008
Picon

pssl87 - second announcement

Peripatetic Seminar on Sheaves and Logic 87
Honouring the 70th birthday of Anders Kock

Patras, 21-23 March 2008

The 87th Peripatetic Seminar on Sheaves and Logic will be held in Patras,
Greece, on 22-23 March 2008.
An extra session will be held in the afternoon of Friday 21 March,
celebrating the 70th birthday of Anders Kock.
A. Joyal, F. W. Lawvere and G. Reyes will participate honouring Anders.
M. Bunge was kind enough to lead the registered participants list.

A list of participants will appear soon in

http://www.math.upatras.gr/~pssl87/

Accommodation Information:

The University of Patras is located in the suburbs, 10 km NE of the
downtown area.
The participants have the options of either staying downtown or in one
of the hotels along the coast near the University.
In the first case they will have to use local transportation (bus or taxi).
In the second case they may choose to walk
(weather permitting) or get a ride by the people involved in the
organization. With the second option in mind, a number of rooms has been
reserved at Hotel Achaia Beach and will be available at the price of 69
Euros (single room)  and 85 Euros (double room), provided that reservation
is confirmed before 15 January 2008.
The hotel is 2,5 km away from the PSSL venue and has the extra advantage
(Continue reading)

Richard Garner | 7 Jan 15:09 2008
Picon
Picon

Re: Cartesian closed without products


A minor correction:

> A small category C has finite products just when the
> representables in [C^op, Set] are closed under finite
> products. It is cartesian closed just when the
> representables are closed under finite products and
> internal hom.
>
> It seems natural, therefore, to consider a notion of
> "cartesian closedness without finite products": categories
> in which the representables are closed in [C^op, Set] under
> internal hom but not necessarily under finite products.
> This amounts to giving, for each pair of objects X and Y,
> an object [X, Y] together with a universal natural
> transformation C(-, [X, Y]) x C(-, X) -> C(-, Y). Such
> categories will be closed in the sense of Eilenberg-Kelly
> without necessarily being monoidal:

On reflection, this bit isn't necessarily true, since
EK-closed requires the unit object to be representable as
well.

Richard

Clemens Kupke | 7 Jan 18:20 2008
Picon
Picon

CMCS 2008: Final call for papers

        CMCS 2008 Final Announcement
        Please excuse multiple copies

9th International Workshop on Coalgebraic Methods in Computer Science
http://www.cwi.nl/projects/cmcs08/
Budapest, Hungary
April 4-6, 2008

Key Note Speaker: Dexter Kozen (to be confirmed)
Invited Speakers: Stefan Milius and Dirk Pattinson

The workshop will be held in conjunction with the 11th European Joint
Conferences on Theory and Practice of Software ETAPS 2008
March 29 - April 6, 2008

Programme Committee

Jiri Adamek (chair, Braunschweig), Corina Cirstea (Southampton),  Neil
Ghani (Nottingham),  H. Peter Gumm (Marburg), Bart Jacobs (Nijmegen),
Clemens Kupke (co-chair, Amsterdam), Alexander Kurz (Leicester), Ugo
Montanari (Pisa), Larry Moss (Indiana), John Power (Bath), Jan Rutten
(Amsterdam), Lutz Schröder  (Bremen), Tarmo Uustalu (Tallinn), Yde
Venema (Amsterdam),  Hiroshi Watanabe (Osaka).

Submissions

Two sorts of submissions will be possible this year:

Papers to be evaluated by the programme committee for inclusion in the
ENTCS proceedings:
(Continue reading)


Gmane