second cfp: COSMICAH 2005

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

========================== CALL FOR PAPERS ===========================

			     COSMICAH 2005
First international workshop on verification of COncurrent Systems with
dynaMIC Allocated Heaps

July 10, 2005, Lisboa, Portugal (a satellite workshop of ICALP 2005)

http://www-verimag.imag.fr/~iosif/ws/cosmicah05/

=====================================================================

The ongoing growth in complexity of concurrent  programs requires new
techniques capable of predicting their runtime errors.  One of the
reasons this complexity arises is the use of dynamic memory allocation 
and of
recursive data structures in a concurrent setting.  This is the case of
most object-oriented languages with support for multithreading, where
communication between threads is performed via shared objects
implementing various synchronization policies.

   Over the past decade, new techniques for the analysis of object-based
and object-oriented programs have emerged.  These solutions stem from a
wide range of domains such as static analysis, model checking, theorem
proving and Hoare logic.

   This workshop aims at bringing together researchers from different
   subdomains of formal verification that share interest in the analysis

FLoC 2006 Preliminary Announcement

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

		   Preliminary Announcement --- FLoC'06
		    The 2006 Federated Logic Conference
	               Seattle, Washington, USA
                        August 10 -- August 22, 2006
          http://research.microsoft.com/projects/FLoC2006/home.html
                    http://research.microsoft.com/floc06/

In 1996, as part of its Special Year on Logic and Algorithms, DIMACS hosted
the first Federated Logic Conference (FLoC). It was modeled after the
successful Federated Computer Research Conference (FCRC), and synergetically
brought together conferences that apply logic to computer science.  The
second Federated Logic Conference (FLoC'99) was held in Trento, Italy, 
in 1999, and the third (FLoC'02) was held in Copenhagen, Denmark, in 2002.

We are pleased to announce the fourth Federated Logic Conference (FLoC'06)
to be held in Seattle, Washington, in August 2006, at the Seattle Sheraton
(http://www.sheraton.com/seattle).

The following conferences will participate in FLoC.

Int'l Conference on Computer-Aided Verification (CAV)
Int'l Conference on Rewriting Techniques and Applications (RTA)
IEEE Symposium on Logic in Computer Science (LICS)
Int'l Conference on Logic Programming (ICLP)
Int'l Conference on Theory and Applications of Satisfiability Testing (SAT)
Int'l Joint Conference on Automated Reasoning (IJCAR)

Pre-conference workshops will be held on August 10-11.  LICS, RTA, 

CfP: PDMC'05 at ICALP'05

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

        [[ -- Apologies for multiple copies of this message -- ]]

=============================================================================

                              Call for Papers

                      4th International Workshop on 
              PARALLEL AND DISTRIBUTED METHODS IN VERIFICATION
                              (PDMC 2005)

		   July 10, 2005 - Lisboa, Portugal
		   Workshop affiliated to ICALP'05

                  http://pdmc.informatik.tu-muenchen.de

=============================================================================

OBJECTIVES: The growing importance of automated formal verification in
industry is driving a growing interest in those aspects which have a
direct impact on its applicability to real world problems. One of the
main technical challenges is in devising tools that allow to handle
large state spaces. Over the last years numerous approaches have been
developed. Recently, an increasing interest is in parallelizing and
distributing of verification techniques.

The aim of the PDMC workshop series is to cover all aspects of
parallel and distributed methods and techniques for formal
verification. Theoretical results, algorithms and case studies are

ESCAR in Tallinn, 2nd CFP

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

-------------------------------------------------------------------------------
ESCAR, a CADE-20 Workshop                                   22nd-23rd July 2005
http://www.cs.miami.edu/~geoff/Conferences/ESCAR/              Tallinn, Estonia

The CADE-20 Workshop on  Empirically Successful Classical  Automated  Reasoning
(ESCAR) will  bring together practioners and researchers who are concerned with
the  implementation and deployment  of working  automated reasoning systems for
classical logic  (propositional, first order,  and higher order).  The workshop
will discuss  "really running" systems, and not theoretical ideas that have not
yet  been translated  into working  software.  ESCAR is  the successor  to  the
successful ESFOR workshop held at IJCAR 2004. CADE-20 will be 22nd to 27th July
2005, with ESCAR on the 22nd and 23rd. Full details are available at:
    http://www.cs.miami.edu/~geoff/Conferences/ESCAR/

Submission of papers for presentation at the workshop, and proposals for system 
and application demonstrations  at the workshop,  are now invited.  Submissions 
will be refereed,  and a balanced program of high-quality contributions will be 
selected.  The submission deadline  is 1st May,  notification of acceptance  on 
30th May,  and camera ready versions  due 12th June.  Submission information is 
online at:
    http://www.cs.miami.edu/~geoff/Conferences/ESCAR/

Additionally,  the Journal of Automated Reasoning has agreed to a special issue
on emperically successful automated reasoning.  Authors of ESCAR papers will be
able to  submit extended  versions of  their workshop  papers for  this special
issue. All papers submitted for the special issue will be reviewed according to
the journal's standards.
-------------------------------------------------------------------------------

CfP FOCLASA'05 at CONCUR 2005: Foundations of Coordination Languages and Software Architectures

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

                          FOCLASA 2005

               4th International Workshop on the
Foundations of Coordination Languages and Software Architectures 

              A Satellite Workshop of CONCUR 2005

                         August 27, 2005
                  San Francisco, Californa (USA)

                    http://foclasa05.lcc.uma.es

Abstract
========

    A number of hot research topics are currently sharing the 
common problem of combining concurrent, distributed, mobile and 
heterogenous components, trying to harness the intrinsic 
complexity of the resulting systems. These include coordination, 
peer-to-peer systems, grid computing, web-services, multi-agent 
systems, and component-based systems. Coordination languages and 
software architectures are recognised as fundamental approaches 
to tackle these issues, improving software productivity, 
enhancing maintainability, advocating modularity, promoting 
reusability, and leading to systems more tractable and more 

IFL'05 - preliminary CFP

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

[as ever, apologies if you get this more than once]

= Preliminary Call for Participation =

Announcement and Call for Papers for the 17th International Workshop
on the Implementation and Application of Functional Languages (IFL'05)

September 19th-21st, 2005, Dublin, Ireland.
Website: http://www.cs.tcd.ie/ifl05
E-mail: ifl05@...

== Scope and Topics ==

The IFL workshops form a tradition that has lasted for nearly two
decades. The aim of these workshops is to bring together
researchers actively engaged in the implementation and application
of functional and function-based programming languages. They
provide an open forum for researchers who wish to present and
discuss new ideas and concepts, work in progress, preliminary
results, etc. related primarily but not exclusively to the
implementation and application of functional languages.

Topics of interest include, but are not limited to
  * language concepts
  * type checking
  * compilation techniques
  * generic programming techniques
  * (abstract) interpretation

CLIMA VI :: new deadline April 15

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

[Apologies for cross-postings. Please send to interested colleagues and students]

==========================================================================

                         * DEADLINE EXTENSION *

                                 CLIMA VI

Sixth International Workshop on Computational Logic in Multi-Agent Systems

                                featuring:

                  the First CLIMA Tutorial Programme and
                       the First CLIMA Competition

              City University, London, UK, June 27-29, 2005
                       http://clima.deis.unibo.it/

                * SUBMISSIONS OPEN UNTIL APRIL 15, 2005 *

==========================================================================

lectureship at Imperial

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

I should like to bring to your attention the current lectureship 
position available at Imperial.  The aim is to  consolidate one of the 
current research strengths of the department (which includes theory!). 
Details given below and at

http://www.doc.ic.ac.uk/about/situationsvacant/

Note that the closing date is 25th April.

Best wishes,
Philippa Gardner

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

Lectureship

Department of Computing, Imperial College London

Salary: £35,001 to £39,094 per annum

Applications are invited for a Lectureship in the Department of 
Computing at Imperial College, South Kensington Campus, London. For 
further information on the Department visit http://www.imperial.ac.uk/doc

The Department of Computing has an established international research 
and teaching reputation and was awarded a 5* rating in the 2001 Research 
Assessment Exercise. The Department is now seeking to consolidate and 
expand its research and teaching activities by making a strategic 

LPNMR'05: Call for Systems and Applications

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

                      Call for Systems and Applications

              8th International Conference on Logic Programming
                       and Nonmonotonic Reasoning
                                 (LPNMR'05)

                         Diamante/Cosenza, Italy
                           September 5-8, 2005

                     http://www.mat.unical.it/lpnmr05/

As part of the technical program of LPNMR'05, we plan a special session 
devoted to presentations and demonstrations of LPNMR systems and LPNMR 
applications.

Accepted contributions will be published as part of the regular conference 
proceedings in the Springer "Lecture Notes in Computer Science" series 
(with a limit of four to five pages).

System descriptions should provide information on the theoretical background,
features, and possibly implementation techniques, experimental evaluation,
programming methodology and availability.

Application descriptions should refer to concrete applications of LPNMR and
describe design choices and decisions, interesting implementation issues,
techniques, and methodology, experimental evaluation and availability.

SUBMISSION OF PAPERS

LICS 2005: Call for Participation

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

Registration for LICS 2005 is now open.

  ** NOTE HOTEL ROOM BOOKING EXPIRES MAY 1st SO EARLY RESERVATION IS **
  ** RECOMMENDED. (DORM BOOKING IS OPEN UNTIL MAY 20th.)             **


                        CALL FOR PARTICIPATION
                  Twentieth Annual IEEE Symposium on 
                 LOGIC IN COMPUTER SCIENCE (LICS 2005)
               June  26th-29th, 2005, Chicago, Illinois
         Affiliated workshops: June 24-25, 30 and July 1, 2005

           http://www.lfcs.informatics.ed.ac.uk/lics/lics05/

The LICS Symposium is an annual international forum on theoretical and
practical topics in computer science that relate to logic broadly
construed. 

Important dates: 

May 1st 2005: Club Quarters room block booking expires. Reserve 
  your hotel room before this date!
May 20th 2005: University Center of Chicago room block booking 
  expires. Reserve your dorm room before this date!
May 20th 2005: Early registration discount expires. 

Invited Speakers: