Thorsten Altenkirch | 1 Feb 11:20 2006
Picon

[TYPES/announce] [types06] TYPES 2006 workshop

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

Registration for TYPES 2006 is now open.
Early registration until 15/3/2006.

Cheers,
Thorsten

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

			      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.
(Continue reading)

Thorsten Altenkirch | 1 Feb 12:24 2006
Picon

[TYPES/announce] [types06] TYPES 2006 workshop (CORRECTED)

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

Registration for TYPES 2006 is now open.
Early registration until 15/3/2006.

Sorry, in my previous email I got the finishing date wrong, it is
21 April *not* 24 April. I apologize for the additional spam.

Cheers,
Thorsten

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

			      TYPES 2006

		Main Conference of the Types Project
		   Nottingham, UK, 18-21 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.

(Continue reading)

Eijiro Sumii | 1 Feb 12:35 2006
Picon

Re: logical relations

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

Dear all,

Thanks again for the responses - I have received a private message
from Prof. Gordon Plotkin (thanks to Phil) and he confirms that the
_idea_ (using relations) was suggested to him by Mike Gordon but the
_name_ ("logical relations") was his.

Of course, as many people pointed out, this idea itself can be tracked
back much further, but that would be another (much longer) story...!

        Eijiro

Janneke Huitink | 3 Feb 14:17 2006
Picon

[TYPES/announce] EXTENDED DEADLINE: ESSLLI STUDENT SESSION

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

DEADLINE EXTENSION: FEBRUARY 15
ESSLLI 2006 STUDENT SESSION
July 31 – August 11, Málaga, Spain
http://www.science.uva.nl/~katrenko/stus06

---- apologies for multiple copies ----

Due to great popularity and many requests for individual extension,  
we have decided to extend the deadline of the Student Session of the  
18th European Summer School in Logic, Language and Information  
(ESSLLI) to February 15. We invite papers for oral and poster  
presentation from the areas of Logic, Language and Computation.  
Submissions for poster presentations are especially encouraged.  
Authors that have already submitted a paper are allowed to resubmit.

Student authors, undergraduates as well as graduates, are invited to  
anonymously 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.

The preferred format of submission is PDF. All submissions must be  
accompanied by a plain text identification page, and be submitted  
online via http://www.easychair.org/StuSESSLLI2006/. Please visit our  
website at http://www.science.uva.nl/~katrenko/stus06 for more  
information about the Student Session and for the technical details  
concerning submission. If you have any questions, you may contact the  
(Continue reading)

A Serebrenik | 8 Feb 08:34 2006
Picon
Picon

[TYPES/announce] [ICLP'06] - Last Call for Papers - Deadline for Abstracts: February 14

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

                    CALL FOR PAPERS

    22nd International Conference on Logic Programming
                       ICLP'06
      Seattle, Washington, USA, 17-20 August, 2006
              http://www.cs.uky.edu/iclp06/
   Part of Fourth Federated Logic Conference, FLoC 2006
         http://research.microsoft.com/floc06/

SUBMISSION SITE http://www.easychair.org/ICLP06/
WE INVITE YOU TO SUBMIT PAPERS AND POSTERS!!!}

CONFERENCE SCOPE

Since the first conference held in Marseilles in 1982, ICLP has been
the premier international conference for presenting research in logic
programming. Contributions (papers and posters) are sought in all areas 
of logic programming including but not restricted to:

* Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning,
  Knowledge Representation.
* Implementation: Compilation, Memory Management, Virtual Machines, 
  Parallelism.
* Environments: Program Analysis, Program Transformation, Validation 
  and Verification, Debugging, Profiling.
* Language Issues: Concurrency, Objects, Coordination, Mobility, Higher 
  Order, Types, Modes, Programming Techniques.
(Continue reading)

A Serebrenik | 14 Feb 07:42 2006
Picon
Picon

[TYPES/announce] [ICLP'06] Deadlines EXTENDED

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

	      Submission deadlines extended!!
	     abstract registration: Feb 21, 2006
                  papers due: March 2, 2006 

                    CALL FOR PAPERS

    22nd International Conference on Logic Programming
                       ICLP'06
      Seattle, Washington, USA, 17-20 August, 2006
              http://www.cs.uky.edu/iclp06/
   Part of Fourth Federated Logic Conference, FLoC 2006
         http://research.microsoft.com/floc06/

SUBMISSION SITE http://www.easychair.org/ICLP06/
WE INVITE YOU TO SUBMIT PAPERS AND POSTERS!!!}

CONFERENCE SCOPE

Since the first conference held in Marseilles in 1982, ICLP has been
the premier international conference for presenting research in logic
programming. Contributions (papers and posters) are sought in all areas 
of logic programming including but not restricted to:

* Theory: Semantic Foundations, Formalisms, Nonmonotonic Reasoning,
  Knowledge Representation.
* Implementation: Compilation, Memory Management, Virtual Machines, 
  Parallelism.
(Continue reading)

types | 16 Feb 10:46 2006
Picon

[TYPES/announce] CALL FOR PAPERS - Workshop "Security and Privacy in Future Business Services" at ETRICS'06

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

                                 CALL FOR PAPERS

                  Paper submission deadline has been extended to
                     New Submission Deadline February 28, 2006

============================================================================
           Workshop “Security and Privacy in Future Business Services”

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

                         International Conference on
            Emerging Trends in Information and Communication Security
    /\
    ||__^_  /\                   ETRICS 2006
_/\_|     \_||______________________________________________________________
                       June 6-9, 2006, FREIBURG, GERMANY

                        http://www.etrics.org/workshops

Individualization of business services is one of the most promising business
development prospects for future markets. Customized products and services,
individual price differentiation, personalized promotions, and
location/time-sensitive addressing of customers are raising marketers’
attention. Particularly ubiquitous com¬puting technologies, with their
mobile and wireless interfaces, are laying the grounds for these
developments: information about purchase behavior and location, proximity,
presence, after-sales usage patterns, and even personal emotional states
(Continue reading)

Steve Zdancewic | 22 Feb 17:31 2006

[TYPES/announce] Final CFP: Programming Languages and Analysis for Security (PLAS) 2006

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

        Final Call for Papers: Submission Deadline March 3, 2006
-----------------------------------------------------------------------

			   Call for Papers

			      PLAS 2006

		       ACM SIGPLAN Workshop on
	   Programming Languages and Analysis for Security

	     http://www.cis.upenn.edu/~stevez/plas06.html

			   co-located with

			ACM SIGPLAN PLDI 2006
      Conference on Programming Language Design and Implementation
		    Ottawa, Canada, June 10, 2006

The goal of PLAS 2006 is to provide a forum for researchers and
practitioners to exchange and understand ideas and to seed new
collaboration on the use of programming language and program analysis
techniques that improve the security of software systems.

The scope of PLAS  includes, but is not limited to:
  -- Language-based techniques for security
  -- Program analysis and verification (including type systems and
     model checking) for security properties
(Continue reading)

Picon

[TYPES/announce] CSL'06 FINAL CALL FOR PAPERS

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

**********************************************************************
*                              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/                 *
*                         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)


Gmane