headers
Isabelle Linden | 4 Jan 2005 12:17
Picon
Favicon

MTCoord'05: First call for papers

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

[ Our apologies for multiple copies. ]

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

                  Announcement and First Call for Papers

                      1st International Workshop on
                   Methods and Tools for Coordinating
               Concurrent, Distributed and Mobile Systems

                            (MTCoord 2005)

                     April 23, 2005, Namur, Belgium
     Workshop affiliated to Coordination'2005, April 20 - 23 2005

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

IMPORTANT DATES:

   o March 1, 2005:    Abstract submission deadline.
   o March 8, 2005:    Paper Submission deadline.
   o April 1, 2005:    Notification of acceptance.
   o April 10, 2005:   Final version.
   o April 23, 2005:   Meeting Date.

SCOPE

   Various classes of  computational models, languages, and formalisms
(Continue reading)

Permalink | Reply | 0 comments |
headers
Roberto Amadio | 6 Jan 2005 10:57
Picon

CFP - CSFW18 - Aix-en-Provence

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

 			   Call For Papers

 			      18th IEEE
 		Computer Security Foundations Workshop
 			      (CSFW 18)

 			  June 20 - 22, 2005

 		       Aix-en-Provence, France
 			   Sponsored by the
 	     Technical Committee on Security and Privacy,
 			IEEE Computer Society

For nearly two decades, CSFW has brought together a small
group of researchers to examine foundational issues in
information security. Many seminal papers and techniques
were first presented at CSFW.

We are interested both in new theoretical results in
computer security and also in more exploratory presentations
that examine open questions and raise fundamental concerns
about existing theories. Panel proposals are welcome as well
as papers. Possible topics include, but are not limited to:

  Authentication    Access control    Distributed systems security
  Information flow  Trust and trust   Security for mobile computing
  Security           management       Executable content
   protocols        Security models   Decidability and complexity
(Continue reading)

Permalink | Reply | 0 comments |
headers
P. Scott | 6 Jan 2005 05:16
Picon

Research Fellow/Postdoc (UOttawa)

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

		   Research Fellow/Postdoc positions
		      in Logic and Computation,
			 University of Ottawa

The Logic Group in the Department of Mathematics and Statistics at the
University of Ottawa is looking to hire at least one (maybe more)
research fellows/postdocs beginning in July, 2005.

The positions are in any area of category theory, categorical
logic, and theoretical computer science.

Research fellows / postdocs will participate in the activities of
the Logic and Foundations of Computation Group. This group includes
faculty and students from several different Ottawa-area
universities. In the Math Department, the Logic Group currently
includes 3 faculty members (R. Blute, P. Scott, P. Selinger), 3
postdocs, and 8 graduate students. For more information about our team,
see http://www.mathstat.uottawa.ca/lfc/

The research fellowships/postdocs are initially for one year, with a
possible renewal for a second year. Duties include research and the
teaching of two one-semester courses. Potential applicants should contact
one of us:

 Philip Scott  (phil@...)
 Richard Blute  (rblute@...)
 Peter Selinger  (selinger@...)
(Continue reading)

Permalink | Reply | 0 comments |
headers
Eelco Visser | 6 Jan 2005 14:45
Picon

CfC: GPCE'05 - Generative Programming and Component Engineering

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

                      FIRST CALL FOR CONTRIBUTIONS
----------------------------------------------------------------------

                    4th International Conference on
      Generative Programming and Component Engineering (GPCE'05)
                Sep 29 - Oct 1, 2005, Tallinn (Estonia)
                         http://www.gpce.org/05

      Sponsored by ACM SIGPLAN, in cooperation with ACM SIGSOFT
                  co-located with ICFP'05 and TFP'05 

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

Consult http://www.gpce.org/05 for UP-TO-DATE and DETAILED information

AVAILABLE: Calls for WORKSHOP and TUTORIAL PROPOSALS
FORTHCOMING: Calls for papers and demonstrations (by mid January)

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

IMPORTANT DATES

    * Feb 25, 2005: Submission of workshop and tutorial proposals
    * Mar 18, 2005: Notification for workshop and tutorial proposals

    * Apr 10, 2005: Submission of abstracts (only for papers)
    * Apr 15, 2005: Submission of papers and demos
    * May 30, 2005: Notification for papers and demos
(Continue reading)

Permalink | Reply | 0 comments |
headers
Paola Bruscoli | 7 Jan 2005 14:39
Picon
Favicon

Structures and Deduction Workshop CfP - ICALP '05 Satellite

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

[This announcement is potentially interesting to TYPES members 
because of its proof theoretical character. Regards,   -Paola]

ICALP Workshop-Lisbon July 16-17, 2005

STRUCTURES AND DEDUCTION
The quest for the essence of proofs
<http://www.prooftheory.org/sd05>

This meeting is about new algebraic and geometric methods in proof
theory, with the aim of expanding our ability to manipulate proofs,
eliminate bureaucracy from deductive systems, and ultimately provide:
1) a satisfying answer to the problem of identity of proofs and 2)
tools for improving our ability to implement logics.

Stimulated by computer science, proof theory is progressing at fast
pace.  However, it is becoming very technical, and runs the risk of
splitting into esoteric specialties.  The history of science tells us
that this has happened several times before, and that these
centrifugal tendencies are very often countered by conceptual
reunifications, which occur when one is looking at a field after
having taken a few steps back.

Some emerging ideas are showing their unifying potential.  Deep
inference's atomization of deductions simplifies and unifies the
design of deduction systems; it provides unprecedented plasticity to
proofs and has injected new impetus into the theory of proof nets.
New proof nets, and new associated semantics, are giving surprising
(Continue reading)

Permalink | Reply | 0 comments |
headers
Alexandra Stefan | 8 Jan 2005 23:02
Favicon

FGJ interpreter

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

    Together with my advisor (Assaf Kfoury), we are interested in an
interpreter/compiler for Featherweight Generic Java (FGJ). We would like
to know if someone has built or is currently building such an interpreter.

    Thank you,
    Alexandra Stefan
Permalink | Reply | 2 comments |
headers
smriis | 7 Jan 2005 16:43
Picon
Favicon

PhD positions+weblink

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

PhD Positions in Logic and Theoretical Computer Science Queen Mary,
University of London

Queen Mary is one of the leading universities in the UK with a very strong
track record of research in logic and theoretical computer science. We
have a vibrant research community and a wide variety of current projects
spanning such areas as program verification and model checking,
concurrency, logic for dynamical systems, information theory for program
analysis, knowledge representation, categorical logic, denotational
semantics, proof theory, mathematics for human-computer interaction,
algorithms, complexity,  combinatorics and network theory.

We are inviting applications for PhD positions starting in September 2005.
We have PhD studentships available, which provide 12500 pounds tax free
(2004 level, will be higher for 2005) of funding. For overseas students
there are also several grants available to cover overseas tuition fees
reducing the fee-level to the level of that of home students. The ideal
candidate will have a good first degree or MSc in Computer Science (or
related subject such as mathematics).  Competition for these funded
positions is intense, so early application (say, by Feb 2005) is advised.
For more on our research group see webpage address here
http://www.dcs.qmul.ac.uk/researchgp/logic/homepage.html

Contact Dr Soren Riis (smriis/phd@...) for further information
of an academic nature, or Carla Benjamin (carla@...) for
information on how to apply.
(Continue reading)

Permalink | Reply | 0 comments |
headers
Burak Emir | 10 Jan 2005 11:32
Picon
Picon
Favicon

Re: FGJ interpreter

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

Alexandra Stefan wrote:

>[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]
>
>
>    Together with my advisor (Assaf Kfoury), we are interested in an
>interpreter/compiler for Featherweight Generic Java (FGJ). We would like
>to know if someone has built or is currently building such an interpreter.
>
>  
>
I am preparing a little student project on FGJ, as graded exercises to 
supplement our (with Sebastian Maneth, Martin Odersky) ongoing type 
systems course (which is based on Benjamin's book). The students will 
receive a framework which is to be completed. All programs will be in 
Scala, and it will start next Wednesday. I can make my reference 
solution available, once it's finished and free of obvious bugs.

Are you interested in a direct interpreter or one that erases the 
bounds? Our upcoming student project is more likely to choose the direct 
variant.

cheers,
Burak

>    Thank you,
>    Alexandra Stefan
>
(Continue reading)

Permalink | Reply | 0 comments |
headers
Matthias Felleisen | 9 Jan 2005 19:27
Favicon

Re: FGJ interpreter

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

Alexandra, Richard has built a PLT Redex implementation (a reduction 
semantics) for ClassicJava. If you cut out interfaces, assignments, and 
a few more things you have an FGJ interpreter. See Richard at POPL or 
hop on the T and visit him for a demo. -- Matthias

On Jan 8, 2005, at 5:02 PM, Alexandra Stefan wrote:

> [The Types Forum, 
> http://lists.seas.upenn.edu/mailman/listinfo/types-list]
>
>
>     Together with my advisor (Assaf Kfoury), we are interested in an
> interpreter/compiler for Featherweight Generic Java (FGJ). We would 
> like
> to know if someone has built or is currently building such an 
> interpreter.
>
>     Thank you,
>     Alexandra Stefan
>
Permalink | Reply | 0 comments |
headers
Marco Bernardo | 11 Jan 2005 14:41
Picon

SFM-05:Moby -- spring school on mobile computing (2nd cfpart)

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

*************************************************
*                                               *
*          5th INTERNATIONAL SCHOOL ON          *
*        FORMAL METHODS FOR THE DESIGN OF       *
* COMPUTER, COMMUNICATION AND SOFTWARE SYSTEMS: *
*                MOBILE COMPUTING               *
*                 (SFM-05:Moby)                 *
*                                               *
*      26-30 April 2005 - Bertinoro (Italy)     *
*                                               *
*===============================================*
*   http://www.sti.uniurb.it/events/sfm05moby/  *
*===============================================*
*             Call for Participation            *
*          (deadline: 24 January 2005)          *
*************************************************

General Information about SFM
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

Formal methods are emerging in computer science as a prominent approach
to the rigorous design of computer, communication and software systems.
The main aim of the SFM series is to offer a good spectrum of current
research in foundations as well as applications of formal methods,
which can be of interest for graduate students and young researchers
who intend to approach the field.

This year SFM is devoted to formal methods and tools for the design
(Continue reading)

Permalink | Reply | 0 comments |

Gmane