Ricardo J. Machado | 4 Jul 2012 11:37
Picon

MOMPES 2012: CFP extended deadline 16/Jul

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


MOMPES 2012 CFP

*** DEADLINE EXTENSION: 16 July 2012 ***


8th International Workshop on Model-Based Methodologies
for Pervasive and Embedded Software

Collocated with ASE 2012 (27th IEEE/ACM International
Conference on Automated Software Engineering), Essen,
Germany, 3-7 September 2012

http://www.di.uminho.pt/mompes/2012/

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

1 THEME AND TOPICS

Model-Based Development (MBD) is a software development
approach that relies on modelling and on systematic
transition from models to executable code. This workshop
focuses on the theoretical and practical aspects related
to the adoption of MBD methodologies (notations,
processes, methods, and tools) for the construction of
software for pervasive and embedded systems. In the
context of ASE 2012, the workshop focuses on how to
automate or partially automate tasks in this area to
achieve significant improvements in quality and
productivity.

Areas of interest include, but are not restricted to:

* Automated and Semi-automated Techniques
* Applied Formal Methods for Embedded Systems
* Semantics of Modelling Languages, Integration of Models
* Model Transformation and Code Generation
* Model-based Analysis, Testing and Verification
* Meta-modelling and Tools
* Feature Modelling
* Variability Modelling and Variability Realization
* Domain-specific Languages and Modelling
* Modelling of Non-Functional Requirements
* Model-based Architectures
* Software Process, Product Lines and Frameworks
* Model-based Traceability and Consistency
* Models for Ultra-Large Scale Systems
* Model-based Evolution and Change Management
* Experience Reports and Case Studies
* Reuse and Component-based Architectures
* Architectural Recovery in Legacy Systems
* Managing inconsistencies
* Model-based Testing, Model-driven Testing and Test-Driven
Development

We explicitly invite experience reports and case studies
related to these topics.

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

2 SUBMISSIONS

We are seeking for research papers and experience reports
(max. 20 pages, EXTENDED) as well as short and position
papers (max. 6 pages). Submissions must conform to the LNCS
template available at

http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

and should be submitted via the EasyChair website at

https://www.easychair.org/conferences/?conf=mompes2012

Submissions will be selected based on the relevance to the
workshop topics and the suitability to trigger interesting
discussions. Each paper will be reviewed by at least 3
members of the PC.

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

3 IMPORTANT DATES

Paper submission: 16 July 2012
Notification: 19 July 2012
Camera ready copy: 2 August 2012
Workshop: 4 September 2012

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

4 WORKSHOP FORMAT

The workshop will have a strong emphasis on interaction
between participants. Hence, we intend to use a
combination of (1) paper presentations with discussions on
paper topics in the morning and (2) an interactive session
in the afternoon.

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

5 ORGANIZATION

PROGRAM COMMITTEE
* Robert Baillargeon, SODIUS, US
* Gaelle Calvary, U Joseph Fourier, FR
* Holger Giese, HPI Potsdam, DE
* Luis Gomes, UN Lisboa, PT
* Hans-Gerhard Gross, TU Delft, NL
* Timo D. Hämäläinen, TU Tampere, FI
* Chris Hankin, Imperial College, UK
* Stefan Kowalewski, RWTH Aachen, DE
* Luis Lamb, UFRGS, BR
* Pedro Jose Marron, U Duisburg-Essen, DE
* Dirk Muthig, Lufthansa Systems, DE
* Elvinia Riccobene, U Milano, IT
* Pablo Sanchez, U Malaga, ES
* Olaf Spinczyk, U Dortmund, DE
* Jonathan Sprinkle, U Arizona, US
* Martin Törngren, KTH Stockholm, SE
* Tim Trew, NDS, UK

ORGANIZATION COMMITTEE
* Ricardo J. Machado, U Minho (PT)
* Rita Suzana Maciel, U Federal da Bahia (BR)
* Julia Rubin, IBM Research, Haifa (IL)
* Goetz Botterweck, Lero and U Limerick (IE)

STEERING COMMITTEE
* Ricardo J. Machado, U Minho (PT), chair
* João M. Fernandes, U Minho (PT)
* Flávio R. Wagner, UFRGS (BR)
* Mike Hinchey, Lero & U Limerick (IE)
* Dov Dori, Technion (IL)

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

6 PUBLICATION

All accepted papers will be published in a
post-proceedings volume of the Lecture Notes in Computer
Science (LNCS) series by Springer-Verlag.
<div>***********************************************************≤br><br><br>  MOMPES 2012 CFP<br><br>  *** DEADLINE EXTENSION: 16 July 2012 ***<br><br><br>8th International Workshop on Model-Based Methodologies<br>for Pervasive and Embedded Software<br><br>Collocated with ASE 2012 (27th IEEE/ACM International<br>Conference on Automated Software Engineering), Essen,<br>Germany, 3-7 September 2012<br><br><a href="http://www.di.uminho.pt/mompes/2012/">http://www.di.uminho.pt/mompes/2012/</a><br><br>***********************************************************≤br><br>1 THEME AND TOPICS<br><br>Model-Based Development (MBD) is a software development<br>approach that relies on modelling and on systematic<br>transition from models to executable code. This workshop<br>

focuses on the theoretical and practical aspects related<br>to the adoption of MBD methodologies (notations,<br>processes, methods, and tools) for the construction of<br>software for pervasive and embedded systems. In the<br>

context of ASE 2012, the workshop focuses on how to<br>automate or partially automate tasks in this area to<br>achieve significant improvements in quality and<br>productivity.<br><br>Areas of interest include, but are not restricted to:<br><br> * Automated and Semi-automated Techniques<br> * Applied Formal Methods for Embedded Systems<br> * Semantics of Modelling Languages, Integration of Models<br> * Model Transformation and Code Generation<br> * Model-based Analysis, Testing and Verification<br>

 * Meta-modelling and Tools<br> * Feature Modelling<br> * Variability Modelling and Variability Realization<br> * Domain-specific Languages and Modelling<br> * Modelling of Non-Functional Requirements<br> * Model-based Architectures<br>

 * Software Process, Product Lines and Frameworks<br> * Model-based Traceability and Consistency<br> * Models for Ultra-Large Scale Systems<br> * Model-based Evolution and Change Management<br> * Experience Reports and Case Studies<br>

 * Reuse and Component-based Architectures<br> * Architectural Recovery in Legacy Systems<br> * Managing inconsistencies<br> * Model-based Testing, Model-driven Testing and Test-Driven<br>   Development<br><br>We explicitly invite experience reports and case studies<br>

related to these topics.<br><br>***********************************************************≤br><br>2 SUBMISSIONS<br><br>We are seeking for research papers and experience reports<br>(max. 20 pages, EXTENDED) as well as short and position<br>

papers (max. 6 pages). Submissions must conform to the LNCS<br>template available at<br><br><a href="http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0">http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0</a><br><br>and should be submitted via the EasyChair website at<br><br><a href="https://www.easychair.org/conferences/?conf=mompes2012">https://www.easychair.org/conferences/?conf=mompes2012</a><br><br>Submissions will be selected based on the relevance to the<br>

workshop topics and the suitability to trigger interesting<br>discussions. Each paper will be reviewed by at least 3<br>members of the PC.<br><br>***********************************************************≤br><br>3 IMPORTANT DATES<br><br>Paper submission:  16 July 2012<br>Notification:      19 July 2012<br>Camera ready copy: 2 August 2012<br>Workshop:          4 September 2012<br><br>***********************************************************≤br><br>
4 WORKSHOP FORMAT<br><br>The workshop will have a strong emphasis on interaction<br>between participants. Hence, we intend to use a<br>combination of (1) paper presentations with discussions on<br>paper topics in the morning and (2) an interactive session<br>

in the afternoon.<br><br>***********************************************************≤br><br>5 ORGANIZATION<br><br>PROGRAM COMMITTEE<br> * Robert Baillargeon, SODIUS, US<br> * Gaelle Calvary, U Joseph Fourier, FR<br> * Holger Giese, HPI Potsdam, DE<br>

 * Luis Gomes, UN Lisboa, PT<br> * Hans-Gerhard Gross, TU Delft, NL<br> * Timo D. H&auml;m&auml;l&auml;inen, TU Tampere, FI<br> * Chris Hankin, Imperial College, UK<br> * Stefan Kowalewski, RWTH Aachen, DE<br> * Luis Lamb, UFRGS, BR<br>

 * Pedro Jose Marron, U Duisburg-Essen, DE<br> * Dirk Muthig, Lufthansa Systems, DE<br> * Elvinia Riccobene, U Milano, IT<br> * Pablo Sanchez, U Malaga, ES<br> * Olaf Spinczyk, U Dortmund, DE<br> * Jonathan Sprinkle, U Arizona, US<br>

 * Martin T&ouml;rngren, KTH Stockholm, SE<br> * Tim Trew, NDS, UK<br><br>ORGANIZATION COMMITTEE<br> * Ricardo J. Machado, U Minho (PT)<br> * Rita Suzana Maciel, U Federal da Bahia (BR)<br> * Julia Rubin, IBM Research, Haifa (IL)<br>

 * Goetz Botterweck, Lero and U Limerick (IE)<br><br>STEERING COMMITTEE<br> * Ricardo J. Machado, U Minho (PT), chair<br> * Jo&atilde;o M. Fernandes, U Minho (PT)<br> * Fl&aacute;vio R. Wagner, UFRGS (BR)<br> * Mike Hinchey, Lero &amp; U Limerick (IE)<br>

 * Dov Dori, Technion (IL)<br><br>***********************************************************≤br><br>6 PUBLICATION<br><br>All accepted papers will be published in a<br>post-proceedings volume of the Lecture Notes in Computer<br>

Science (LNCS) series by Springer-Verlag.<br>
</div>
Josh Berdine | 4 Jul 2012 15:30
Picon
Favicon

VMCAI 2013: Call for Papers

VMCAI 2013 CALL FOR PAPERS

14th International Conference on
Verification, Model Checking, and Abstract Interpretation (VMCAI)

    http://vmcai13.di.univr.it

January 20-22, 2013, Rome, Italy
Co-located with POPL 2013 (http://popl.mpi-sws.org/2013/)
40th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

SCOPE

VMCAI provides a forum for researchers from the communities of Verification,
Model Checking, and Abstract Interpretation, facilitating interaction,
cross-fertilization, and advancement of hybrid methods that combine these and
related areas.

The program of VMCAI'13 will consist of refereed research papers and tool
demonstrations, as well as invited lectures and tutorials. Research
contributions can report new results as well as experimental evaluations and
comparisons of existing techniques. Topics include, but are not limited to:
program verification, model checking, abstract interpretation and abstract
domains, program synthesis, static analysis, type systems, deductive methods,
program certification, debugging techniques, program transformation,
optimization, hybrid and cyberphysical systems.
Submissions can address any programming paradigm, including concurrent,
constraint, functional, imperative, logic and object-oriented programming.

Papers must describe original work, be written and presented in English, and
must not overlap with papers that have been published or that are
simultaneously submitted to a journal or a conference with refereed
proceedings. Proceedings are published by Springer-Verlag as volumes in the
Lecture Notes in Computer Science series.

IMPORTANT DATES

Abstract Submission:              August 17, 2012
Paper Submission:                 August 24, 2012
Acceptance Notification:          October 12, 2012
Conference:                       January 20-22, 2013 (right before POPL)

The submission system is now open and early submissions are welcome. The
deadlines are strict and will not be changed.

SUBMISSION INSTRUCTIONS

The VMCAI 2013 proceedings will be published as a volume in Springer's Lecture
Notes in Computer Science series. The page limit for submissions is:

    15 pages in Springer's LNCS format. 

Additional material may be placed in an appendix, to be read at the discretion
of the reviewers and to be omitted in the final version. Formatting style
files and further guidelines for formatting can be found at
http://www.springer.de/comp/lncs/authors.html.  Submissions deviating from
these guidelines risk summary rejection. Please prepare your submission in
accordance with the rules described above and submit a pdf file via:

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

PROGRAM COMMITTEE

Program Chairs:

Roberto Giacobazzi (Chair)
Josh Berdine (Co_Chair)
Isabella Mastroeni (Co_chair)

Program Committee:

Josh Berdine (MSR, UK & Co_Chair)
Nikolaj Bjorner, (MSR, USA)
Sandrine Blazy (U. Rennes, France)
Agostino Cortesi (U. Venezia, Italy)
Mad Dams (KTH, Sweden)
Michael Emmi (U. Paris Diderot, France)
Azadeh Farzan (U. Toronto, Canada)
Pierre Ganty (IMDEA, Spain)
Samir Genaim (U. Complutense, Spain)
Roberto Giacobazzi (U. Verona, Italy &  Chair)
Orna Grumberg (Technion, Israel)
Klaus Havelund (JPL, USA)
Jochen Hoenicke (U. Freiburg, Germany)
Sebastian Hunt (City U. London, UK)
Limin Jia, (CMU, USA)
Andy King (Kent, UK)
Arun Lakhotia (U. Louisiana, USA)
Akash Lal (MSR, India)
Rupak Majumdar (MPI-SWS, Germany)
Matthieu Martel (U. Perpignan, France)
Isabella Mastroeni (U. Verona, Italy &  Co_chair)
Ganesan Ramalingam (MSR, India)
Roberto Sebastiani (FBK, Italy)
Saurabh Srivastava (Berkeley, USA)
Greta Yorsh (ARM, UK)
Enea Zaffanella (U. Parma, Italy)

VMCAI STEERING COMMITTEE

Agostino Cortesi, Universita' Ca' Foscari, Venice, Italy
Patrick Cousot, Ecole Normale Superieure, France
E. Allen Emerson, University of Texas at Austin, USA
Andreas Podelski, University of Freiburg, Germany
Thomas W. Reps, University of Wisconsin at Madison, USA
David Schmidt, Kansas State University, USA 
Lenore Zuck, University of Illinois at Chicago, USA

ADDITIONAL INFORMATION

Please consult: http://vmcai13.di.univr.it or contact PC chairs.
Antonio Cerone | 5 Jul 2012 09:03
Favicon

5th Int. School on Software Engineering and Formal Methods


                  Call for Applications

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

                 5th International School on
           Software Engineering and Formal Methods

         24-28 September 2012 - Thessaloniki, Greece
              http://sefm.iist.unu.edu/School/

----------------------------------------------------------------
            Application deadline: 15 July 2012
----------------------------------------------------------------

The 5th International School on Software Engineering and Formal
Methods will be held on 24-28 September 2012, in Thessaloniki,
Greece.  The school will have a total duration of approximately
30 hours and will consist of the following courses:

   1. Introduction to Formal Methods;
   2. Logics for Software Engineering;
   3. The CSP Process Algebra;
   4. Algebraic Specification in CASL;
   5. Specification-based Testing;
   6. Specification and Verification of Electronic Contracts;
   7. Formal Methods for Human-computer Interaction;
   8. Formal Verification of Security Protocol.


LECTURERS

* Antonio Cerone
  United Nations University, UNU-IIST, Macau SAR China;

* Markus Roggenbach
  Swansea University, Swansea, UK;

* Bernd-Holger Schlingloff
  Humboldt University and Fraunhofer FIRST, Berlin, Germany;

* Gerardo Schneider
  University of Gothenburg, Gothenburg, Sweden;

* Siraj Ahmed Shaikh
  Coventry University, Coventry, UK.


APPLICATION AND FEE

We welcome application from postgraduate students and researchers
from academia and industry who have obtained at least an
undergraduate degree in Computer Science or in a related discipline.
The school fee will be EUR 350 and will cover: lunch, morning and
afternoon coffee breaks during each of the 5 days and school
materials, which include one book and one live-CD specifically
prepared for the school and published by Springer.

The application form is available at

     http://sefm.iist.unu.edu/School/sefm-school-2012-app-form.txt

Completed application forms should be emailed (plain text only) to

     sefm_school <at> iist.unu.edu.

Application deadline: 15 July 2012.

Applicants will be notified of the outcome of their application within
one week after submitting their application.

Accepted applicants must confirm their participation and pay the
registration fee within one week from the acceptance notification.


EXAMINATION

Participants who are interested in undertaking an examination for
credit purpose on the topics presented at the school must explicitly
request it in the Application Form.
Participants who will pass the examination will receive a certificate
suitable for credit recognition, according to the information they
have provided in the Application Form.


ORGANISATION CO-CHAIRS

* Antonio Cerone,
  United Nations University, UNU-IIST,
  Macau SAR China;

* Dimitrios Kourtesis
  The University of Sheffield, International Faculty - City College,
  Thessaloniki, Greece


CONTACTS

Enquiries about Application and Application Submissions should be
sent to: sefm_school <at> iist.unu.edu

--
Antonio Cerone
United Nations University
UNU-IIST, Macau SAR China




<div>
<div class="gmail_quote">
<br><div class="HOEnZb"><div class="h5">&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Call for Applications<br><br>
----------------------------------------------------------------<br><br>
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;5th International School on<br>
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;Software Engineering and Formal Methods<br><br>
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp;24-28 September 2012 - Thessaloniki, Greece<br>
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; <a href="http://sefm.iist.unu.edu/School/" target="_blank">http://sefm.iist.unu.edu/School/</a><br><br>
----------------------------------------------------------------<br>
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; Application deadline: 15 July 2012<br>
----------------------------------------------------------------<br><br>
The 5th International School on Software Engineering and Formal<br>
Methods will be held on 24-28 September 2012, in Thessaloniki,<br>
Greece. &nbsp;The school will have a total duration of approximately<br>
30 hours and will consist of the following courses:<br><br>
&nbsp; &nbsp;1. Introduction to Formal Methods;<br>
&nbsp; &nbsp;2. Logics for Software Engineering;<br>
&nbsp; &nbsp;3. The CSP Process Algebra;<br>
&nbsp; &nbsp;4. Algebraic Specification in CASL;<br>
&nbsp; &nbsp;5. Specification-based Testing;<br>
&nbsp; &nbsp;6. Specification and Verification of Electronic Contracts;<br>
&nbsp; &nbsp;7. Formal Methods for Human-computer Interaction;<br>
&nbsp; &nbsp;8. Formal Verification of Security Protocol.<br><br><br>
LECTURERS<br><br>
* Antonio Cerone<br>
&nbsp; United Nations University, UNU-IIST, Macau SAR China;<br><br>
* Markus Roggenbach<br>
&nbsp; Swansea University, Swansea, UK;<br><br>
* Bernd-Holger Schlingloff<br>
&nbsp; Humboldt University and Fraunhofer FIRST, Berlin, Germany;<br><br>
* Gerardo Schneider<br>
&nbsp; University of Gothenburg, Gothenburg, Sweden;<br><br>
* Siraj Ahmed Shaikh<br>
&nbsp; Coventry University, Coventry, UK.<br><br><br>
APPLICATION AND FEE<br><br>
We welcome application from postgraduate students and researchers<br>
from academia and industry who have obtained at least an<br>
undergraduate degree in Computer Science or in a related discipline.<br>
The school fee will be EUR 350 and will cover: lunch, morning and<br>
afternoon coffee breaks during each of the 5 days and school<br>
materials, which include one book and one live-CD specifically<br>
prepared for the school and published by Springer.<br><br>
The application form is available at<br><br>
&nbsp; &nbsp; &nbsp;<a href="http://sefm.iist.unu.edu/School/sefm-school-2012-app-form.txt" target="_blank">http://sefm.iist.unu.edu/School/sefm-school-2012-app-form.txt</a><br><br>
Completed application forms should be emailed (plain text only) to<br><br>
&nbsp; &nbsp; &nbsp;<a href="mailto:sefm_school <at> iist.unu.edu">sefm_school <at> iist.unu.edu</a>.<br><br>
Application deadline: 15 July 2012.<br><br>
Applicants will be notified of the outcome of their application within<br>
one week after submitting their application.<br><br>
Accepted applicants must confirm their participation and pay the<br>
registration fee within one week from the acceptance notification.<br><br><br>
EXAMINATION<br><br>
Participants who are interested in undertaking an examination for<br>
credit purpose on the topics presented at the school must explicitly<br>
request it in the Application Form.<br>
Participants who will pass the examination will receive a certificate<br>
suitable for credit recognition, according to the information they<br>
have provided in the Application Form.<br><br><br>
ORGANISATION CO-CHAIRS<br><br>
* Antonio Cerone,<br>
&nbsp; United Nations University, UNU-IIST,<br>
&nbsp; Macau SAR China;<br><br>
* Dimitrios Kourtesis<br>
&nbsp; The University of Sheffield, International Faculty - City College,<br>
&nbsp; Thessaloniki, Greece<br><br><br>
CONTACTS<br><br>
Enquiries about Application and Application Submissions should be<br>
sent to: <a href="mailto:sefm_school <at> iist.unu.edu">sefm_school <at> iist.unu.edu</a><br><br>
--<br>
Antonio Cerone<br>
United Nations University<br>
UNU-IIST, Macau SAR China<br>
</div></div>
</div>
<br><br><br><br>
</div>
maciej koutny | 6 Jul 2012 11:49
Picon
Picon
Favicon

Call for participation: CONCUR 2012 - 23th International Conference on Concurrency Theory

[We apologise for multiple copies.]

==========================================
FIRST CALL FOR PARTICIPATION - CONCUR 2012 

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

23th International Conference on Concurrency Theory 

3rd to 8th September 2012
Newcastle upon Tyne, United Kingdom
http://conferences.ncl.ac.uk/concur-2012/

CONCUR 2012 is an official event of The Alan Turing Year http://www.mathcomp.leeds.ac.uk/turing2012/

EARLY REGISTRATION until 3rd August 2012 !

==========================================
CO-LOCATED EVENTS

- 21st International Workshop on Power And Timing Modeling, Optimization
  and Simulation (PATMOS 2012)
  4th to 6th September

- 7th International Symposium on Trustworthy Global Computing (TGC 2012)
  7th and 8th September

==========================================
AFFILIATED WORKSHOPS
http://conferences.ncl.ac.uk/concur-2012/workshops.html

- Expressiveness in Concurrency and Structural Operational Semantics (EXPRESS/SOS 2012)
  3rd September

- Games for Design, Verification and Synthesis (GASICS 2012)
  3rd September

- Hybrid Systems and Biology (HSB 2012)
  3rd September

- Trustworthy Cyber-Physical Systems (TCPS)
  3rd September

- Young Researchers Workshop on Concurrency Theory (YR-CONCUR 2012)
  3rd September

- Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA 2012)
  8th September

- Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2012)
  8th September

- Trends in Concurrency Theory and IFIP WG 1.8 Meeting (TRENDS 2012)
  8th September

==========================================
REGISTRATION

Please visit:  http://conferences.ncl.ac.uk/concur-2012/registration.html

Early registration deadline: 3rd August 2012

For registration-related queries, including any visa letter requirements, please contact: Joan.Atkinson <at> ncl.ac.uk

==========================================
CONCUR 2012 INVITED SPEAKERS 

Jos Baeten:     Turing meets Milner
Gordon Plotkin: Concurrency and the algebraic theory of effects Brian Randell:  A Turing trail  
Peter Sewell:   False concurrency and strange-but-true machines   

===================================
STEERING COMMITTEE

Roberto Amadio, France
Jos Baeten, The Netherlands
Eike Best, Germany
Kim Larsen, Denmark
Ugo Montanari, Italy
Scott Smolka, USA

===================================
PROGRAMME CHAIRS

Maciej Koutny, UK
Irek Ulidowski, UK

===================================
PROGRAMME COMMITTEE

Luca Aceto, Iceland
Luca de Alfaro, USA
Eike Best, Germany
Tomás Brázdil, Czech Republic
Franck van Breugel, Canada
Roberto Bruni, Italy
Luis Caires, Portugal
Luca Cardelli, UK
Gabriel Ciobanu, Romania
Pedro R. D'Argenio, Argentina
Philippe Darondeau, France
Rocco De Nicola, Italy
Wan Fokkink, The Netherlands
Paul Gastin, France
Rob van Glabbeek, Australia
Keijo Heljanko, Finland
Jane Hillston, UK
Jetty Klein, The Netherlands
Maciej Koutny, UK
Barbara König, Germany
Cosimo Laneve, Italy
Gavin Lowe, UK
Mohammadreza Mousavi, The Netherlands
Uwe Nestmann, Germany
Catuscia Palamidessi, France
Wojciech Penczek, Poland
Iain Phillips, UK
Shaz Qadeer, USA
Jean-Francois Raskin, Belgium
Philippe Schnoebelen, France
Irek Ulidowski, UK
Björn Victor, Sweden
Shoji Yuen, Japan

===================================
ORGANIZING COMMITTEE

Joan Atkinson
Dee Carr
Roy Crole
Maciej Koutny
Victor Khomenko
Claire Smith
Jason Steggles
Emilio Tuosto
Irek Ulidowski
===================================

GRLMC | 7 Jul 2012 18:12
Favicon

FSFLA 2012: 2nd announcement

*To be removed from our mailing list, please respond to this message with UNSUBSCRIBE in the subject*

 

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

 

2012 INTERNATIONALFALLSCHOOL IN FORMAL LANGUAGES AND APPLICATIONS

 

FSFLA 2012

 

(formerly InternationalPhDSchool in Formal Languages and Applications)

 

Tarragona, Spain

 

October 29 – November 2, 2012

 

Organized by:

Research Group on Mathematical Linguistics (GRLMC)

Rovira i Virgili University

 

http://grammars.grlmc.com/fsfla2012/

 

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

 

AIM:

 

FSFLA 2012 offers a broad and intensive series of lectures at different levels on selected topics in language and automata theory and their applications. The students choose their preferred courses according to their interests and background. Instructors are top names in their respective fields. The School intends to help students initiate and foster their research career.

 

The previous event in this series was FSFLA 2011 (http://grammars.grlmc.com/fsfla2011/).

 

ADDRESSED TO:

 

Graduate (and advanced undergraduate) students from around the world. Most appropriate degrees include: Computer Science and Mathematics. Other students (for instance, from Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome too provided they have a good background in discrete mathematics.

 

The School is appropriate also for people more advanced in their career who want to keep themselves updated on developments in the field.

 

There is no overlap in the class schedule.

 

COURSES AND PROFESSORS:

 

- Eric Allender (Rutgers), Circuit Complexity: Recent Progress in Lower Bounds [introductory/advanced, 8 hours]

- Amihood Amir (Bar-Ilan), Periodicity and Approximate Periodicity in Pattern Matching [introductory, 6 hours]

- Ahmed Bouajjani (Paris 7), Automated Verification of Concurrent Boolean Programs [introductory/advanced, 8 hours]

- Bruno Courcelle (Bordeaux), Automata for Monadic Second-order Model Checking [intermediate, 8 hours]

- Jörg Flum (Freiburg), The Halting Problem for Turing Machines [introductory/advanced, 6 hours]

- Aart Middeldorp (Innsbruck), Termination of Rewrite Systems [introductory/intermediate, 8 hours]

 

REGISTRATION:

 

It has to be done on line at

 

http://grammars.grlmc.com/fsfla2012/Registration.php

 

FEES:

 

They are variable, depending on the number of courses each student takes. The rule is:

 

1 hour =

 

- 10 euros (for payments until June 2, 2012),

- 12.50 euros (for payments between June 3 and August 15, 2012),

- 15 euros (for payments after August 15, 2012).

 

PAYMENT PROCEDURE:

 

The fees must be paid to the School's bank account:

 

Uno-e Bank

bank’s address: Julian Camarillo 4 C, 28037 Madrid, Spain

IBAN: ES3902270001820201823142

SWIFT/BIC code: UNOEESM1

account holder: Carlos Martin-Vide GRLMC

account holder’s address: Av. Catalunya 35, 43002 Tarragona, Spain

 

Please mention FSFLA 2012 and your name in the subject. A receipt will be provided on site.

 

Remarks:

 

- Bank transfers should not involve any expense for the School.

- People claiming early registration will be requested to prove that the bank transfer order was carried out by the deadline.

- Students may be refunded only in the case when a course gets cancelled due to the unavailability of the instructor.

 

People registering on site at the beginning of the School must pay in cash. For the sake of local organization, however, it is much recommended to do it earlier.

 

ACCOMMODATION:

 

Information about accommodation is available on the website of the School.

 

CERTIFICATE:

 

Students will be delivered a certificate stating the courses attended, their contents, and their duration.

 

IMPORTANT DATES:

 

Announcement of the programme: March 24, 2012

Starting of the registration: March 24, 2012

Very early registration deadline: June 2, 2012

Early registration deadline: August 15, 2012

Starting of the School: October 29, 2012

End of the School: November 2, 2012

 

QUESTIONS AND FURTHER INFORMATION:

 

Lilica Voicu:

florentinalilica.voicu <at> urv.cat

 

WEBSITE:

 

http://grammars.grlmc.com/fsfla2012/

 

POSTAL ADDRESS:

 

FSFLA 2012

Research Group on Mathematical Linguistics (GRLMC)

Rovira i Virgili University

Av. Catalunya, 35

43002 Tarragona, Spain

 

Phone: +34-977-559543

Fax: +34-977-558386

 

ACKNOWLEDGEMENTS:

 

Diputació de Tarragona

Universitat Rovira i Virgili

 

<div>

<div class="Section1">

<p class="MsoNormal" align="center"><a name="OLE_LINK1"><span lang="EN-GB">*To
be removed from our mailing list, please respond to this message with
UNSUBSCRIBE in the subject*<p></p></span></a></p>

<p class="MsoNormal" align="center"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal" align="center"><span lang="EN-GB">*********************************************************************<p></p></span></p>

<p class="MsoNormal" align="center"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal" align="center"><span lang="EN-GB">2012 INTERNATIONALFALLSCHOOL
IN FORMAL LANGUAGES AND APPLICATIONS<p></p></span></p>

<p class="MsoNormal" align="center"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal" align="center"><span lang="EN-GB">FSFLA 2012<p></p></span></p>

<p class="MsoNormal" align="center"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal" align="center"><span lang="EN-GB">(formerly
InternationalPhDSchool
in Formal Languages and Applications)<p></p></span></p>

<p class="MsoNormal" align="center"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal" align="center"><span lang="EN-GB">Tarragona</span><span lang="EN-GB">, Spain</span><span lang="EN-GB"><p></p></span></p>

<p class="MsoNormal" align="center"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal" align="center"><span lang="EN-GB">October 29 &ndash; November 2, 2012<p></p></span></p>

<p class="MsoNormal" align="center"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal" align="center"><span lang="EN-GB">Organized
by:<p></p></span></p>

<p class="MsoNormal" align="center"><span lang="EN-GB">Research
Group on Mathematical Linguistics (GRLMC)<p></p></span></p>

<p class="MsoNormal" align="center"><span lang="IT">Rovira
i Virgili University<p></p></span></p>

<p class="MsoNormal" align="center"><span lang="IT"><p>&nbsp;</p></span></p>

<p class="MsoNormal" align="center"><span lang="IT">http://grammars.grlmc.com/fsfla2012/<p></p></span></p>

<p class="MsoNormal" align="center"><span lang="IT"><p>&nbsp;</p></span></p>

<p class="MsoNormal" align="center"><span lang="EN-GB">*********************************************************************<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">AIM:<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">FSFLA 2012 offers a broad and intensive series of
lectures at different levels on selected topics in language and automata theory
and their applications. The students choose their preferred courses according
to their interests and background. Instructors are top names in their
respective fields. The School intends to help students initiate and foster
their research career.<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">The previous event in this series was FSFLA 2011 (</span><a href="http://grammars.grlmc.com/fsfla2011/"><span lang="EN-GB">http://grammars.grlmc.com/fsfla2011/</span></a><span lang="EN-GB">).<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">ADDRESSED TO:<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">Graduate (and advanced undergraduate) students from
around the world</span><span lang="EN-GB">. Most appropriate degrees
include: Computer Science and Mathematics. Other students (for instance, from
Linguistics, Electrical Engineering, Molecular Biology or Logic) are welcome
too provided they have a good background in discrete mathematics.<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">The School is appropriate also for people more
advanced in their career who want to keep themselves updated on developments in
the field.<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">There is no overlap in the class schedule.<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">COURSES AND
PROFESSORS:<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">- <span>Eric Allender</span>
(Rutgers),
Circuit Complexity: Recent Progress in Lower Bounds [introductory/advanced, 8
hours]<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB">- <span>Amihood Amir</span>
(Bar-Ilan), Periodicity and Approximate Periodicity in Pattern Matching [introductory,
6 hours]<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB">- <span>Ahmed Bouajjani</span>
(Paris 7), Automated
Verification of Concurrent Boolean Programs [introductory/advanced, 8 hours]<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB">- <span>Bruno Courcelle</span>
(Bordeaux), Automata
for Monadic Second-order Model Checking [intermediate, 8 hours]<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB">- <span>J&ouml;rg Flum</span>
(Freiburg), The Halting Problem for Turing
Machines [introductory/advanced, 6 hours]<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB">- <span>Aart Middeldorp</span>
(Innsbruck),
Termination of Rewrite Systems [introductory/intermediate, 8 hours]<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">REGISTRATION:<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">It has to be done on line at<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">http://grammars.grlmc.com/fsfla2012/Registration.php<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">FEES:<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">They are variable, depending on the number of
courses each student takes. The rule is:<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">1 hour = <p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">- 10 euros (for payments until June 2, 2012), <p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB">- 12.50 euros (for payments between June 3 and
August 15, 2012),<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB">- 15 euros (for payments after August 15, 2012). <p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">PAYMENT
PROCEDURE:<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">The fees must be paid to the School's bank account:
<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>Uno-e Bank<p></p></span></p>

<p class="MsoNormal"><span>bank&rsquo;s address: Julian Camarillo 4 C,
28037 Madrid, Spain<p></p></span></p>

<p class="MsoNormal"><span>IBAN: ES3902270001820201823142<p></p></span></p>

<p class="MsoNormal"><span>SWIFT/BIC code: UNOEESM1<p></p></span></p>

<p class="MsoNormal"><span>account holder: Carlos Martin-Vide GRLMC<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB">account holder&rsquo;s address: Av. Catalunya 35,
43002 Tarragona, Spain<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">Please mention FSFLA 2012 and your name in the
subject. A receipt will be provided on site.<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">Remarks:<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">- Bank transfers should
not involve any expense for the School.<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB">- People claiming early
registration will be requested to prove that the bank transfer order was
carried out by the deadline.<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB">- Students may be
refunded only in the case when a course gets cancelled due to the
unavailability of the instructor.<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">People registering on site at the beginning of the
School must pay in cash. For the sake of local organization, however, it is
much recommended to do it earlier.<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">ACCOMMODATION:<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">Information about accommodation is available on the
website of the School.<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">CERTIFICATE:<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">Students will be delivered a certificate stating
the courses attended, their contents, and their duration. <p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">IMPORTANT DATES:<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">Announcement of the programme: March 24, 2012<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB">Starting of the registration: March 24, 2012<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB">Very early registration deadline: June 2, 2012<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB">Early registration deadline: August 15, 2012<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB">Starting of the School: October 29, 2012<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB">End of the School: November 2, 2012 <p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">QUESTIONS AND
FURTHER INFORMATION:<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">Lilica Voicu:<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB">florentinalilica.voicu <at> urv.cat <p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">WEBSITE:<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">http://grammars.grlmc.com/fsfla2012/ <p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">POSTAL ADDRESS:<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">FSFLA 2012<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB">Research Group on Mathematical Linguistics (GRLMC)<p></p></span></p>

<p class="MsoNormal"><span lang="IT">Rovira i Virgili University<p></p></span></p>

<p class="MsoNormal"><span lang="IT">Av. Catalunya, 35<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB">43002 Tarragona,
  Spain<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">Phone: +34-977-559543<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB">Fax: +34-977-558386<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span lang="EN-GB">ACKNOWLEDGEMENTS:<p></p></span></p>

<p class="MsoNormal"><span lang="EN-GB"><p>&nbsp;</p></span></p>

<p class="MsoNormal"><span>Diputaci&oacute; de Tarragona<p></p></span></p>

<p class="MsoNormal"><span>Universitat Rovira i Virgili<p></p></span></p>

<p class="MsoNormal"><span><p>&nbsp;</p></span></p>

</div>

</div>
Ruy de Queiroz | 10 Jul 2012 13:22
Picon

WoLLIC 2012 - Buenos Aires, Argentina - Call for Participation


WoLLIC 2012

Call for Participation

WoLLIC is an annual international forum on inter-disciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The nineteenth WoLLIC will be held at the University of Buenos Aires, Argentina, from September 3rd to 7th, 2012.

Invited Speakers

Andrea Asperti (Bologna)

Hans van Ditmarsch(Sevilla)

Laura Kallmeyer (Düselldorf)

George Metcalfe (Nashville)

Anca Muscholl (Bordeaux)

Andre Nies (Auckland)

Peter Selinger (Halifax)

Nicole Schweikardt (Frankfurt)

Proceedings of WoLLIC 2012, including both invited and contributed papers, will be published in advance of the meeting as volume 7456 in Springer's LNCS series. The list of contributed papers can be found here: http://www.glyc.dc.uba.ar/wollic12/call-for-papers.php

In addition, abstracts will appear in the Conference Report section of the Logic Journal of the IGPL, and selected contributions will be published as a special post-conference WoLLIC 2012 issue of the Theoretical Computer Science.

Registration

Early registration deadline is July 8, see http://www.glyc.dc.uba.ar/wollic12/registration.php

Programme Committee

Carlos Areces (Cordoba) 

Marcelo Arenas (Santiago)

Steve Awodey (Pittsburgh) 

Verónica Becher (Buenos Aires) 

Patrick Blackburn (Roskilde) 

Maribel Fernandez (London) 

Santiago Figueira (Buenos Aires) 

Marcelo Finger (São Paulo) 

Marcelo Fiore (Cambridge) 

Yuxi Fu (Shanghai) 

Rosalie Iemhoff (Utrecht) 

Neil Immerman (Amherst)

Jean-Pierre Jouannaud (Paris) 

Makoto Kanazawa (Tokyo) 

Delia Kesner (Paris) 

Dexter Kozen (Ithaca) 

Martin Lange (Kassel)

Benedikt Löwe (Amsterdam) 

Dag Normann (Oslo)

Luke Ong (Oxford) (CHAIR)

Erik Palmgren (Uppsala) 

Sylvain Salvati (Bordeaux)

Philippe Schnoebelen (Cachan) 

Fernando Souza (Recife) 

Kazushige Terui (Kyoto)

Steering Committee

Samson Abramksy, Johan van Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz.

Organising Committee

Carlos Areces (U Nacional Cordoba) (co-chair) (Local co-chair) 

Santiago Figueira (U Buenos Aires) (Local co-chair) 

Javier Legris (U Buenos Aires) 

Anjolina G. de Oliveira (U Fed Pernambuco) 

Ruy de Queiroz (U Fed Pernambuco) (co-chair) 

Further information
Contact one of the Co-Chairs of the Organising Committee.

Web page http://wollic.org/wollic2012/ 

Sponsors 

Association for Symbolic Logic (ASL), the Interest Group in Pure and Applied Logics (IGPL), The Association for Logic, Language and Information (FoLLI), the European Association for Theoretical Computer Science (EATCS), the European Association for Computer Science Logic (EACSL), the Sociedade Brasileira de Computação (SBC), and the Sociedade Brasileira de Lógica (SBL).



<div>
<div class="gmail_quote">
<div class="gmail_quote">
<br><div class="gmail_quote">
<p class="MsoNormal"><span lang="EN-US">WoLLIC
2012</span></p>

<p class="MsoNormal"><span lang="EN-US">Call for<span>&nbsp;</span>Par<span>ticipation</span></span></p>

<p class="MsoNormal"><span lang="RU"><a href="http://wollic.org/" target="_blank"><span lang="EN-US">WoLLIC</span></a></span><span lang="EN-US">&nbsp;</span><span lang="EN-US">is an annual
international forum on inter-disciplinary research involving formal logic,
computing and programming theory, and natural language and reasoning. Each
meeting includes invited talks and tutorials as well as contributed papers. The
nineteenth WoLLIC will be held at the University of Buenos Aires, Argentina, from September 3rd to 7th, 2012<span>.</span></span><span lang="EN-US"></span></p>

<p class="MsoNormal"><span lang="EN-US">Invited Speakers</span><span lang="EN-US"></span></p>

<p class="MsoNormal"></p>
<p class="MsoNormal">

Andrea Asperti (Bologna)</p>
<p class="MsoNormal">Hans van Ditmarsch(Sevilla)</p>

<p class="MsoNormal">Laura Kallmeyer (D&uuml;selldorf)</p>
<p class="MsoNormal">

George Metcalfe (Nashville)</p>
<p class="MsoNormal">Anca Muscholl (Bordeaux)</p>

<p class="MsoNormal">Andre Nies (Auckland)</p>
<p class="MsoNormal">

Peter Selinger (Halifax)</p>
<p class="MsoNormal">Nicole Schweikardt (Frankfurt)</p>

<p></p>

<p class="MsoNormal"><span lang="EN-US">P</span><span lang="EN-US">roceedings</span><span lang="EN-US"> of WoLLIC 2012, including
both invited and contributed papers, will be published<span> </span></span><span lang="EN-US">in advance of
the meeting as</span><span lang="EN-US"> </span><span lang="EN-US">volume <span>7456&nbsp;</span>in Springer's</span><span lang="EN-US">&nbsp;</span><span lang="RU"><a href="http://www.springer.com/lncs" target="_blank"><span lang="EN-US">LNCS</span></a></span><span lang="EN-US">&nbsp;</span><span lang="EN-US">series. </span><span lang="EN-US">The list of contributed papers can be found here:</span><span lang="EN-US">&nbsp;</span><a href="http://www.glyc.dc.uba.ar/wollic12/call-for-papers.php" target="_blank">http://www.glyc.dc.uba.ar/wollic12/call-for-papers.php</a></p>

<p class="MsoNormal"><span lang="EN-US">In addition, abstracts will appear
in the Conference Report section of the</span><span lang="EN-US">&nbsp;Logic
Journal of the IGPL</span><span lang="EN-US">, and selected contributions will be published as a
special post-conference WoLLIC 2012 issue of the</span><span lang="EN-US">&nbsp;T</span><span lang="RU"><span lang="EN-US">heoretical Computer Science</span></span><span lang="EN-US">.</span></p>

<p><span><span lang="EN-US">Registration</span><span lang="EN-US"> </span></span></p>

<p><span><span lang="EN-US">Early registration
deadline is July 8, see&nbsp;</span></span><span><a href="http://www.glyc.dc.uba.ar/wollic12/registration.php" target="_blank">http://www.glyc.dc.uba.ar/wollic12/registration.php</a></span></p>

<p class="MsoNormal"><span><span lang="EN-US">Programme Committee</span></span><span><span lang="EN-US"></span></span></p>

<span></span>

<p class="MsoNormal"></p>
<p class="MsoNormal">

Carlos Areces (Cordoba)&nbsp;</p>
<p class="MsoNormal">Marcelo Arenas (Santiago)</p>

<p class="MsoNormal">Steve Awodey (Pittsburgh)&nbsp;</p>
<p class="MsoNormal">

Ver&oacute;nica Becher (Buenos Aires)&nbsp;</p>
<p class="MsoNormal">Patrick Blackburn (Roskilde)&nbsp;</p>

<p class="MsoNormal">Maribel Fernandez (London)&nbsp;</p>
<p class="MsoNormal">

Santiago Figueira (Buenos Aires)&nbsp;</p>
<p class="MsoNormal">Marcelo Finger (S&atilde;o Paulo)&nbsp;</p>

<p class="MsoNormal">Marcelo Fiore (Cambridge)&nbsp;</p>
<p class="MsoNormal">

Yuxi Fu (Shanghai)&nbsp;</p>
<p class="MsoNormal">Rosalie Iemhoff (Utrecht)&nbsp;</p>

<p class="MsoNormal">Neil Immerman (Amherst)</p>
<p class="MsoNormal">

Jean-Pierre Jouannaud (Paris)&nbsp;</p>
<p class="MsoNormal">Makoto Kanazawa (Tokyo)&nbsp;</p>

<p class="MsoNormal">Delia Kesner (Paris)&nbsp;</p>
<p class="MsoNormal">

Dexter Kozen (Ithaca)&nbsp;</p>
<p class="MsoNormal">Martin Lange (Kassel)</p>

<p class="MsoNormal">Benedikt L&ouml;we (Amsterdam)&nbsp;</p>
<p class="MsoNormal">

Dag Normann (Oslo)</p>
<p class="MsoNormal">Luke Ong (Oxford) (CHAIR)</p>

<p class="MsoNormal">Erik Palmgren (Uppsala)&nbsp;</p>
<p class="MsoNormal">

Sylvain Salvati (Bordeaux)</p>
<p class="MsoNormal">Philippe Schnoebelen (Cachan)&nbsp;</p>

<p class="MsoNormal">Fernando Souza (Recife)&nbsp;</p>
<p class="MsoNormal">

Kazushige Terui (Kyoto)</p>
<p></p>

<p class="MsoNormal"><span lang="EN-US">Steering Committee</span><span lang="EN-US"></span></p>

<p class="MsoNormal"><span lang="EN-US">Samson Abramksy, Johan van
Benthem, Anuj Dawar, Joe Halpern, Wilfrid Hodges, Daniel Leivant, Angus
Macintyre, Grigori Mints, Hiroakira Ono, Ruy de Queiroz.</span></p>

<p class="MsoNormal"><span lang="EN-US">Organising Committee</span><span lang="EN-US"></span></p>

<p class="MsoNormal"><span lang="EN-US">Carlos Areces&nbsp;(U Nacional Cordoba) (co-chair) (Local co-chair)&nbsp;</span></p>

<p class="MsoNormal"><span>Santiago Figueira (U Buenos Aires) (Local co-chair)&nbsp;</span></p>
<p class="MsoNormal">

<span>Javier Legris (U Buenos Aires)&nbsp;</span></p>
<p class="MsoNormal"><span lang="RU"><span lang="EN-US"><span><span lang="RU"><span lang="EN-US">Anjolina G. de Oliveira</span></span><span lang="EN-US">&nbsp;</span><span lang="EN-US">(U Fed Pernambuco)</span><span lang="EN-US">&nbsp;</span></span></span></span></p>

<p class="MsoNormal"><span lang="RU"><span lang="EN-US">Ruy de Queiroz</span></span><span lang="EN-US">&nbsp;</span><span lang="EN-US">(U Fed Pernambuco) (co-chair)</span><span lang="EN-US">&nbsp;</span><br></p>

<p class="MsoNormal"><span lang="EN-US">Further information</span><span lang="EN-US"><br>
Contact one of the Co-Chairs of the Organising Committee.</span></p>

<p class="MsoNormal"><span lang="EN-US">Web page</span><span lang="EN-US"> </span><span lang="RU"><a href="http://wollic.org/wollic2012/" target="_blank"><span lang="EN-US">http://wollic.org/wollic2012/</span></a></span><span lang="EN-US">&nbsp;</span><span lang="EN-US"></span></p>

<p class="MsoNormal"><span lang="EN-US">S</span><span lang="EN-US">ponsor<span>s</span></span><span lang="EN-US">&nbsp;<span></span></span></p>

<p class="MsoNormal"><span lang="RU"><a href="http://www.aslonline.org/" target="_blank"><span lang="EN-US">Association
for Symbolic Logic</span></a></span><span lang="EN-US">&nbsp;(ASL), the&nbsp;</span><span lang="RU"><a href="http://www.cin.ufpe.br/~igpl" target="_blank"><span lang="EN-US">Interest Group in Pure and Applied Logics</span></a></span><span lang="EN-US">&nbsp;(IGPL),
</span><span lang="RU"><a href="http://www.folli.org/" target="_blank"><span lang="EN-US">The Association for
Logic, Language and Information</span></a></span><span lang="EN-US">&nbsp;(FoLLI),
the&nbsp;</span><span lang="RU"><a href="http://www.eatcs.org/" target="_blank"><span lang="EN-US">European Association
for Theoretical Computer Science</span></a></span><span lang="EN-US">&nbsp;(EATCS),
the&nbsp;</span><span lang="RU"><a href="http://www.eacsl.org/" target="_blank"><span lang="EN-US">European Association
for Computer Science Logic</span></a></span><span lang="EN-US">&nbsp;(EACSL), the&nbsp;</span><span lang="RU"><a href="http://www.sbc.org.br/" target="_blank"><span lang="EN-US">Sociedade Brasileira de Computa&ccedil;&atilde;o</span></a></span><span lang="EN-US">&nbsp;(SBC),
and the&nbsp;</span><span lang="RU"><a href="http://www.cle.unicamp.br/sbl/" target="_blank"><span lang="EN-US">Sociedade
Brasileira de L&oacute;gica</span></a></span><span lang="EN-US">&nbsp;(SBL).</span><span lang="EN-US"></span></p>
</div>
</div>
<br>
</div>
<br>
</div>
Fokkink, W.J. | 10 Jul 2012 21:30
Picon
Picon

PhD position on Engineering Executable Models of Biological Networks

At the Department of Computer Science at the VU University Amsterdam, a PhD position for four years is
available on a research project devoted to

  Engineering Executable Models of Biological Networks

The project
-----------

The goal of the project is to describe gene regulatory networks by formal interaction patterns/models.
Using these formal models, we aim to derive new insights in the behaviour of gene networks. These models,
ultimately, describe cells' behaviour, and cell components, as independent, communicating entities.
Simulating cell behaviour this way at the same time promises new insights and poses new challenges on the
execution and verification environment due to the complexity, heterogeneity and variability of the
modeled entities.

The work will start with the application of our formal framework using Petri nets to model gene network
behaviour. Additionally, extensions of the framework and new methods and tools for analysis of the
behaviour patterns will be developed.

For more detailed information on the project, see

  http://www.few.vu.nl/~feenstra/projects/bioexe.pdf

Research groups
---------------

This project is a collaboration between two research groups at the VU: Bioinformatics (Anton Feenstra and
Jaap Heringa) and Theoretical Computer Science (Wan Fokkink). For experimental validation of
predictions, we collaborate with two experimental groups; the group Receptor Systems Biology at the VU
(Martine Smit), and Bertie Göttgens at
the Cambridge Institute for Medical Research.

For more information on the involved research groups, see

  http://www.cs.vu.nl/en/sec/cs/
  http://www.ibi.vu.nl/
  http://www.cs.vu.nl/~tcs

Qualifications
--------------

Candidates should have completed their studies in computer science, bioinformatics or a closely related
area. Experience with biological systems, a good theoretical background, and an open attitude to
applications are considered advantages. You should enjoy working in an internationally oriented and
interdisciplinary research environment. Communicative skills and the ability to work in a team are important.

Information and application
---------------------------

For further information about these positions please contact either:

  Dr. Anton Feenstra     k.a.feenstra <at> vu.nl  tel. +31 (0)20 5987783
  Prof.dr. Wan Fokkink   w.j.fokkink <at> vu.nl   tel. +31 (0)20 5987735
  Prof.dr. Jaap Heringa  j.heringa <at> vu.nl     tel. +31 (0)20 5987649

You are invited to send an application by email to the above email addresses no later than September 1, 2012.
Your application should consist of a cover letter, a curriculum vitae (including detailed information
regarding your academic degree), and the names and addresses of two references.
Barbara KORDY | 14 Jul 2012 08:36
Picon
Favicon

Post-Doc Position in Computer Security at University of Luxembourg

***********Post-Doc Position in Computer Security***********

The University of Luxembourg seeks to hire an outstanding post-doctoral
researcher at its Interdisciplinary Centre for Security, Reliability
and Trust (SnT) (http://wwwen.uni.lu/snt). The successful candidate
will participate in the activities of the SaToSS research group
(http://satoss.uni.lu/) led by Prof. Dr. Sjouke Mauw.

The post-doc will be working on formalizing and applying formal
reasoning to real-world security problems and trust issues. The
research topics will include: security protocols, security modeling,
formal methods for security, socio-technical aspects of security, risk
management, privacy, verification, etc. The position will be partially
funded by an EU project focusing on socio-technical aspects of
security.

The candidate is expected to have:
* A Ph.D. degree in computer science or mathematics
* A proven interest in security
* Strong background in formal methods and logics
* Excellent written and oral English skills

The university offers an initial two year employment that may be
extended up to five years. The successful candidate will be working in
an exciting, international and multicultural environment. The
university offers highly competitive salaries and is an equal
opportunity employer.

Applications should be written in English and include the following
documents:
* Curriculum Vitae (including your contact address, work experience,
  list of publications)
* Cover letter indicating the research area of interest and your
  motivation
* A research statement addressing one or more research topics
  mentioned above (max 1 page)
* Transcript of grades from all master courses taken
* A short description of your Ph.D. work (max 1 page)
* Contact information for 3 referees

Applications should be submitted electronically via the University of
Luxembourg's recruitment portal http://emea3.mrted.ly/1h9r

Deadline for applications:
August 31, 2012

For further inquiries please contact:
Prof. Dr. Sjouke Mauw (sjouke.mauw <at> uni.lu) or
Dr. Barbara Kordy (barbara.kordy <at> uni.lu)

<div>
<div>***********Post-Doc Position in Computer Security***********≤br><br>
The University of Luxembourg seeks to hire an outstanding post-doctoral<br>
researcher at its Interdisciplinary Centre for Security, Reliability<br>
and Trust (SnT) (http://wwwen.uni.lu/snt). The successful candidate<br>
will participate in the activities of the SaToSS research group<br>
(http://satoss.uni.lu/) led by Prof. Dr. Sjouke Mauw.<br><br>
The post-doc will be working on formalizing and applying formal<br>
reasoning to real-world security problems and trust issues. The<br>
research topics will include: security protocols, security modeling,<br>
formal methods for security, socio-technical aspects of security, risk<br>
management, privacy, verification, etc. The position will be partially<br>
funded by an EU project focusing on socio-technical aspects of<br>
security.<br><br>
The candidate is expected to have:<br>
* A Ph.D. degree in computer science or mathematics<br>
* A proven interest in security<br>
* Strong background in formal methods and logics<br>
* Excellent written and oral English skills<br><br>
The university offers an initial two year employment that may be<br>
extended up to five years. The successful candidate will be working in<br>
an exciting, international and multicultural environment. The<br>
university offers highly competitive salaries and is an equal<br>
opportunity employer.<br><br>
Applications should be written in English and include the following<br>
documents:<br>
* Curriculum Vitae (including your contact address, work experience,<br>
&nbsp; list of publications)<br>
* Cover letter indicating the research area of interest and your<br>
&nbsp; motivation<br>
* A research statement addressing one or more research topics<br>
&nbsp; mentioned above (max 1 page)<br>
* Transcript of grades from all master courses taken<br>
* A short description of your Ph.D. work (max 1 page)<br>
* Contact information for 3 referees<br><br>
Applications should be submitted electronically via the University of<br>
Luxembourg's recruitment portal http://emea3.mrted.ly/1h9r<br><br>
Deadline for applications:<br>
August 31, 2012<br><br>
For further inquiries please contact:<br>
Prof. Dr. Sjouke Mauw (sjouke.mauw <at> uni.lu) or<br>
Dr. Barbara Kordy (barbara.kordy <at> uni.lu)<br><br>
</div>
</div>
Cristina | 16 Jul 2012 21:18
Picon

Last Mile, July 25: VALID 2012 || November 18-23, 2012 - Lisbon, Portugal


INVITATION:

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

The submission deadline has been extended to July 25, 2012.

Please consider to contribute to and/or forward to the appropriate groups the following opportunity to
submit and publish original scientific results to VALID 2012.

In addition, authors of selected papers will be invited to submit extended article versions to one of the
IARIA Journals: http://www.iariajournals.org

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

============== VALID 2012 | Call for Papers ===============

CALL FOR PAPERS, TUTORIALS, PANELS

VALID 2012, The Fourth International Conference on Advances in System Testing and Validation Lifecycle
November 18-23, 2012 - Lisbon, Portugal

General page: http://www.iaria.org/conferences2012/VALID12.html

Call for Papers: http://www.iaria.org/conferences2012/CfPVALID12.html

- regular papers
- short papers (work in progress)
- posters

Submission page: http://www.iaria.org/conferences2012/SubmitVALID12.html

Submission deadline: July 25, 2012

Sponsored by IARIA, www.iaria.org

Extended versions of selected papers will be published in IARIA Journals: http://www.iariajournals.org

Please note the Poster and Work in Progress options.

The topics suggested by the conference can be discussed in term of concepts, state of the art, research,
standards, implementations, running experiments, applications, and industrial case studies.

Authors are invited to submit complete unpublished papers, which are not under review in any other
conference or journal in the following, but not limited to, topic areas.

All tracks are open to both research and industry contributions, in terms of Regular papers, Posters, Work
in progress, Technical/marketing/business presentations, Demos, Tutorials, and Panels.

Before submission, please check and comply with the Editorial rules: http://www.iaria.org/editorialrules.html

VALID 2012 Topics (topics and submission details: see CfP on the site)

Robust design methodologies
Designing methodologies for robust systems; Secure software techniques; Industrial real-time
software; Defect avoidance; Cost models for robust systems; Design for testability; Design for
reliability and variability; Design for adaptation and resilience; Design for fault-tolerance and
fast recovery; Design for manufacturability, yield and reliability; Design for testability in the
context of model-driven engineering

Vulnerability discovery and resolution
Vulnerability assessment; On-line error detection; Vulnerabilities in hardware security;
Self-calibration; Alternative inspections; Non-intrusive vulnerability discovery methods;
Embedded malware detection

Defects and Debugging
Debugging techniques; Component debug; System debug; Software debug; Hardware debug; System debug;
Power-ground defects; Full-open defects in interconnecting lines; Physical defects in memories and
microprocessors; Zero-defect principles

Diagnosis
Diagnosis techniques; Advances in silicon debug and diagnosis; Error diagnosis; History-based
diagnosis; Multiple-defect diagnosis; Optical diagnostics; Testability and diagnosability;
Diagnosis and testing in mo bile environments

System and feature testing
Test strategy for systems-in-package; Testing embedded systems; Testing high-speed systems; Testing
delay and performance; Testing communication traffic and QoS/SLA metrics; Testing robustness;
Software testing; Hardware testing; Supply-chain testing; Memory testing; Microprocessor testing;
Mixed-signal production test; Testing multi-voltage domains; Interconnection and compatibility testing

Testing techniques and mechanisms
Fundamentals for digital and analog testing; Emerging testing methodologies; Engineering test
coverage; Designing testing suites; Statistical testing; Functional testing; Parametric testing;
Defect- and data-driven testing; Automated testing; Embedded testing; Autonomous self-testing; Low
cost testing; Optimized testing; Testing systems and devices; Test standards

Testing of wireless communications systems
Testing of mobile wireless communication systems; Testing of wireless sensor networks; Testing of
radio-frequency identification systems; Testing of ad-hoc networks; Testing methods for emerging
standards; Hardware-based prototyping of wireless communication systems; Physical layer
performance verification; On-chip testing of wireless communication systems; Modeling and
simulation of wireless channels; Noise characterization and validation; Case studies and industrial
applications of test instruments;

Software verification and validation
High-speed interface verification and fault-analysis; Software testing theory and practice;
Model-based testing; Verification metrics; Service/application specific testing; Model checking;
OO software testing; Testing embedded software; Quality assurance; Empirical studies for
verification and validation; Software inspection techniques; Software testing tools; New approaches
for software reliability verification and validation

Testing and validation of run-time evolving systems
Automated testing for run-time evolving systems; Testing and validation of evolving systems; Testing
and validation of self-controlled systems; Testing compile-time versus run-time dependency for
evolving systems; On-line validation and testing of evolving at run-time systems; Modeling for
testability of evolving at run-time systems; Near real-time and real-time monitoring of run-time
evolving systems; Verification and validation of reflective models for testing; Verification and
validation of fault tolerance in run-time evolving systems

Feature-oriented testing
Testing user interfaces and user-driven features; Privacy testing; Ontology accuracy testing; Testing
semantic matching; Testing certification processes; Testing authentication mechanisms; Testing
biometrics methodologies and mechanisms; Testing cross-nation systems; Testing system
interoperability; Testing system safety; Testing system robustness; Testing temporal constraints;
Testing transaction-based properties; Directed energy test capabilities /microwave, laser, etc./;
Testing delay and latency metrics

Domain-oriented testing
Testing autonomic and autonomous systems;  Testing intrusion prevention systems; Firewall testing; 
Information assurance testing; Testing social network systems; Testing recommender systems; Testing
biometric systems;  Testing diagnostic systems; Testing on-line systems; Testing financial systems;
Testing life threatening systems; Testing emergency systems; Testing sensor-based systems;  Testing
testing systems

================================================
 IARIA Publicity Board
----------------------------- 
Jerome Leroux | 17 Jul 2012 18:12
Picon

[Reachability Problems 2012] CALL FOR INFORMAL PRESENTATIONS / CALL FOR PARTICIPATION

[We apologize for multiple copies.]

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

             CALL FOR INFORMAL PRESENTATIONS
  	       
                CALL FOR PARTICIPATION

			RP 2012

    6th International Workshop on Reachability Problem 
                 September 17 - 19 2012

                      Bordeaux, FR

                 http://rp12.labri.fr/
================================================================

AIMS AND OBJECTIVES
===================
The Reachability Workshop is specifically aimed at gathering
together scholars from diverse disciplines and backgrounds
interested in reachability problems that appear in
- Algebraic structures
- Computational models
- Hybrid systems
- Logic
- Verification

FORMAT
======

RP 2012 is the 6th international workshop on reachability
problems. The program consists in 4 invited papers, 8 regular
papers, and informal presentations (that will not be published 
in the proceedings). The call for regular papers
is closed and the list of accepted papers is available on the
RP 2012 webpage.

The call for informal presentations is still open. Authors must
send a 4-page abstract (and possibly a more longer paper). It 
is allowed (and encouraged) to send results that have been published
at other conferences. Note that informal presentations are
eligible for a journal special issue.

IMPORTANT DATES
===============

Deadline for 4-pages abstracts: August 12, 2012
Notification of acceptance: August 19, 2012
Workshop: September 17,18,19, 2012.
Deadline for early registration: August 27, 2012 

SUBMISSION
==========

Papers should be submitted by email to: 
finkel <at> lsv.ens-cachan.fr

PROGRAM COMMITTEE
=================

Davide Ancona, Genova
Bernard Boigelot, Liege
Olivier Bournez, Palaiseau
Cristian S. Calude, Auckland
Giorgio Delzanno, Genova
Javier Esparza, München
Alain Finkel, Cachan
Vesa Halava, Turku
Juhani Karhumäki, Turku
Alexander Kurz, Leicester
Kim G. Larsen, Aalborg
Jerome Leroux, Bordeaux
Richard Mayr, Edinburgh
Alexei Lisitsa, Liverpool
Igor Potapov, Liverpool
Jean-Francois Raskin, Bruxels
Sylvain Schmitz, Cachan
Wolfgang Thomas, Aachen
James Worrell, Oxford
Hsu-Chun Yen, Taipei
Gianluigi Zavattaro, Bologna

ORGANIZING COMMITTEE
====================

- Alain Finkel, Cachan
- Jérôme Leroux, Bordeaux
- Igor Potapov, Liverpool

CONTACTS
========

E-mail: leroux <at> labri.fr, finkel <at> lsv.ens-cachan.fr, potapov <at> liverpool.ac.uk
Web: http://rp12.labri.fr


Gmane