carlos.martin | 2 Jan 16:18 2011

[TYPES/announce] LATA 2011: deadline extended

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

*********************************************************************

Final Call for Papers

5th INTERNATIONAL CONFERENCE ON LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2011)

Tarragona, Spain, May 30 – June 3, 2011

http://grammars.grlmc.com/LATA2011/

*********************************************************************

--- Extended deadline: January 9, 2011, 23:59h (Western Europe time) ---

AIMS:

LATA is a yearly conference in theoretical computer science and its applications. Inheriting the
tradition of the International PhD School in Formal Languages and Applications that was developed at
Rovira i Virgili University in the period 2002-2006, LATA 2011 will reserve significant room for young
scholars at the beginning of their career. It will aim at attracting contributions from both classical
theory fields and application areas (bioinformatics, systems biology, language technology,
artificial intelligence, etc.).

SCOPE:

Topics of either theoretical or applied interest include, but are not limited to:

(Continue reading)

Alex Simpson | 3 Jan 12:44 2011
Picon
Picon

[TYPES/announce] European Workshop on Computational Effects

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

EUROPEAN WORKSHOP ON COMPUTATIONAL EFFECTS

Thursday 17th and Friday 18th March 2011, Ljubljana, Slovenia.
http://ewce.fmf.uni-lj.si/

ANNOUNCEMENT AND CALL FOR CONTRIBUTED TALKS

The aim of the workshop is to bring together researchers investigating  
computational effects from a variety of different angles: programming
languages, type theory, operational semantics, universal algebra,
category theory, denotational semantics, etc.

CONTRIBUTED TALKS

A limited number of slots are available for contributed talks. Please
submit a title and short text abstract by email to

   Alex.Simpson@...

by the deadline of Thursday 27th January 2011. Notification of
acceptance will be by Monday 7th February 2011.

INVITED SPEAKERS

Nick Benton, Microsoft Research, Cambridge
Andrzej Filinski, Copenhagen University
Ohad Kammar, University of Edinburgh
(Continue reading)

Noam Zeilberger | 3 Jan 20:49 2011
Picon

[TYPES/announce] CFP: Workshop on Theory and Practice of Delimited Continuations

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

                       Call for Papers

                          TPDC 2011
                 1st International Workshop on
         Theory and Practice of Delimited Continuations
           http://www.pps.jussieu.fr/~saurin/tpdc2011/

             29 May 2011, Novi Sad, Serbia
                   An RDP 2011 workshop -
     Federated Conference on Rewriting, Deduction, and Programming

SCOPE AND TOPIC:

Since their introduction in the late 1980s, delimited control
operators have triggered increasing interest among programmers and the
programming language community, found unexpected applications in
conceptual domains such as linguistics and constructive mathematics,
and shown themselves to be the natural development of classical
control operators.  The first workshop on the Theory and Practice of
Delimited Continuations aims to bring together people working with the
many different (practical, theoretical, or foundational) aspects of
delimited continuations, in the hope of fostering some unity and
progress.

Contributions on all topics related to delimited continuations are
welcome, as either short abstracts or full papers (see SUBMISSION
PROCEDURE below).
(Continue reading)

Simon Peyton-Jones | 4 Jan 14:06 2011
Picon

[TYPES/announce] CFP: Workshop on Intermediate Representations: deadline Jan 21

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

Friends

 

Happy new year!  I’m on the PC for Workshop on Intermediate Representations; do consider submitting a paper. 

 

Simon

 

WIR 2011: Workshop on Intermediate Representations 2011

http://researchr.org/conference/wir-2011

The intermediate representation is the core of any program transformation tool. Its design has a significant impact on the simplicity, efficiency, and effectiveness of program transformations. The developments in concurrent programming, integrated development environments, and domain-specific languages pose new requirements on intermediate representations. This workshop provides a forum to discuss current trends and experiences in the design, implementation, and application of intermediate representations.

Co-located with CGO 2011

Conference Dates

(Continue reading)

Tobias Wrigstad | 4 Jan 17:58 2011
Picon
Picon

[TYPES/announce] Call for Participation: STOP'11

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

		      Call for Participation
		    Scripts to Programs (STOP)
		    Jan 29th, 2011, Austin, TX
		   http://wrigstad.com/stop11/

Please come join us at STOP (a workshop at POPL). See below for an
introduction to the workshop and the program.

Workshop Program
----------------

Invited talk:
by John Field

Pluggable Type System with Optional Runtime Monitoring of Type Errors
by Jukka Lehtosalo and David J. Greaves

Gradual Information Flow Typing
by Tim Disney, Cormac Flanagan

Type Inference with Run-time Logs
by Ravi Chugh, Ranjit Jhala, Sorin Lerner

Position Paper: Dynamically Inferred Types for Dynamic Languages
by Jong-hoon (David) An, Avik Chaudhuri, Jeffrey S. Foster, and Michael Hicks

The Ciao Approach to the Dynamic vs. Static Language Dilemma
(Continue reading)

Emanuel Kitzelmann | 5 Jan 05:25 2011
Picon

[TYPES/announce] CfP: 4th Workshop on Approaches and Applications of Inductive Programming (AAIP 2011)

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

4th International Workshop on
Approaches and Applications of Inductive Programming (AAIP 2011)

co-located with the
International ACM SIGPLAN Symposium on Principles and Practice of Declarative
Programming (PPDP 2011)
and the
International Symposium on Logic-Based Program Synthesis and Transformation
(LOPSTR 2011).

July 19, 2011, Odense, Denmark

http://www.cogsys.wiai.uni-bamberg.de/aaip11/

CALL FOR PAPERS

Inductive program synthesis or inductive programming (IP) is concerned with the
automated generation of general computer programs from incomplete
specifications such as input/output examples. IP particularly includes the
synthesis of programs that contain loops or recursive calls. This inductive
type of automated program synthesis is addressed by researchers in different
fields such as artificial intelligence, inductive logic programming,
evolutionary computation, symbolic computation, grammar inference, formal
methods, and functional programming. The aim of the AAIP workshop is to have a
common place to present and discuss research on all aspects of inductive
programming - including, but not limited to: Inductive programming algorithms,
techniques, and systems, heuristics, inductive biases, analysis of the
(Continue reading)

Adam Megacz | 5 Jan 09:01 2011
Picon

[TYPES] System FC: inference rule (EqCo) and grammar for $\kappa$

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

Hello, I have a question about System FC, as described in the paper
"System F with Type Equality Coercions" (Sulzmann, Chakravarty, Jones,
Donnelly).

Figure 3 describes the judgment $\vdash_k$, which is a ternary relation
between a context, a kind, and a sort.  Specifically, if we see a
judgment:

   $$ X \vdash_k Y : Z $$

we know that X is from the syntactic class of contexts (nonterminal
\Gamma of Figure 1), Y is from the syntactic class of kinds (nonterminal
\kappa of Figure 1), and Z is from the syntactic class of sorts
(nonterminal \delta of Figure 1).

The first hypothesis of rule (EqCo) is

   $$ \Gamma \vdash_k \gamma_1 : CO $$

so we know that in rule (EqCo) $\gamma_1$ comes from the syntactic class
of kinds.  However, the conclusion of rule (EqCo) is:

   $$ \Gamma \vdash_k \gamma_1 \sim \gamma_2 : CO $$

We know that $\gamma_1 \sim \gamma_2$ is a kind, but in the $\kappa$
nonterminal in the grammar (Figure 1) the alternative for the $\sim$
operator indicates that its arguments -- in particular $\gamma_1$ --
must come from the syntactic class of types.  This is in conflict with
(Continue reading)

Bram Adams | 6 Jan 16:22 2011
Picon
Picon

[TYPES/announce] Deadline Extension: MISS 2011 workshop (ex ACP4IS) at AOSD 2011

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

[sorry for duplicate reception of this cfp]

*************************************************************************
        1st AOSD Workshop on Modularity in Systems Software
                              MISS 2011 (ex ACP4IS)

                                  March 22, 2011
                  Porto de Galinhas, Pernambuco (Brazil)

         NEW DEADLINE: JANUARY 10, 2011 (23:59 APIA)

                  http://www.aosd.net/workshops/miss

      A one-day workshop to be held in conjunction with the
                      10th International Conference on
         Aspect-Oriented Software Development (AOSD'11),
March 21 -- March 25, 2011, Porto de Galinhas, Pernambuco (Brazil)
                         http://aosd.net/conference
**************************************************************************

The importance of "systems infrastructure" software - including
application servers, virtual machines, middleware, compilers, and
operating systems - is increasing as application programmers demand
better and higher-level support for software development. Vendors that
provide superior support for application development have a
competitive advantage. The software industry as a whole benefits as
the base level of abstraction increases, thus decreasing the need for
application programmers to continually "reinvent the wheel".

These trends, however, mean that the demands on infrastructure
software are increasing. More and more features and requirements are
being "pushed down" into the infrastructure, and the developers of
systems software need better tools and techniques for handling these
increased demands. The design and implementation of systems-level
software presents unique opportunities and challenges for research on
software modularity. These challenges include the need to address the
inherent complexity of infrastructure software, the need for strong
assurances of correct and predictable behaviour, the need for maximum
run-time performance, and the necessity of dealing with the large body
of existing systems software components.

MISS 2011 aims to provide a highly interactive forum for
researchers and developers to discuss the application of and
relationships between exciting new modularity constructs for systems
software such as aspects, components, traits and context layers. The
goal is to put these constructs into a common reference frame and to
build connections between the software engineering and systems
communities.

Following up on last year's workshop, MISS 2011 puts special focus on
the challenges in system's programming introduced by multi-core
platforms. As hardware-supported parallelization becomes mainstream,
there is an increasing pressure on systems infrastructure to exploit
this new parallelism to its fullest. However, the non-modular nature
of parallel execution, and the numerous levels at which parallelism
can be achieved (application, systems infrastructure, hardware or even
a combination) make it hard to come up with an intuitive, yet
efficient parallel architecture. We solicit novel ideas and experience
reports on this emerging research area. 

Other suggested topics for position papers include, but are not
restricted to:

- Approaches that combine or relate techniques based on advanced
 modularization concepts

- Dimensions of infrastructure software quality including
 comprehensibility, configurability (by implementers),
 customizability (by users), reliability, evolvability, scalability,
 and run-time characteristics such as performance and code size

- Merits and downsides of container-, ORB-, and system-based
 separation of concerns

- Architectural techniques for particular system concerns, e.g.,
 security, static and dynamic optimization, and real-time behaviour

- Design patterns for systems software

- "Mining" and refactoring of concerns in systems code

- Application- or domain-specific optimization of systems

- Reasoning and optimization across architectural layers

- Quantitative and qualitative evaluation


AGENDA

The workshop will be structured to encourage fruitful discussions and
build connections between workshop participants. To this end,
approximately half of the workshop time will be devoted to short
presentations of accepted papers, with the remaining half devoted to
semi-structured discussion groups and lightning talks. The latter are
short talks that are combined with tool demos, aimed at stimulating
even more interaction between workshop attendees. Participants will be
expected to have read the accepted papers prior to the workshop, to
help ensure focused discussions.


SUBMISSION GUIDELINES

Invitation to the workshop will be based on accepted position papers,
3-5 pages in length. All papers must be submitted as PDF documents in
ACM format through the MISS 2011 online submission system found at:
http://www.easychair.org/conferences/?conf=miss11. Paper submissions
will be reviewed by the workshop program committee and by designated
reviewers. Papers will be evaluated based on technical quality,
originality, relevance, and presentation.

In addition to position papers, we also solicit proposals for lightning talks, i.e., a combination of a 5 minute talk and 5 minute tool demo. Prospective lightning presenters should send us an abstract of 250 words (deadline: March 13, 2010). Abstracts will NOT be published, they are intended to be read by the reviewers only (hence the late deadline).

Comments and questions can be sent to miss11 AT aosd DOH net.


PUBLICATION OF PAPERS

All accepted papers will be posted at the workshop web site prior to
the workshop date, to give all participants the opportunity to read
them before the workshop. In addition, the accepted position papers
will be published in a Workshop Proceedings in the ACM Digital
Library.


IMPORTANT DATES

Paper Deadline (updated!):    January 10, 2011 at 23:59 (Apia time)
Notification of acceptance:      January 23, 2011
Final papers due:                      February 19, 2011
Lightning abstracts:                  March 13, 2011
Workshop:                              March 22, 2011


PROGRAM COMMITTEE

- Bram Adams,                 Queen's University
- Walter Binder,                University of Lugano      
- Michael Haupt,              Hasso Plattner Institut
- Mick Jordan,                  Oracle Labs
- Julia Lawall,                   DIKU
- David Lorenz,                The Open University of Israel
- Stefan Marr,                   Vrije Universiteit Brussel
- Eddy Truyen,                  KU Leuven
- Eric Wohlstadter,           University of British Columbia
- Charles Zhang                Hong Kong University of Science and Technology


ORGANIZING COMMITTEE

- Bram Adams,                 Queen's University
- Michael Haupt,              Hasso Plattner Institut
- David Lorenz,                The Open University of Israel
- Eric Wohlstadter,           University of British Columbia


STEERING COMMITTEE

- Eric Eide,                      University of Utah
- Olaf Spinczyk,              University of Dortmund
- Yvonne Coady,             University of Victoria
- David Lorenz,               The Open University of Israel
Marc.Bezem | 6 Jan 19:57 2011
Picon
Picon

[TYPES/announce] CSL'11 call for papers and workshop proposals

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

          CALL FOR PAPERS AND WORKSHOP PROPOSALS

                       CSL 2011
               20th Annual Conference of the
    European Association for Computer Science Logic
                     Bergen, Norway
                  September 12-15, 2011

GENERAL INFORMATION

   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.
   The Ackermann Award for 2011 will be presented to the
   recipients at CSL 2011.

SCOPE

   Topics of interest include (but are not limited to):
   - automated deduction and interactive theorem proving
   - constructive mathematics and type theory
   - equational logic and term rewriting
   - automata and games, game semantics
   - modal and temporal logic
   - model checking
(Continue reading)

Gethin Norman | 7 Jan 15:45 2011
Picon

[TYPES/announce] QAPL 2011 Call For Presentation reports/Abstracts

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

[Apologies for multiple copies]

*******************************************************************************
CALL FOR PRESENTATION REPORTS/ABSTRACTS
Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011)
Affiliated with ETAPS 2011 April 1-2, 2011, Saarbrucken, Germany
http://www.dcs.gla.ac.uk/qapl11/
*******************************************************************************

SCOPE:

Quantitative aspects of computation are important and sometimes essential in
characterising the behavior and determining the properties of systems. They
are related to the use of physical quantities (storage space, time, bandwidth,
etc.) as well as mathematical quantities (e.g. probability and measures for
reliability, security and trust). Such quantities play a central role in
defining both the model of systems (architecture, language design, semantics)
and the methodologies and tools for the analysis and verification of system
properties. The aim of this workshop is to discuss the explicit use of
quantitative information such as time and probabilities either directly in the
model or as a tool for the analysis of systems.

In particular, the workshop focuses on:

  * the design of probabilistic, real-time, quantum languages and the
    definition of semantical models for such languages

(Continue reading)

Submissions:

January 21, 2011

Mon Tue Wed Thu Fri Sat Sun
     12
3456789
10111213141516
17181920212223
24252627282930
31      
Language
Options
Current view: Threads only / Showing only 20 lines / Not hiding cited text.
Change to All messages, whole messages, or hide cited text.

Post a message
NNTP Newsgroup
Classic Gmane web interface
XML RSS Feed
List Information

About Gmane
Recent entries
Archives
 
1
 
1
 
1
 
13
 
2
 
5
 
9
 
4
 
1
 
19
 
83
 
1
 
2
 
11
 
3
 
1
 
10
 
5
 
8
 
6
 
9
 
11
 
3
 
39
 
63
 
77
 
57
 
59
 
33
 
37
 
21
 
35
 
26
 
19
 
42
 
67
 
45
 
61
 
39
 
46
 
2
 
2
 
24
 
12
 
22
 
17
 
4
 
22
 
6
 
2
 
6
 
27
 
22
 
10
 
4
 
3
 
24
 
20
 
26
 
4
 
9
 
26
 
1
 
6
 
2
 
4
 
17
 
8
 
9
 
9
 
6
 
15
 
15
 
5
 
3
 
11
 
24
 
3
 
2
 
18
 
14
 
7
 
10
 
25
 
9
 
27
 
51
 
43
 
26
 
24
 
28
 
41
 
57
 
62
 
56
 
40
 
43
 
36
 
27
 
21
 
26
 
44
 
28
 
29
 
24
 
28
 
23
 
26
 
35
 
26
 
9
 
36
 
66
 
28
 
16
 
19
 
27
 
21
 
29
 
19
 
32
 
26
 
35
 
29
 
27
 
18
 
12
 
12
 
26
 
38
 
28
 
36
 
28
 
46
 
74
 
33
 
32
 
15
 
15
 
18
 
25
 
19
 
18
 
44
 
28
 
13
 
13
 
28
 
16
 
22
 
9
 
16
 
28
 
21
 
19
 
33
 
17
 
55
 
29
 
25
 
20
 
13
 
12
 
14
 
13
 
30
 
15
 
14
 
19
 
16
 
7
 
12
 
19
 
15
 
13
 
12
 
60
 
24
 
34
 
33
 
16
 
19
 
17
 
20
 
31
 
22
 
15
 
19
 
26
 
28
 
28
 
20
 
19
 
11
 
19
 
18
 
16
 
13
 
25
 
11
 
15
 
23
 
17
 
19
 
19
 
1
 
9
 
15
 
11
 
12
 
9
 
14
 
17
 
18
 
18
 
27
 
18
 
14
 
13
 
10
 
20
 
19
 
6
 
14
 
19
 
6
 
12
 
17
 
20
 
7
 
18
 
16
 
10
 
8
 
9
 
13
 
14
 
21
 
12
 
7
 
22
 
21
 
10
 
22
 
14
 
20
 
17
 
14
 
14
 
10
 
6
 
9
 
25
 
27
 
27
 
52
 
7
 
4
 
11
 
8
 
4
 
5
 
7
 
5
 
2
 
9
 
2
 
4
 
4
 
7
 
4
 
7
 
5
 
10
 
7
 
5
 
8
 
4
 
14
 
8
 
6
 
8
 
8
 
14
 
5
 
4
 
27
 
12
 
9
 
26
 
36
 
2
 
4
 
5
 
31
 
26
 
14
 
14
 
6
 
6
 
3
 
9
Design
Your Own Design
Paste the URL of your CSS below.
Download CSS template