[TYPES/announce] Call for papers: TYPES 06

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

	Call for papers: Proceedings of TYPES 2006

       *OPEN TO ALL INTERESTED RESEARCHERS*

The Post-Proceedings of the TYPES 2006 Annual Conference
(http://www.cs.nott.ac.uk/types06/) will be published, after a formal
refereeing process, as a volume of the Lecture Notes in Computer Science
(LNCS) series. Previous TYPES post-workshop proceedings include LNCS
volumes 3895, 3085, 2646, 2277, 1657, 1512, 1158, 996 and 806.

We encourage you to submit research papers on the subject of the Types
Coordination Action, see

	     http://www.cs.chalmers.se/Cs/Research/Logic/Types/objectives.html

for details. Topics include, but are not limited to:

- foundations of type theory and constructive mathematics
- applications of type theory
- dependently typed programming
- industrial uses of type theory technology
- meta-theoretic studies of type systems
- implementation of proof-assistants
- automation in computer-assisted reasoning
- links between type theory and functional programming
- formalizing mathematics using type theory

[TYPES/announce] LSFA'06 - Brazilian Workshop on Logical and Semantic Frameworks, with Applications

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Our apologies if you receive multiple copies of this message.

---

Brazilian Workshop on Logical and Semantic Frameworks, with Applications
LSFA'06 - FIRST CALL FOR PAPERS
------------------------------------------------------------------------

September 17th, 2006,
Natal, Rio Grande do Norte, Brazil

(Satellite Event to SBMF'06, the Brazilian Symposium on Formal
Methods, to be held together with the International Conference on
Graph Transformations, ICGT'06)

 > Scope

Logical frameworks and semantic frameworks are formal languages used
to represent logics, languages and systems. These frameworks provide
foundations for formal specification of systems and programming  
languages,
supporting tool development and reasoning.

The objective of this one-day workshop is to put together
theoreticians and practitioners to promote new techniques and results,
from the theoretical side, and feedback on the implementation and use
of such techniques and results, from the practical side.

[TYPES/announce] DAIS 2006 - CALL FOR PARTICIPATION

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

                            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
====================

The conference program presents the state of the art in research
concerning distributed and interoperable systems. 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,

[TYPES/announce] Final Call for Papers of LCC'06

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

CALL FOR PAPERS: 8TH INTL WORKSHOP ON LOGIC AND COMPUTATIONAL COMPLEXITY
------------------------------------------------------------------------

  The Logic and Computational Complexity Workshop, LCC'06, will be
  held August 10-11, 2006 in Seattle, Washington, USA as 
  a satellite workshop of the Logic in Computer Science Conference
  (LICS'06 and part of the 2006 Federated Logic Conference (FLoC'06).

SCOPE

  The workshop aims at furthering an understanding of the fundamental
  relations between computational complexity and logic.  Topics of
  interest include:

   * complexity analysis for functional languages 
   * complexity in database theory 
   * complexity in formal methods 
   * complexity-theoretic type systems
   * computational complexity in higher types
   * formal methods for complexity analysis of programs 
   * foundations of implicit computational complexity 
   * logical & machine-independent characterizations of complexity classes  
   * logics closely related to complexity classes 
   * proof complexity
   * semantic approaches to complexity
   * software that applies LCC ideas 

[TYPES/announce] LSFA'06 - 2nd Call for papers

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Brazilian Workshop on Logical and Semantic Frameworks, with Applications
LSFA'06 - SECOND CALL FOR PAPERS
------------------------------------------------------------------------

NEW: INVITED SPEAKERS

Joe Wells, Heriot-Watt University
(http://www.macs.hw.ac.uk/~jbw/)

Narciso Marti Oliet, Universidad Complutense de Madrid
(http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/m/ 
Mart=iacute==Oliet:Narciso.html)
------------------------------------------------------------------------

September 17th, 2006,
Natal, Rio Grande do Norte, Brazil

(Satellite Event to SBMF'06, the Brazilian Symposium on Formal
Methods, to be held together with the International Conference on
Graph Transformations, ICGT'06)

 > Scope

Logical and semantic frameworks are formal languages used to represent
logics, languages and systems. These frameworks provide foundations
for formal specification of systems and programming languages,
supporting tool development and reasoning.

[TYPES/announce] SOS 2006 - Final Call for Papers

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Final Call for Papers:

         Structural Operational Semantics 2006

         A Satellite Workshop of CONCUR 2006

         August 26, 2006, Bonn, Germany

         http://www.cse.unsw.edu.au/~rvg/SOS2006

Aim: Structural operational semantics (SOS) provides a framework
for giving operational semantics to programming and specification
languages. A growing number of programming languages from
commercial and academic spheres have been given usable semantic
descriptions by means of structural operational semantics. Because
of its intuitive appeal and flexibility, structural operational
semantics has found considerable application in the study of the
semantics of concurrent processes. Moreover, it is becoming a
viable alternative to denotational semantics in the static analysis
of programs, and in proving compiler correctness.

Recently, structural operational semantics has been successfully
applied as a formal tool to establish results that hold for classes
of process description languages. This has allowed for the
generalisation of well-known results in the field of process
algebra, and for the development of a meta-theory for process
calculi based on the realization that many of the results in this

[TYPES/announce] Position In Bell Labs Security Technology Reearch Department

[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Lucent Bell Laboratories has several openings at the level of Member of 
Technical Staff in its Security Technology Research department.

Candidates should have a broad knowledge of computer and network 
security, plus experience in some of the following: foundations of 
computer security, language-based security, security policy languages, 
security of mobile processes, security protocols, information flow, 
formal models of cryptosystems, process calculi, type and effect 
systems, and static analysis.

Candidates should have a PhD in computer science, mathematics or related 
discipline, and a record of publication in refereed journals or 
conferences.  We are interested in creative, innovative thinkers capable 
of proposing new research projects.

Lucent Bell Laboratories is a world-class research laboratory located in 
Murray Hill, New Jersey, with a satellite in Lisle, Illinois.

For more information, please contact:

   Alan Jeffrey
   ajeffrey@...
   2701 Lucent Lane, Room 9F-934
   Lisle, IL 60532, USA