Stephanie Weirich | 3 Jul 01:15 2010

[TYPES/announce] TLDI 2011 Call For Papers

[ The Types Forum (announcements only), ]

                            TLDI 2011

                         CALL FOR PAPERS

	        The Sixth ACM SIGPLAN Workshop on
            Types in Language Design and Implementation

	               Austin, Texas, USA
                     Tuesday, January 25, 2011
                    (Co-located with POPL 2011)

               Submission Deadline: October 11, 2010

The role of types and proofs in all aspects of language design,
compiler construction, and software development has expanded greatly
in recent years.  Type systems, type-based analyses and type-theoretic
deductive systems have been central to advances in compilation
techniques for modern programming languages, verification of safety
and security properties of programs, program transformation and
optimization, and many other areas.  The ACM SIGPLAN Workshop on Types
in Language Design and Implementation brings researchers together to
share new ideas and results concerning all aspects of types and
programming, and is now an annual event.  TLDI 2011 is the sixth
workshop in the series and will be co-located with POPL in Austin,
Texas in January 2011.
(Continue reading)

Jeremy Siek | 3 Jul 02:09 2010

[TYPES/announce] CfP: FOOL '10, Foundations of Object-Oriented Languages

[ The Types Forum (announcements only), ]

                          Call For Papers
                   2010 International Workshop on
              Foundations of Object-Oriented Languages
                             (FOOL '10)

                      Sponsored by ACM SIGPLAN

                      Sunday, 17 October 2010
                         Reno, Nevada, USA
                     A Workshop of SPLASH (OOPSLA) '10


       Title and Abstract: Monday, 2 August 2010
       Submissions: Monday, 9 August 2010
       Notifications: Monday, 30 August 2010
       Final versions: Friday, 1 October 2010

Workshop Description

The search for sound principles for object-oriented languages has
given rise to much work during the past two decades, leading to a
better understanding of the key concepts of object-oriented languages
and to important developments in type theory, semantics, program
verification, and program development.  FOOL became FOOL/WOOD in 2006,
joining forces with the Workshop on Object-Oriented Developments.
FOOL has traditionally co-located with the POPL conference, but this
year we are trying something new, co-locating with SPLASH/OOPSLA.
FOOL'10 will be held in Reno, Nevada, USA on Sunday, 17 October 2010,
during the workshop days at the beginning of SPLASH.

Submissions for this event are invited in the general area of
foundations of object-oriented languages and program analysis. Topics
of interest include language semantics, type systems, program analysis
and verification, formal calculi, concurrent and distributed
languages, database languages, and language-based security issues.

Papers are welcome to include formal descriptions and proofs, but
these are not required; the key consideration is that papers should
present novel and valuable ideas or experiences. The main focus in
selecting workshop contributions will be the intrinsic interest and
timeliness of the work, so authors are encouraged to submit polished
descriptions of work in progress as well as papers describing
completed projects.

A web page will be created and made available as an informal
electronic proceedings. Historically, presentation at FOOL (or
FOOL/WOOD) does not count as prior publication, and many of the
results presented at FOOL have later been published at ECOOP, OOPSLA,
POPL, and other conferences.

Submission Instructions

We solicit submissions on original research not previously published
or currently submitted for publication elsewhere. The program chair
should be informed of any related submissions; see the ACM SIGPLAN
Republication Policy
Submissions should be PDF or PostScript in standard SIGPLAN 9pt
conference format for a US-letter size page. Templates are available
at .

While submissions can be up to 12 pages, shorter papers describing
promising preliminary work are also encouraged.  More detailed
submission instructions will be announced on the workshop web site at

Program Chair

Jeremy Siek (University of Colorado at Boulder)
  e-mail: jeremy.siek <at>

Program Committee

Davide Ancona (Universita' di Genova, Italy)
Juan Chen (Microsoft Research, USA)
Derek Dreyer (MPI-SWS, Germany)
Atsushi Igarashi (Kyoto University, Japan)
Donna Malayeri (EPFL, Switzerland)
Nate Nystrom (University of Texas Arlington, USA)
Frank Piessens (Katholieke Universiteit Leuven, Belgium)
Chieri Saito (Kyoto University, Japan)
Sam Tobin-Hochstadt (Northeastern, USA)
Elena Zucca (Universita' di Genova, Italy)

Steering Committee

Jonathan Aldrich (Carnegie Mellon University, USA) [Chair]
Viviana Bono (Universita` di Torino, Italy)
Michele Bugliesi (Universita` Ca' Foscari, Italy)
Kathleen Fisher (AT&T Labs, USA)
Benjamin Pierce (University of Pennsylvania, USA)
John Reppy (University of Chicago, USA)
Christopher Stone (Harvey Mudd College, USA)
Philip Wadler (University of Edinburgh, Scotland)

Jan Cederquist | 4 Jul 20:52 2010

[TYPES/announce] 2nd Cfp: Software Verification and Testing at ACM SAC 2011

[ The Types Forum (announcements only), ]

                  Call for papers

   26th Annual ACM Symposium on Applied Computing
      Software Verification and Testing Track
       March 21 - 25, 2011, TaiChung, Taiwan

Important dates

* Aug 24th 2010: Submission deadline
* Oct 12th 2010: Notification of acceptance/rejection
* Nov 2nd 2010: Camera-ready versions due

ACM Symposium on Applied Computing

The ACM Symposium on Applied Computing (SAC) has gathered scientists 
from different areas of computing over the past twenty-five years. The 
forum represents an opportunity to interact with different communities 
sharing an interest in applied computing.

SAC 2011 is sponsored by SIGAPP and will be hosted by Tunghai 
University, TaiChung, Taiwan.

Software Verification and Testing Track
(Continue reading)

Matteo Casadei | 5 Jul 11:56 2010

[TYPES/announce] [2nd CfP] SAC 2011 Track on Coordination Models, Languages and Applications

[ The Types Forum (announcements only), ]


Coordination Models, Languages, and Applications (CM)
Special Track at the 26th Symposium on Applied Computing (SAC 2011)
TaiChung, Taiwan
March 21 - 25, 2011



Aug. 24, 2010: Paper submissions
Oct. 12, 2010: Author notification
Nov. 2, 2010: Camera-Ready Copy

For the past twenty-five years, the ACM Symposium on Applied Computing has been a primary gathering forum
for applied computer scientists, computer engineers, software engineers, and application developers
from around the world.


Building on the success of the twelfth previous editions (1998-2010), a special track on coordination
models, languages and applications will be held at SAC 2011. Over the last decade, we have witnessed the
emergence of models, formalisms and mechanisms to describe concurrent and distributed computations
and systems based on the concept of coordination. The purpose of a coordination model is to enable the
integration of a number of, possibly heterogeneous, components (processes, objects, agents) in such a
(Continue reading)

N. Raja | 5 Jul 14:06 2010

[TYPES/announce] ICDCIT -- 2011, Bhubaneswar, India, Call for papers

[ The Types Forum (announcements only), ]

The role of types and proofs in several aspects of programming methodologies,
formal methods, and software development, has always been important
in the arena of distributed computing and Internet technologies.


ICDCIT -- 2011
The Seventh International Conference on
Distributed Computing and Internet Technology:
09 - 12 February 2011,
Bhubaneswar, India
Submission Deadline     - 31 July 2010
Decision Notification   - 01 October 2010
Final Submission        - 01 November 2010
Conference Dates        - 09--12 February 2011
Jos Baeten, Eindhoven University of Technology, The Netherlands
Yves Deswarte, LAAS-CNRS, France
Kohei Honda, Queen Mary & Westfield College, UK
Vaughan Pratt, Stanford University, USA

(Continue reading)

Thomas Ehrhard | 6 Jul 12:16 2010

[TYPES/announce] LC2010 registration deadline extension

[ The Types Forum (announcements only), ]

Paris, July 25 - July 31
Registration Deadline Extension

The preregistration and registration deadline
for the Logic Colloquium 2010

has been extended. The new deadline is

July 14th

Looking forward to seeing you in Paris,
The Organizing Committee of LC2010

Manuel Mazzara | 9 Jul 16:28 2010

[TYPES/announce] Second CFP: SAC 2011 track on Service Oriented Architectures and Programming

[ The Types Forum (announcements only), ]

Service Oriented Architectures and Programming


ACM SAC 2011


For the past twenty-five years, the ACM Symposium on Applied Computing
has been a primary and international forum for applied computer
scientists, computer engineers, and application developers to gather,
interact and present their work. SAC 2011 is sponsored by the ACM
Special Interest Group on Applied Computing (SIGAPP), and is hosted by
Tunghai University in TaiChung, Taiwan.




Although when considered from a purely technological point of view
Service-Oriented Programming (SOP) is not an enormous novelty, when it
comes to paradigmatic considerations SOP is quickly changing our
vision of the Web. Originally, the Web was mainly seen as a means of
presenting the (Continue reading)

Arend Rensink | 15 Jul 14:36 2010

[TYPES/announce] CfPart ICGT and SPIN, 27 Sep - 2 Oct 2010 at University of Twente, The Netherlands

[ The Types Forum (announcements only), ]


                *** Call for Participation ***

                          ICGT 2010
     Fifth International Conference on Graph Transformation
                     29 Sep - 1 Oct 2010

                          SPIN 2010
17th International SPIN Workshop on Model Checking of Software
                     27 Sep - 29 Sep 2010

        University of Twente, Enschede, The Netherlands



Programme at:

Early registration deadline: 1 September 2010


(Continue reading)

Dave Schmidt | 15 Jul 17:23 2010

[TYPES/announce] Call for Papers: VMCAI'11

[ The Types Forum (announcements only), ]


                            CALL FOR PAPERS

			      VMCAI 2011

	       The Twelfth International Conference on
       Verification, Model Checking, and Abstract Interpretation

		  Austin, Texas, USA, January 23-25, 2011
		     (Co-located with POPL 2011)



VMCAI  provides  a  forum  for  researchers from  the  communities  of
Verification,    Model   Checking,   and    Abstract   Interpretation,
facilitating  interaction,  cross-fertilization,  and  advancement  of
hybrid methods. VMCAI'11 is co-located with the POPL'11 conference.

The  program of  VMCAI'11 will  consist of  invited  lectures, invited
tutorials,   refereed  research   papers,  and   tool  demonstrations.
Research contributions can report  new results as well as experimental
evaluations  and comparisons of  existing techniques.  Topics include,
but are not limited to:

(Continue reading)

Frank Pfenning | 17 Jul 17:06 2010

[TYPES/announce] Postdoctoral Positions on Computational Logic

[ The Types Forum (announcements only), ]

Postdoctoral Positions on Computational Logic

(further details at

The School of Computer Science at Carnegie Mellon University invites applications for two postdoctoral fellow positions in computational logic. One position will be based on the Pittsburgh campus of CMU and the other on its Qatar campus, with travel between the two. Both positions are part of a common project to develop recent work on language specification with substructural operational semantics into methodologies for designing and reasoning about programming and specification languages for distributed computation. The research will be conducted under the supervision of Prof. Iliano Cervesato and Prof. Frank Pfenning. The project runs from 1 September 2010 to 31 August 2013. Candidates are also encouraged to explore research ideas on top and beyond the project description. The positions provide significant opportunities for professional development.

Applicants should have a strong background and interest in some combination of type theory, proof theory, concurrency, logical frameworks, and linear or substructural logics. To apply, send a cover letter, a CV and a list of references in PDF format to and iliano-D+Gtc/ Additional material will be requested as needed.

This posting will stay open until filled. Early expressions of interest are encouraged.

Position in Qatar:

(Continue reading)