Stephanie Weirich | 4 Jan 21:40 2006

[TYPES/announce] A new year, a new mailing list for announcements

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

I'm happy to announce the creation of a new mailing list:

   types-announce@...

This list is intended for conference and other announcements that are
usually sent to TYPES.  Anyone who is currently a member of the TYPES
forum has been automatically subscribed to this list. If you do
nothing, you will continue to get all of the same messages that
normally appear in the TYPES forum.

However, the headers of the two lists will be different.

Normal types discussion will have the usual [TYPES] in the subject
line and start with:
[The Types Forum, 
http://lists.seas.upenn.edu/mailman/listinfo/types-list].  

Posts to the announcement list will have [TYPES/announce] in the
subject line and will start with:
[The Types Forum (announcements only),
              http://lists.seas.upenn.edu/mailman/listinfo/types-announce]

Both lists are moderated and only list members may post. In either
case, messages must be related to types and programming languages. If
they are not obviously related, they should be prefaced by a short
description of their relevance. Duplicate announcements will be
(Continue reading)

Giuseppe Castagna | 4 Jan 22:22 2006
Picon
Picon

Re: Limited use of negation types?

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

Alain Frisch wrote:
 > I'm pretty sure this is not what you have in mind, but my LICS 2002
 > paper _Semantic Subtyping_ describes a type system with a classical
 > (set-theoretic interpretation) of negation types. The negation of (t ->
 > s) is just the set of values which are not of type (t -> s), where the
 > type of an abstraction is explicitly given in its prototype (and cannot
 > change during evaluation).
 >
 > http://www.cduce.org/papers/lics02.ps.gz
 >
 > The paper is rather dense. Let me know if you want more information.
 >
 > -- Alain

If you want less a dense paper, actually an introduction to the paper Alain 
cited above, you can check one of this year's ICALP/PPDP joint invited talks:

A Gentle Introduction to Semantic Subtyping

by Alain and myself and included in the PPDP 2005 proceedings. You can also find 
it here.

http://www.di.ens.fr/users/castagna/papers/icalp-ppdp05.pdf

Cheers

---Beppe---

(Continue reading)

Steve Zdancewic | 6 Jan 20:51 2006

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

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

                                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
  -- Compiler-based and program rewriting security enforcement
     mechanisms
  -- Security policies for information flow and access control
(Continue reading)

Param Jyothi Reddy | 7 Jan 06:50 2006
Picon

A doubt in AUTOMATH type system

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

Hi,
I am trying to understand how automath lines could be interpreted in
PTS. in this regard i got stuck at the following. Any help would be
appreciated.

Can someone help me understand the meaning of p:PROP in the following Line:
 <at> [sigma:TYPE][p:[x:sigma]PROP]
l_all:=p:PROP

in the paramters we have said that p:[x:Sigma]PROP. So how can p be
type fo PROP.

It is used as follows:
 <at> [sigma:TYPE][p:[x:sigma]PROP][a1:l_all(sigma,p)][s:sigma]
l_alle:=<s>a1:<s>p

If i interpret paramters in definition of l_all as lambda then
l_all(sigma, p) reduces to p hence disallowing a1 : l_all(sigma, p).
Interpreting paramters as product is not possible because the body is
not correctly typed.

Regards,
Param

Martin Steffen | 10 Jan 16:47 2006
Picon

[TYPES/announce] FMOODS 06: deadline extended: 22. Jan.!

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

In response to authors' requests, the forthcoming deadlines for Fmoods'06
are extended as follows:

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

  15. January: abstract submission

  22. January: paper submission

The new deadlines are _strict_!

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

------------------------------------------------------------
                    CALL FOR PAPERS

                       FMOODS 2006

           8th IFIP International Conference on
     Formal Methods for Open Object-Based Distributed Systems
             Bologna, Italy, 14 - 16 June, 2006

          http://www.discotec06.cs.unibo.it/FMOODS06

                  In conjunction with

           DAIS 2006     and    Coordination 2006
(Continue reading)

Christian Skalka | 11 Jan 05:50 2006
Picon

[TYPES/announce] PhD assistantships available at UVM

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

The Department of Computer Science (http://www.cs.uvm.edu) at the 
University of Vermont has open assistantship positions for PhD studies 
in 2006-07, in the form of Graduate Research Assistantships (GRAs) and 
Graduate Teaching Assistantships (GTAs). These assistantships are for 
incoming students studying towards the PhD degree in Computer Science. 
More information about applying for these positions is available online at:

  http://www.cs.uvm.edu/gradinfo/info/PhDOpportunities-06-07.shtml

Successful applicants will have demonstrated interest in active research 
areas at UVM CS.   Ongoing research projects of likely interest to readers 
of this mailing list include:

 - Static language-based access control.
 - Static enforcement of temporal program logics.
 - Distributed authorization logic.

More information about these projects is available at:

  http://www.cs.uvm.edu/~skalka/skalka-pubs/skalka-projects.html

The application deadline for Fall 2006 assistantship opportunities is 
February 1, 2006.

==============================
Christian Skalka
Assistant Professor
(Continue reading)

Steffen van Bakel | 12 Jan 16:57 2006
Picon
Picon

Electronic publications

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

Sir,
I hope you would post the next message on the types list.

Hi,

I was wondering if any of you of an alternative to ENTCS to get
workshop proceedings published.  Elsevier has managed to antagonise
many of us, and I was kind of hoping some other medium would exist.

Many thanks,
Steffen van Bakel 

Joe Wells | 13 Jan 12:56 2006
Picon
Picon

Re: Electronic publications

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

Steffen van Bakel <svb@...> writes:

> I was wondering if any of you of an alternative to ENTCS to get
> workshop proceedings published.  Elsevier has managed to antagonise
> many of us, and I was kind of hoping some other medium would exist.

You could try BCS's eWIC (electronic workshops in computing) series.
I have only heard of this, so I don't know if it is any better.

--

-- 
Joe

DAIS'06 | 13 Jan 14:19 2006
Picon

[TYPES/announce] DAIS'06 - EXTENDED DEADLINE

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

In response to authors' requests, the forthcoming deadlines for
DAIS'06 are extended as follows:

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

  15. January: abstract submission

  22. January: paper submission

The new deadlines are *firm*!

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

                            CALL FOR PAPERS
                            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/
(Continue reading)

J. Huitink | 15 Jan 20:15 2006
Picon

[TYPES/announce] Final CfP: ESSLLI 2006 STUDENT SESSION

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

Final CALL FOR PAPERS
ESSLLI 2006 STUDENT SESSION
July 31 – August 11, Malaga, Spain
http://www.science.uva.nl/~katrenko/stus06

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

We are pleased to announce the Student Session of the 18th European Summer School in Logic, Language and
Information (ESSLLI), which will be held July 31 – August 11, in Málaga, Spain. We invite papers for
oral and poster presentation from the areas of Logic, Language and Computation.

The aim of the Student Session is to provide students with the opportunity to present their work in progress
and get feedback from senior researchers and fellow-students.

The ESSLLI Student Session invites students at any level, undergraduates as well as graduates, 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.

Papers should describe original, unpublished work, complete or in progress, that demonstrates insight,
creativity and promise. Previously published papers should not be submitted.

As in previous years, the Student Session program committee will select the best paper in the oral session
and the best paper in the poster session. The winner from each session may choose 500 euros worth of
Springer books!

The preferred format of submission is PDF. All submissions must be accompanied by a plain text
(Continue reading)


Gmane