[Caml-list] Call for Papers: London International Conference on Education!

Apologies for cross-postings.

Kindly email this call for papers to your colleagues,
faculty members and postgraduate students.


CALL FOR PAPERS

*********************************************************
London International Conference on Education (LICE-2011)
November 7-10, 2011, London, UK
(www.liceducation.org)
*********************************************************


The London International Conference on Education (LICE) is
an international refereed conference dedicated to the advancement
of the theory and practices in education. The LICE promotes
collaborative excellence between academicians and professionals
from Education.

The aim of LICE is to provide an opportunity for academicians
and professionals from various educational fields with
cross-disciplinary interests to bridge the knowledge gap, promote
research esteem and the evolution of pedagogy. The LICE-2011
invites research papers that encompass conceptual analysis,
design implementation and performance evaluation. All accepted
papers will appear in the proceedings and modified
version of selected papers will be published in special
issues peer reviewed journals.


The topics in LICE-2011 include but are not confined to
the following areas:

*Academic Advising and Counselling
*Art Education
*Adult Education
*APD/Listening and Acoustics in Education Environment
*Business Education
*Counsellor Education
*Curriculum, Research and Development
*Distance Education
*Early Childhood Education
*Educational Administration
*Educational Foundations
*Educational Psychology
*Educational Technology
*Education Policy and Leadership
*Elementary Education
*E-Learning
*ESL/TESL
*Health Education
*Higher Education
*History
*Human Resource Development
*Indigenous Education
*ICT Education
*Kinesiology & Leisure Science
*K12
*Language Education
*Mathematics Education
*Multi-Virtual Environment
*Music Education
*Pedagogy
*Physical Education (PE)
*Research Assessment Exercise (RAE)
*Reading Education
*Religion and Education Studies
*Rural Education
*Science Education
*Secondary Education
*Second life Educators
*Social Studies Education
*Special Education
*Student Affairs
*Teacher Education
*Cross-disciplinary areas of Education
*E-Society
*Other Areas of Education


IMPORTANT DATES:

Extended Abstract (Work in Progress) Submission Date: July 15, 2011
Research Paper, Student Paper, Case Study, Report Submission Date: July 5, 2011
Proposal for Workshops: June 5, 2011
Notification of Workshop Acceptance/Rejection:  June 10, 2011  
Notification of Extended Abstract (Work in Progress) Acceptance/Rejection: July 25, 2011
Notification of Research Paper, Student Paper, Case Study, Report Acceptance /Rejection: July 20, 2011
Camera Ready Paper Due: August 31, 2011
Participant(s) Registration (Open):  May 25, 2011  
Early Bird Registration Deadline (Authors only):  May 25 to September 1, 2011
Late Bird Registration Deadline (Authors only):  September 2 to October 1, 2011  
Conference Dates:  November 07-10, 2011

For further information, please visit www.liceducation.org

 

[Caml-list] LOPSTR 2011 - call for participation

(our apologies if you receive multiple copies of this message)

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

CALL FOR PARTICIPATION

21th International Symposium on
Logic-Based Program Synthesis and Transformation
LOPSTR 2011

http://users.dsic.upv.es/~lopstr11/
Odense, Denmark, July 18-20, 2011
(co-located with PPDP 2011, AAIP 2011 and WFLP 2011)

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

ONLINE REGISTRATION IS OPEN:

http://www.imada.sdu.dk/~petersk/OLP/registration.html

EARLY REGISTRATION DEADLINE:

May 30, 2011 (next Monday!)

The aim of the LOPSTR series is to stimulate and promote
international research and collaboration on logic-based program
development. LOPSTR is open to contributions in logic-based
program development in any language paradigm. LOPSTR has a
reputation for being a lively, friendly forum for presenting
and discussing work in progress. Formal proceedings are
produced only after the symposium so that authors can
incorporate this feedback in the published papers.

SYMPOSIUM PROGRAM (tentative):

Monday, July 18, 2011:

14:00 - 15:00: Session 1

* Thomas Stroeder, Peter Schneider-Kamp, Jürgen Giesl, Fabian Emmes
and Carsten Fuhs.
A Linear Operational Semantics for Termination and Complexity
Analysis of ISO Prolog
* Olivier Namet, Maribel Fernandez and Helene Kirchner.
A Strategy Language for Graph Rewriting

Coffee break

15:30 - 17:30: Session 2

* Paulo Moura.
Meta-Predicate Semantics
* Jose F. Morales, Manuel Hermenegildo and Rémy Haemmerlé.
Modular Extensions for Modular (Logic) Languages
* Nik Sultana.
A prototype refactoring tool based on a mechanically-verified core
* Céline Dandois and Wim Vanhoof.
Clones in logic programs and how to detect them

Tuesday, July 19, 2011:

09:00 - 10:00: LOPSTR Invited Talk

* John Gallagher. <TBA>

Coffee break

10:30 - 12:30: Session 3

* Wim Vanhoof.
On the partial deduction of non-ground meta-interpreters
* Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti and Valerio
Senni.
Using Real Relaxations During Program Specialization
* Hirohisa Seki.
Proving Properties of Co-logic Programs by Unfold/Fold Transformations
* Rafael Caballero, Adrian Riesco, Alberto Verdejo and Narciso Marti-
Oliet.
Simplifying Questions in Maude Declarative Debugger by Transforming
Proof Trees

Lunch break

14:00 - 15:00: Session 4

* Giovanni Bacci, Marco Comini, Marco A. Feliú and Alicia Villanueva.
Automatic Synthesis of Specifications for Curry Programs
* Jesus Almendros-Jimenez, Rafael Caballero, Yolanda García-Ruiz and
Fernando Saenz-Perez.
A Declarative Embedding of XQuery in a Functional-Logic Language

Coffee break

15:30 - 17:30: Session 5

* Elvira Albert, Miguel Gomez-Zamalloa and José Miguel Rojas Siles.
Resource-driven CLP-based Test Case Generation
* Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato,
Kazutaka Matsuda, Keisuke Nakano and Isao Sasano.
Marker-directed optimization of UnCAL graph transformations
* Sneyers and Daniel De Schreye.
Probabilistic Termination of CHRiSM Programs
* Paolo Pilozzi and Daniel De Schreye.
Improved termination analysis of CHR using self-sustainability
analysis

Wednesday, July 20, 2011:

9:00 - 10:00: PPDP/LOPSTR Invited Talk

* Fritz Henglein.
<TBA>

Coffee break

10:30 - 11:30: PPDP/LOPSTR Invited Talk

* Vitaly Lagoon.
The Challenges of Constraint-Based Test Generation

Coffee break

11:30 - 12:30: Session 6:

* Pedro Cabalar and Stephane Demri.
Automata-based Computation of Temporal Equilibrium Models
* Demeyer and Wim Vanhoof.
Proper Granularity for Atomic Sections in Concurrent Programs

Lunch and Excursion
============================================================

--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] CPP 2011 - Call for Papers

The First International Conference on
Certified Programs and Proofs (CPP 2011)
CALL FOR PAPERS

Kenting, Taiwan
December 7--9, 2011
http://formes.asia/cpp

(co-located with APLAS 2011)

CPP is a new international forum on theoretical and practical topics
in all areas, including computer science, mathematics, and education,
that consider certification as an essential paradigm for their work.
Certification here means formal, mechanized verification of some sort,
preferably with production of independently checkable certificates.
We invite submissions on topics that fit under this rubric.

Suggested, but not exclusive, specific topics of interest for
submissions include: certified or certifying programming, compilation,
linking, OS kernels, runtime systems, and security monitors; program
logics, type systems, and semantics for certified code; certified
decision procedures, mathematical libraries, and mathematical
theorems; proof assistants and proof theory; new languages and tools
for certified programming; program analysis, program verification, and
proof-carrying code; certified secure protocols and transactions;
certificates for decision procedures, including linear algebra,
polynomial systems, SAT, SMT, and unification in algebras of interest;
certificates for semi-decision procedures, including equality,
first-order logic, and higher-order unification; certificates for
program termination; logics for certifying concurrent and distributed
programs; higher-order logics, logical systems, separation logics, and
logics for security; and teaching mathematics and computer science
with proof assistants.

INVITED SPEAKERS:

* Andrew Appel (Princeton University)
* Nikolaj Bjørner (Microsoft Research)
* Peter O'Hearn (Queen Mary, University of London)
* Vladimir Voevodsky (Institute for Advanced Study, Princeton University)

IMPORTANT DATES:

Authors are required to submit a paper title and a short abstract
before submitting the full paper. The submission should include when
necessary a url where to find the formal development assessing the
essential aspects of the work. All submissions will be
electronic. All deadlines are at midnight (GMT).

Abstract Deadline: Monday, June 13, 2011
Paper Submission Deadline: Friday, June 17, 2011
Author Notification: Monday, August 29, 2011
Camera Ready: Monday, September 19, 2011
Conference: December 7-9, 2011

SUBMISSION INSTRUCTIONS:

Papers should be submitted electronically online via the conference
submission web page at URL:

http://www.easychair.org/conferences/?conf=cpp2011

Acceptable formats are PostScript or PDF, viewable by Ghostview or
Acrobat Reader. Submissions should not exceed 16 pages in LNCS format,
including bibliography and figures. Submitted papers will be judged
on the basis of significance, relevance, correctness, originality, and
clarity. They should clearly identify what has been accomplished and
why it is significant. The proceedings of the symposium will
be published as a volume in Springer-Verlag's Lecture Notes in
Computer Science series.

Each submission must be written in English and provide sufficient
detail to allow the program committee to assess the merits of the
paper. It should begin with a succinct statement of the issues, a
summary of the main results, and a brief explanation of their
significance and relevance to the conference, all phrased for the
non-specialist. Technical and formal developments directed to the
specialist should follow. Whenever appropriate, the submission should
come along with a formal development, using whatever prover, e.g.,
Agda, Coq, Elf, HOL, HOL-Light, Isabelle, Matita, Mizar, NQTHM, PVS,
Vampire, etc. References and comparisons with related work should be
included. Papers not conforming to the above requirements concerning
format and length may be rejected without further consideration.

The results must be unpublished and not submitted for publication
elsewhere, including the proceedings of other published conferences or
workshops. The PC chairs should be informed of closely related work
submitted to a conference or journal in advance of
submission. Original formal proofs of known results in mathematics or
computer science are among the targets. One author of each accepted
paper is expected to present it at the conference.

AWARD FOR BEST PAPER:

An award will be given for the best accepted paper, as judged by the
program committee. The committee may decline to make the award or split
it among several papers.

PROGRAM CO-CHAIRS:
Jean-Pierre Jouannaud (INRIA and Tsinghua University)
Zhong Shao (Yale University)
Email: cpp2011pc@gmail.com

GENERAL CHAIR:
Yih-Kuen Tsay (National Taiwan University)

PROGRAM COMMITTEE:

Andrea Asperti (University of Bologna)
Gilles Barthe (IMDEA Software Institute)
Xiao-Shan Gao (Chinese Academy of Sciences)
Georges Gonthier (Microsoft Research Cambridge)
Chris Hawblitzel (Microsoft Research Redmond)
John Harrison (Intel Corporation)
Jean-Pierre Jouannaud (INRIA and Tsinghua University)
Akash Lal (Microsoft Research India)
Xavier Leroy (INRIA Paris-Rocquencourt)
Yasuhiko Minamide (University of Tsukuba)
Shin-Cheng Mu (Academia Sinica)
Michael Norrish (NICTA)
Brigitte Pientka (McGill University)
Sandip Ray (University of Texas at Austin)
Natarajan Shankar (SRI International)
Zhong Shao (Yale University)
Christian Urban (TU Munich)
Viktor Vafeiadis (Max Planck Institute for Software Systems)
Stephanie Weirich (University of Pennsylvania)
Kwangkeun Yi (Seoul National University)

PUBLICITY CHAIR:
Bow-Yaw Wang (Academia Sinica, INRIA and Tsinhua University)

ORGANIZING COMMITTEE:
Tyng-Ruey Chuang (chair), Shin-Cheng Mu, Yih-Kuen Tsay
(Academia Sinica and National Taiwan University)
Email: cpp2011oc@gmail.com

----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.

--
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs

[Caml-list] Call for Participation: TARK 2011, 11-15 July 2011, Groningen

*** apologies for multiple postings ***

Dear colleagues,

It is our great pleasure to invite you to participate in the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XIII, July 11-15, 2011, Groningen, the Netherlands). 

You can register via the official TARK website at http://TARK2011.org. There you will also find a list of accepted papers. This year's invited speakers are Johan van Benthem, Yossi Feinberg, Ithzak Gilboa and Larry Moss.

The TARK registration fee includes participation in the main TARK event from July 12 to July 14 and a conference dinner. Also, registered TARK participants may attend the two full-day workshops "Reasoning about other Minds" (July 11) and "Quantum Physics meets TARK" (July 15) for free.

 

Registration Deadline: May 31 (EUR 225/EUR 125 for students)

Late Registration Deadline: June 30 (EUR 300/EUR 175 for students)

Registration after June 30 is EUR 375/EUR 250 for students

We hope to meet you at TARK! 

Krzysztof Apt, Program Chair

Sonja Smets, Local Organization Chair

Rineke Verbrugge, Local Organization Chair