headers
J. Huitink | 1 Nov 2005 21:14
Picon

1st CfP ESSLLI 2006 STUDENT SESSION

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

1st CALL FOR PAPERS
ESSLLI 2006 STUDENT SESSION
July 31 - August 11, Malaga, Spain
www.science.uva.nl/~katrenko/stus06

---apologies for multiple copies---

We are pleased to announce the Student Session of the 18th European Summer School in Logic, Language and
Information (ESSLLI), which will be held July 31 - August 11, in Malaga, Spain. We invite papers for oral
and poster presentation from the areas of Logic, Language and Computation.

The aim of the Student Session is to provide students with the opportunity to present their work in progress
and get feedback from senior researchers and fellow-students.

The ESSLLI Student Session invites students at any level, undergraduates as well as graduates,  to submit a
full paper, no longer than 7 pages (including references). Papers should be submitted with clear
indication of the selected modality of presentation, i.e. oral or poster. Accepted papers will be
published in the Student Session Proceedings.

Papers should describe 
original, unpublished work, complete or in progress, that demonstrates insight, creativity and
promise. Previously published papers should not be submitted.

The preferred format for submission is PDF. All submissions must be accompanied by a plain text
identification page, and sent to katrenko@... Deadline for
submission: February 1st, 2006.

For more information about the Student Session, and for the technical details concerning submission,
(Continue reading)

Permalink | Reply | 0 comments |
headers
DAIS'06 | 2 Nov 2005 08:19
Picon

Call for papers and workshop proposals - DAIS 2006

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

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

                   CALL FOR PAPERS AND WORKSHOP PROPOSALS

                              6th IFIP WG 6.1
                       International Conference on
             Distributed Applications and Interoperable Systems

                                DAIS 2006

                  "From service-oriented architectures
                     to self-managing applications"

                             Bologna, Italy
                            June 13-16, 2006

                   http://www.discotec06.cs.unibo.it/DAIS06/

                     To be held in conjunction with
                     FMOODS 2006  and  Coordination 2006
                       http://discotec06.cs.unibo.it

ABOUT THE CONFERENCE

In recent years, distributed applications have indeed gained a practical
and widely-known footing in everyday computing. Use of new communication
technologies have brought up divergent application areas, including
mobile computing, inter-enterprise collaborations, and ubiquitous
(Continue reading)

Permalink | Reply | 0 comments |
headers
Hans-Wolfgang Loidl | 3 Nov 2005 21:19
Picon

CfP: Applied Semantics, Special Issue of J of TCS

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

[ -- apologies for multiple copies of this CfP -- HWL ]

				   CALL FOR PAPERS

				    Special Issue on
				  APPLIED SEMANTICS
				       of the
		       Journal of Theoretical Computer Science

	       http://lionel.tcs.ifi.lmu.de/APPSEM05/journal_call.php

We  invite the  submission  of full  papers on  the  topic of  Applied Semantics,  as
described below,  for publication in  a special issue  of the Journal  of Theoretical
Computer Science (TCS).  Papers should  be revised versions of those papers submitted
to and presented at the  APPSEM05 Workshop, Frauenchiemsee, Germany, September 12-15.
However, we  will consider submissions of  papers not presented  there, provided they
fall into  the scope of  the call and  clearly work out  a novel contribution  to the
field that wasn't mature enough to be presented at the aforementioned workshop.

Programming languages  are the basic tools  with which all  applications of computers
are built.   It is important, therefore, that  they should be well  designed and well
implemented. Achieving these goals requires  both a good theoretical understanding of
programming language designs, and practical skills in the development of high quality
compilers. This special issue will cover all these areas and will focus on the formal
basis for programming languages.

The general areas covered by this special issue are as follows:
(Continue reading)

Permalink | Reply | 0 comments |
headers
csl06 | 4 Nov 2005 13:34
Picon
Favicon

Ackermann Award

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

-------------------------------------------------------------------
                               AA06
-------------------------------------------------------------------

Ackermann Award 2006
---------------------
Nominations are solicited for the
Ackermann Award 2006.

The EACSL Outstanding Dissertation Award for Logic in Computer Science
(The Ackermann Award) will be presented to
the recipients at the annual conference of the EACSL (CSL'06).
The jury is entitled to give more than one award
per year. The first Ackermann Award was presented at CSL'05.

The 2005 recipients were
Mikolaj Bojanczyk
Konstantin Korovin
Nathan Segerlind

Eligible for the 2006 Ackermann Award are PhD dissertations in
topics specified by the EACSL and LICS conferences, which were
formally accepted as PhD theses at a university or equivalent
institution between 1.1.2004 and 31.12. 2005.

------------------------------------------
The deadline for submission is 31.1.2006.
------------------------------------------
(Continue reading)

Permalink | Reply | 0 comments |
headers
Computer Science Logic '06 Conference | 4 Nov 2005 14:31
Picon
Favicon

CSL'06 CALL FOR PAPERS

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

**********************************************************************
*                              CSL'06                                *
*          Annual Conference of the European Association for         *
*                      Computer Science Logic                        *
*             September 25 -- 29, 2006, Szeged, Hungary              *
*                 http://www.inf.u-szeged.hu/~csl06/                 *
*                    PRELIMINARY CALL FOR PAPERS                     *
**********************************************************************

Computer Science Logic (CSL) is the annual conference of the European
Association for Computer Science Logic (EACSL). The conference is
intended for computer scientists whose research activities involve
logic, as well as for logicians working on issues significant for
computer science. CSL'06, the 15th annual EACSL conference will be
organized by the Institute of Informatics, University of Szeged.

Suggested topics of interest include: automated deduction and
interactive theorem proving, constructive mathematics and type theory,
equational logic and term rewriting, automata and formal logics, modal
and temporal logic, model checking, logical aspects of computational
complexity, finite model theory, computational proof theory, logic
programming and constraints, lambda calculus and combinatory logic,
categorical logic and topological semantics, domain theory, database
theory, specification, extraction and transformation of programs,
logical foundations of programming paradigms, verification of security
protocols, linear logic, higher-order logic, nonmonotonic reasoning,
logics and type systems for biology.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Stijn Vansummeren | 4 Nov 2005 14:58
Picon
Favicon

PODS 2006 Call For Papers

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

                25th ACM SIGMOD-SIGACT-SIGART
        SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS

                Chicago, 26--28 June 2006

                http://www.umich.edu/sigmod-pods06

The PODS symposium series, held in conjunction with the SIGMOD
conference series, provides a premier annual forum for the communication
of new advances in the theoretical foundation of database systems.
For the 25th edition, original research papers providing new insights
in the specification, design, or implementation of data management
tools are called for.  Topics that fit the interests of the symposium
include the following (as they pertain to databases):

algorithms; complexity; computational model theory; concurrency;
constraints; data integration; data mining; data modeling; data on
the Web; data streams; data warehouses; distributed databases;
information retrieval; knowledge bases; logic; multimedia; physical
design; privacy; quantitative approaches; query languages; query
optimization; real-time data; recovery; scientific data; security;
semantic Web; semi-structured data; spatial data; temporal data;
transactions; updates; views; Web services; workflows; XML.

Papers should be at most ten pages, using reasonable page layout
and font size.  Additional details may be included in an appendix,
which, however, will be read at the discretion of the program
committee.  Submissions are made through the Web:
(Continue reading)

Permalink | Reply | 0 comments |
headers
David Walker | 4 Nov 2005 19:08
Picon

POPL 2006 Call for Participation

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

*********************************************************************
*                  ACM SIGPLAN-SIGACT Symposium                     *
*                             on                                    *
*               Principles of Programming Languages                 *
*                                                                   *
*                     January 11-13, 2006                           *
*                    Charleston Place Hotel                         *
*                  Charleston, South Carolina                       *
*                                                                   *
*                    Call for Participation                         *
*                                                                   *
*            http://www.cs.princeton.edu/~dpw/popl/06/              *
*********************************************************************

Important dates

* Early Registration Deadline: December 10, 2005 
* Hotel Reservation Deadline:  December 10, 2005 
* Conference:                  January 11-13, 2006

Scope

The annual Symposium on Principles of Programming Languages is a forum for
the discussion of fundamental principles and important innovations in the
design, definition, analysis, transformation, implementation and
verification of programming languages, programming systems, and programming
abstractions. Both experimental and theoretical papers on principles and
innovations are welcome, ranging from formal frameworks to reports on
(Continue reading)

Permalink | Reply | 0 comments |
headers
Thorsten Altenkirch | 7 Nov 2005 10:49
Picon
Gravatar

TYPES 2006 workshop

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

			      TYPES 2006

		Main Conference of the Types Project
		   Nottingham, UK, 18-24 April 2006

		  http://www.cs.nott.ac.uk/types06/

This is the latest meeting in a series that started 1992, the last
conference was in December 2004 in Paris.

The topic of the meeting is formal reasoning and computer programming
based on Type Theory : languages and computerised tools for reasoning,
and applications in several domains such as analysis of programming
languages, certified software, formalisation of mathematics and
mathematics education.

TYPES 2006 is colocated with TFP 2006 (Trends in Functional
Programming) and we plan to hold a joint session on Dependently Typed
Programming.

The conference takes place at Jubilee campus of the University of
Nottingham, on-site accomodation will be available together with the
registration.

For more information see:  http://www.cs.nott.ac.uk/types06/

We will open registration early next year. You will be able to submit
your talk and abstract together with your registration. We will try to
(Continue reading)

Permalink | Reply | 0 comments |
headers
Herbert Wiklicky | 7 Nov 2005 15:54
Picon
Picon
Favicon

QAPL'06 (ETAPS Satellite): Call for Papers

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

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

                       Call for Papers
                          QAPL 2006
 4th Workshop on Quantitative Aspects of Programming Languages
                       April 1-2, 2006

                       Vienna, Austria
                Satellite Event of ETAPS 2006

-----------------------------------------------------------------
Scope:

Quantitative aspects of computation are important and sometimes
essential in characterising the behaviour and determining the
properties of systems. They are related to the use of physical
quantities (storage space, time, bandwidth, etc.)  as well as
mathematical quantities (e.g. probability and measures for
reliability, risk and trust). Such quantities play a central role in
defining both the model of systems (architecture, language design,
semantics) and the methodologies and tools for the analysis and
verification of system properties.

The aim of this workshop is to discuss the explicit use of
quantitative information such as time and probabilities either
directly in the model or as a tool for the analysis of systems. In
particular, the workshop focuses on
(Continue reading)

Permalink | Reply | 0 comments |
headers
Matthias Blume | 7 Nov 2005 16:59

REMINDER: Proposals for workshops (ICFP '06) due this Friday!

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

The deadline for workshop proposals is coming up on November 11,  
2005. If
you are planning to organize a workshop to be co-located with ICFP 2006,
please, send us your proposal before the deadline expires!

Many thanks, and kind regards,
Matthias Blume

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

              ICFP '06 CALL FOR WORKSHOP PROPOSALS

The ICFP 2006 ACM SIGPLAN International Conference on Functional  
Programming
will be held in Portland, Oregon from September 18 to September 20,  
2006.

Proposals for workshops are invited for consideration of ACM SIGPLAN
sponsorship and affiliation with ICFP 2006.  Affiliated workshops will
be held on September 16 and 17 (as well as on September 21, if
necessary).  The purpose of these workshops is to provide a forum for
presenting novel ideas in a less formal and possibly more focused way
than at ICFP itself. They may also provide good opportunities for
young researchers to present their work to, and to obtain feedback
from, a specialized community. The format of each workshop is to be
determined by its organizers, but it is expected that each workshop
allows ample time for general discussion. The preference is for
(Continue reading)

Permalink | Reply | 0 comments |

Gmane