Luigi Santocanale | 1 May 08:56 2010

[TYPES/announce] FICS 2010: 2nd Call for Contributions

[ The Types Forum (announcements only), ]

[* Apologies for multiple copies *]

                    2nd Call for Papers (Extended Abstracts)

         7th Workshop on Fixed Points in Computer Science, FICS 2010
                 Brno, Czech Republic, August 21-22 2010
                 a satellite workshop to MFCS & CSL 2010



Fixed points play a fundamental role in several areas of computer
science and logic by justifying induction and recursive
definitions. The construction and properties of fixed points have been
investigated in many different frameworks such as: design and
implementation of programming languages, program logics,
databases. The aim of the workshop is to provide a forum for
researchers to present their results to those members of the computer
science and logic communities who study or apply the theory of fixed
points. Previous workshops were held in Brno (1998, MFCS/CSL
workshop), Paris (2000, LC workshop), Florence (2001, PLI workshop),
Copenhagen (2002, LICS (FLoC) workshop), Warsaw (2003, ETAPS
workshop), Coimbra (2009, CSL workshop).

Topics include, but are not restricted to:

(Continue reading)

Till Mossakowski | 1 May 10:52 2010

[TYPES/announce] CfP: 20th WADT - deadline extended to May, 10th

[ The Types Forum (announcements only), ]

             [sorry if you receive this more than once]

                      CALL FOR PAPERS

                         WADT 2010
                20th International Workshop on
               Algebraic Development Techniques

               July 1-4, 2010, Etelsen, Germany

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 work, to meet colleagues, and to discuss new ideas and
  future trends.

(Continue reading)

Gabriel Ciobanu | 1 May 17:53 2010

[TYPES/announce] MeCBIC 2010: 4th Workshop on Membrane Computing and Biologically Inspired Process Calculi

[ The Types Forum (announcements only), ]

                         Call for Papers

                           MeCBIC 2010
                4th Workshop on Membrane Computing
             and Biologically Inspired Process Calculi
                 Jena, Germany, 23-24 August 2010

        Affiliated to CMC11, Conference on Membrane Computing



    Title and Abstract: 	 7 June, 2010
    Paper Submission: 	12 June, 2010
    Notification: 	31 July, 2010
    Pre-EPTCS version: 	12 Aug., 2010

Biological membranes play a fundamental role in the complex reactions 
which take place in cells of living organisms. The importance of this role 
has been considered in two different types of formalisms recently 
introduced. Membrane systems were introduced as a class of distributed 
parallel computing devices inspired by the observation that any biological 
system is a complex hierarchical structure, with a flow of materials and 
information that underlies their functioning. The modeling and the 
(Continue reading)

Bruno Oliveira | 2 May 11:06 2010

[TYPES/announce] WGP 2010 Second Call for Papers

[ The Types Forum (announcements only), ]

                           CALL FOR PAPERS
                               WGP 2010

           6th ACM SIGPLAN Workshop on Generic Programming
                       Baltimore, Maryland, US
                     Sunday, September 26th, 2010


Collocated with the International Conference on Functional Programming
                             (ICFP 2010)

Goals of the workshop

Generic programming is about making programs more adaptable by making
them more general. Generic programs often embody non-traditional kinds
of polymorphism; ordinary programs are obtained from them by suitably
instantiating their parameters. In contrast with normal programs, the
parameters of a generic program are often quite rich in structure; for
example they may be other programs, types or type constructors, class
hierarchies, or even programming paradigms.

Generic programming techniques have always been of interest, both to
practitioners and to theoreticians, and, for at least 20 years,
generic programming techniques have been a specific focus of research
in the functional and object-oriented programming communities. Generic
programming has gradually spread to more and more mainstream
languages, and today is widely used in industry. This workshop brings
together leading researchers and practitioners in generic programming
from around the world, and features papers capturing the state of the
art in this important area.

We welcome contributions on all aspects, theoretical as well as
practical, of

     * polytypic programming,
     * programming with dependent types,
     * programming with type classes,
(Continue reading)

Phil Scott | 2 May 19:11 2010

[TYPES/announce] PCAs 2010: a LICS-FLoC 2010 workshop

[ The Types Forum (announcements only), ]

This is to announce:

Partial Combinatory Algebras in Realizability and Computability (PCAs 
                 Friday 9th July 2010, Edinburgh, UK

              A LICS 2010-affiliated workshop at FLoC 2010

A workshop bringing together researchers working on all aspects of
partial combinatory algebras (PCAs) in realizability and computability.

Invited speakers:
  Andrej Bauer (Ljubljana)
  Inge Bethke (Amsterdam)
  John Longley (Edinburgh)
  Jaap van Oosten (Utrecht)
  Pino Rosolini (Genova)
  Thomas Streicher (Darmstadt)


There are (a limited number) of slots for contributed talks: if
you would like to contribute a talk to this workshop please
contact one of the organizers (Robin Cockett or Pieter
(Continue reading)

moggi | 3 May 16:58 2010

[TYPES/announce] ICTCS 2010 last CFP

[ The Types Forum (announcements only), ]

Last Call for Papers
12th Italian Conference on Theoretical Computer Science (ICTCS 2010)
Camerino, Italy, September 15-17, 2010

ICTCS 2010 provides a forum for the exchange of ideas among
researchers, and it aims to foster an environment, where junior
researchers and PhD students can gain experience in presenting their
work, broaden their views on the subject, and benefit from contact with
more established researchers. Also researchers from outside Italy are
welcome to submit papers and attend the Conference.

The Scientific and Organizing Committee welcomes contributions in any
area of Theoretical Computer Science. These contributions could describe
- original works, that the authors may want to submit to a
post-conference special issue;
- original works submitted or accepted somewhere else, that the
authors wish to publicize at ICTCS;
- works in progress, on which the authors wish to get feedback at ICTCS.

Submission Deadline:
- May 20 (for entering title and text abstract)
- May 27 (for adding pdf and attachments)
Notification of Acceptance: June 20
Early registration deadline: July 30
Conference: September 15-17
(Continue reading)

Ana Bove | 3 May 19:10 2010

[TYPES/announce] PAR'10: Call for Participation

[ The Types Forum (announcements only), ]

                        Call for Participation

                             PAR 2010

   Workshop on Partiality And Recursion in Interactive Theorem Provers
                    Edinburgh, UK, 15 July 2010
                  (satellite workshop of ITP'10)
                     a mid-FLoC 2010 workshop



PAR'10 is a one-day workshop organised as a part of FLoC'10.  It is a
venue for researchers working on new approaches to cope with partial
functions and terminating general recursion in (interactive) theorem
provers. See <> for further

Registration is now open via FLoC 2010 registration form
Early registration is open until May 17th.

The programme of the workshop will comprise:

Invited Speakers:
(Continue reading)

Alex Simpson | 4 May 21:39 2010

[TYPES/announce] PSPL 2010: Programme, registration and student grants

[ The Types Forum (announcements only), ]

                  Proof Systems for Program Logics (PSPL 2010)
                     Saturday 10th July 2010, Edinburgh, UK

                  A LICS 2010-affiliated workshop at FLoC 2010


REGISTRATION: Now open. (Early registration discounts apply until May 17th.)

STUDENT GRANTS: Still available. Enquiries to pspl2010@...


Invited talks:

   * Recent developments in concurrent program logics
     Viktor Vafeiadis (University of Cambridge)

   * Proof Systems for Hybrid System Logics
     Andre Platzer (Carnegie Mellon University)

Discussion session:

   * Challenge topics in PSPL
     Led by Peter O'Hearn and Alex Simpson

Contributed talks:
(Continue reading)

Andrea Asperti | 5 May 09:31 2010

[TYPES/announce] MSCS Special Issue - Mechanization of Mathematics (second call)

[ The Types Forum (announcements only), ]

Mathematical Structures in Computer Science

Special Issue on

Advances and Perspectives in the Mechanization of Mathematics

Guest Editors: Andrea Asperti and Jeremy Avigad

Call for contributions

Recent advances in automated reasoning and interactive theorem proving 
have made it possible to formalize and mechanically check substantial 
mathematical theorems, such as the prime number theorem, the four color 
theorem, and the Jordan curve theorem. In particular, a number of 
interactive proof assistants have been developed to help users manage 
libraries of definitions and theorems, and fill in the inferential 
details of a mathematical argument. Automated methods are also often 
used to verify calculations that are too long and complex to check by 
hand. As mathematical proofs become more complicated and, increasingly, 
rely on extensive calculation, this gives rise to an exciting 
interaction between traditional methods and computational means of 
verifying mathematical claims.

The present issue is devoted to recent advances and new perspectives in 
this field, including descriptions of formalizations, thoughtful 
reflection on the future of the discipline, novel insights, innovative 
research directions, and critical assessments of the current state of 
(Continue reading)

Alex Simpson | 5 May 13:59 2010

[TYPES/announce] SCTS (Edinburgh, 21st May): Programme and call for participation

[ The Types Forum (announcements only), ]

At the meeting announced below, a well-known type theorist promises
to overturn an established mathematical definition.


*** Scottish Category Theory Seminar
*** Second Meeting
*** Friday 21st May 2010, 2-5.30pm
*** Informatics Forum, University of Edinburgh, Scotland

We are pleased to announce the programme of the Second Scottish Category
Theory Seminar. The meetings is open, and all are welcome to attend.

     * Invited talk: Antony Maciocia (University of Edinburgh)
       Triangulated Categories in Algebraic Geometry

     * Thorsten Altenkirch (University of Nottingham)
       Monads Need Not Be Endofunctors

     * Peter Kropholler (University of Glasgow)
       My Favourite Adjunctions

     * Invited talk: Dirk Pattinson (Imperial College London)
       Category-theoretic Proof Theory of Modal Logics
(Continue reading)