************************************************************************
CiE13 CALL FOR PAPERS AND SPECIAL AWARDS:
CiE 2013: The Nature of Computation:
Logic, Algorithms, Applications
Milan, Italy
July 1 - 5, 2013
http://cie2013.disco.unimib.it
IMPORTANT DATES:
Submission Deadline for LNCS: 20 January 2013
Notification of authors: 4 March 2013
Deadline for final revisions: 1 April 2013
CiE 2013 is the ninth conference organised by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world. Previous meetings have taken place in Amsterdam (2005),
Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte
Dalgada (2010), Sofia (2011) and Cambridge (2012).
The Nature of Computation is meant to emphasize the special focus of CIE13
on the unexpected and strong changes that studies on Nature have
brought in several areas of mathematics, biology, physics, and computer
science. Starting from Alan Turing, research on Nature with a
computational perspective has produced novel contributions, giving
rise even to new disciplines.
AWARDS:
Springer-Verlag has graciously funded two awards that will be given during
the CiE 2013 Conference.
Best student paper:
This prize will be awarded for the best student paper presented at CiE
2013, as judged by the Program Committee. A prize of 500 euros will be
given to the author(s) of the best student-authored paper (or split
between more than one paper if there is a tie). In order to be considered,
a paper has to be submitted in the category 'Regular paper (eligible for
best student paper award)' on EasyChair. Papers are eligible if all of its
authors are full-time students at the time of submission.
Best paper on Natural Computing:
The prize consists of the four volumes of the Handbook of Natural
Computing (see http://cie2013.disco.unimib.it/awards/).
This prize will be awarded to the best paper on Natural Computing
presented at CiE 2013, as judged by the Program Committee.
A paper is eligible if its main topic falls within the scope of Natural
Computing, roughly defined as the set of fields studied in the above
handbook. The Program Committee is the only judge of the relevance of a
paper within the Natural Computing scope. The authors of a paper eligible
for the award must indicate this in the submission notes.
INVITED SPEAKERS
Ulle Endriss (University of Amsterdam)
Lance Fortnow (Georgia Institute of Technology)
Anna Karlin (University of Washington)
Bernard Moret (Ecole Polytechnique Federale de Lausanne)
Mariya Soskova (Sofia University)
Endre Szemeredi (Hungarian Academy of Sciences, Rutgers University)
TUTORIAL SPEAKERS
Gilles Brassard (Universite de Montreal)
Grzegorz Rozenberg (Leiden Institute of Advanced Computer Science and
University of Colorado at Boulder)
SPECIAL SESSIONS on
Algorithmic Randomness
organizers: Mathieu Hoyrup, Andre Nies
Data Streams and Compression
organizers: Paolo Ferragina, Andrew McGregor
Computational Complexity in the Continuous World
organizers: Akitoshi Kawamura, Robert Rettinger
Computational Molecular Biology
organizers: Alessandra Carbone, Jens Stoye
Computation in Nature
organizers: Mark Delay, Natasha Jonoska
History of Computation
organizers: Gerard Alberts, Liesbeth De Mol
PROGRAM COMMITTEE:
* Gerard Alberts (Amsterdam) * Luis Antunes (Porto)
* Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris)
* Paola Bonizzoni (Milan, co-chair) * Vasco Brattka (Munich and Cape
Town, co-chair)
* Cameron Buckner (Houston TX) * Bruno Codenotti (Pisa)
* Stephen Cook (Toronto ON) * S Barry Cooper (Leeds)
* Ann Copestake (Cambridge) * Erzsebet Csuhaj-Varju (Budapest)
* Anuj Dawar (Cambridge) * Gianluca Della Vedova (Milan)
* Liesbeth De Mol (Gent) * Jerome Durand-Lose (Orleans)
* Viv Kendon (Leeds) * Bjoern Kjos-Hanssen (Honolulu, HI)
* Antonina Kolokolova (St. John's NF) * Benedikt Loewe (Amsterdam)
* Giancarlo Mauri (Milan) * Rolf Niedermeier (Berlin)
* Geoffrey Pullum (Edinburgh) * Nicole Schweikardt (Frankfurt)
* Sonja Smets (Amsterdam) * Susan Stepney (York)
* S. P. Suresh (Chennai) * Peter van Emde Boas (Amsterdam)
The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in
PDF format, max 10 pages using the LNCS style) for presentation at CiE
2013.
The submission site https://www.easychair.org/conferences/?conf=cie2013 is
open.
We particularly invite papers that build bridges between different
parts of the research community.
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
Contact: Paola Bonizzoni - bonizzoni at disco.unimib.it
Website: http://cie2013.disco.unimib.it
************************************************************************
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2012-12-23
[Caml-list] TAMC 2013 in Hong Kong: Second Call for Papers
===========================================================================
SECOND CALL FOR PAPERS:
TAMC 2013
The 10th Annual Conference on Theory and Applications of
Models of Computation
Hong Kong, China, 20-22 May 2013
http://www.cs.hku.hk/tamc2013/
===========================================================================
The 10th Annual Conference on Theory and Application of Models of
Computation (TAMC 2013 http://www.cs.hku.hk/tamc2013/) will be held in
Hong Kong, China, from May 20 to May 22, 2013. TAMC aims at bringing
together a wide range of researchers with interests in computational
theory and applications.
Hong Kong is situated on China's south coast and is famous for its
skyline. Hong Kong was a colony of the British Empire until 1997 when it
was returned to China. It now thrives under the principle of "one country,
two systems", enjoying a high degree of authority and independent
judiciary. Hong Kong is often described as "East meets West" and is one of
the world's leading international financial centers.
Come and visit Asia's vibrant world city
(www.discoverhongkong.com/eng/index.jsp) and join the conference at the
University of Hong Kong (according to 2012 QS World University Rankings
HKU ranked 23rd in the world and 1st in Asia).
The main themes of the conference are computability, complexity, and
algorithms. Typical but not exclusive topics of interest include:
algebraic computation
algorithmic coding theory
algorithmic number theory
approximation algorithms
automata theory
circuit complexity
computability theory
computational biology, and biological computing
computational complexity
computational game theory
computational logic
computational geometry
continuous and real computation
cryptography
data structures
design and analysis of algorithms
distributed algorithms
fixed parameter tractability
graph algorithms
information and communication complexity
learning theory
natural computation
network algorithms, networks in nature and society
online algorithms
optimization
parallel algorithms
privacy and security
property testing
proof complexity
quantum computing
randomness, pseudo-randomness
randomized algorithms
streaming algorithms
IMPORTANT DATES -
Submission deadline : 11:59 pm EST January 11, 2013
Notification of authors : February 22, 2013
Final versions deadline : March 8, 2013
Submission page:
https://www.easychair.org/conferences/?conf=tamc2013.
Conference Chair:
Francis Chin (The University of Hong Kong)
Program Chair:
Lap Chi Lau (The Chinese University of Hong Kong)
Luca Trevisan (Stanford University)
Program Committee:
Andrej Bogdanov (The Chinese University of Hong Kong)
Hubert Chan (University of Hong Kong)
Ho-Lin Chen (National Taiwan University)
Jianer Chen (Texas A&M University)
Ning Chen (Nanyang Technological University)
Wei Chen (Microsoft Research Asia)
Xi Chen (Columbia University)
Francis Chin (The University of Hong Kong, Chair)
Marek Chrobak (UC Riverside)
Nicola Galesi (Universita di Roma La Sapienza)
Naveen Garg (IIT Dehli)
Navin Goyal (Microsoft Research India)
Nick Harvey (University of British Columbia)
Rahul Jain (National University of Singapore)
David Jao (University of Waterloo)
Ken-ichi Kawarabayashi (National Institute of Informatics, Japan)
Jochen Konemann (University of Waterloo)
Amit Kumar (IIT Delhi)
Lap Chi Lau (The Chinese University of Hong Kong, Co-chair)
Jian Li (Tsinghua University)
Rachel Lin (MIT and The Chinese University of Hong Kong)
Pinyan Lu (Microsoft Research Asia)
Mohammad Mahdian (Google Research)
Seffi Naor (Technion University)
Krzysztof Onak (IBM Research)
Periklis Papakonstantinou (Tsinghua University)
Seth Pettie (University of Michigan)
Atri Rudra (University at Buffalo, The State University of New York)
Alexander Russell (University of Connecticut)
Piotr Sankowski (University of Warsaw)
Rahul Santhanam (University of Edinburgh)
Anastasios Sidiropoulos (UIUC)
Mohit Singh (Microsoft Research Redmond)
Man Cho Anthony So (The Chinese University of Hong Kong)
John Steinberger (Tsinghua University)
Luca Trevisan (Stanford University, Co-chair)
Laszlo Vegh (London School of Economics)
David Woodruff (IBM Research)
Ke Yi (Hong Kong University of Science and Technology)
Qin Zhang (IBM Research and Indiana University)
Submission instructions:
* Authors should submit an extended abstract (not a full paper), online
at: https://www.easychair.org/conferences/?conf=tamc2013
* The submission should contain a scholarly exposition of ideas,
techniques, and results, including motivation and a clear comparison with
related work.
* The length of the extended abstract should not exceed ten (10)
letter-sized pages (not including bibliography and appendices.)
* Submitted papers must describe work not previously published. They must
not be submitted simultaneously to another conference with refereed
proceedings.
* Research that is already submitted to a journal may be submitted to
TAMC13, provided that (a) the PC chair is notified in advance that this is
the case, and (b) it is not scheduled for journal publication before the
conference.
Proceedings:
The TAMC proceedings will be published in the Lecture Notes in Computer
Science Series by Springer (http://www.springer.com/lncs).
Authors of accepted papers are expected to present their work at the
conference.
Special issues of the leading journals 'Theoretical Computer Science' and
'Mathematical Structures in Computer Science', devoted to a selected set
of accepted papers of the conference, are planned.
Steering Committee:
Manindra Agrawal (Indian Institute of Technology, Kanpur, India)
Jin-Yi Cai (University of Wisconsin - Madison, USA)
S. Barry Cooper (University of Leeds, Leeds, UK)
John Hopcroft (Cornell University)
Angsheng Li (Chinese Academy of Sciences)
Local Organising Committee:
Hubert Chan, H.F. Ting, Zhang Yong
===========================================================================
Contact: tamc@cs.hku.hk
===========================================================================
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
SECOND CALL FOR PAPERS:
TAMC 2013
The 10th Annual Conference on Theory and Applications of
Models of Computation
Hong Kong, China, 20-22 May 2013
http://www.cs.hku.hk/tamc2013/
===========================================================================
The 10th Annual Conference on Theory and Application of Models of
Computation (TAMC 2013 http://www.cs.hku.hk/tamc2013/) will be held in
Hong Kong, China, from May 20 to May 22, 2013. TAMC aims at bringing
together a wide range of researchers with interests in computational
theory and applications.
Hong Kong is situated on China's south coast and is famous for its
skyline. Hong Kong was a colony of the British Empire until 1997 when it
was returned to China. It now thrives under the principle of "one country,
two systems", enjoying a high degree of authority and independent
judiciary. Hong Kong is often described as "East meets West" and is one of
the world's leading international financial centers.
Come and visit Asia's vibrant world city
(www.discoverhongkong.com/eng/index.jsp) and join the conference at the
University of Hong Kong (according to 2012 QS World University Rankings
HKU ranked 23rd in the world and 1st in Asia).
The main themes of the conference are computability, complexity, and
algorithms. Typical but not exclusive topics of interest include:
algebraic computation
algorithmic coding theory
algorithmic number theory
approximation algorithms
automata theory
circuit complexity
computability theory
computational biology, and biological computing
computational complexity
computational game theory
computational logic
computational geometry
continuous and real computation
cryptography
data structures
design and analysis of algorithms
distributed algorithms
fixed parameter tractability
graph algorithms
information and communication complexity
learning theory
natural computation
network algorithms, networks in nature and society
online algorithms
optimization
parallel algorithms
privacy and security
property testing
proof complexity
quantum computing
randomness, pseudo-randomness
randomized algorithms
streaming algorithms
IMPORTANT DATES -
Submission deadline : 11:59 pm EST January 11, 2013
Notification of authors : February 22, 2013
Final versions deadline : March 8, 2013
Submission page:
https://www.easychair.org/conferences/?conf=tamc2013.
Conference Chair:
Francis Chin (The University of Hong Kong)
Program Chair:
Lap Chi Lau (The Chinese University of Hong Kong)
Luca Trevisan (Stanford University)
Program Committee:
Andrej Bogdanov (The Chinese University of Hong Kong)
Hubert Chan (University of Hong Kong)
Ho-Lin Chen (National Taiwan University)
Jianer Chen (Texas A&M University)
Ning Chen (Nanyang Technological University)
Wei Chen (Microsoft Research Asia)
Xi Chen (Columbia University)
Francis Chin (The University of Hong Kong, Chair)
Marek Chrobak (UC Riverside)
Nicola Galesi (Universita di Roma La Sapienza)
Naveen Garg (IIT Dehli)
Navin Goyal (Microsoft Research India)
Nick Harvey (University of British Columbia)
Rahul Jain (National University of Singapore)
David Jao (University of Waterloo)
Ken-ichi Kawarabayashi (National Institute of Informatics, Japan)
Jochen Konemann (University of Waterloo)
Amit Kumar (IIT Delhi)
Lap Chi Lau (The Chinese University of Hong Kong, Co-chair)
Jian Li (Tsinghua University)
Rachel Lin (MIT and The Chinese University of Hong Kong)
Pinyan Lu (Microsoft Research Asia)
Mohammad Mahdian (Google Research)
Seffi Naor (Technion University)
Krzysztof Onak (IBM Research)
Periklis Papakonstantinou (Tsinghua University)
Seth Pettie (University of Michigan)
Atri Rudra (University at Buffalo, The State University of New York)
Alexander Russell (University of Connecticut)
Piotr Sankowski (University of Warsaw)
Rahul Santhanam (University of Edinburgh)
Anastasios Sidiropoulos (UIUC)
Mohit Singh (Microsoft Research Redmond)
Man Cho Anthony So (The Chinese University of Hong Kong)
John Steinberger (Tsinghua University)
Luca Trevisan (Stanford University, Co-chair)
Laszlo Vegh (London School of Economics)
David Woodruff (IBM Research)
Ke Yi (Hong Kong University of Science and Technology)
Qin Zhang (IBM Research and Indiana University)
Submission instructions:
* Authors should submit an extended abstract (not a full paper), online
at: https://www.easychair.org/conferences/?conf=tamc2013
* The submission should contain a scholarly exposition of ideas,
techniques, and results, including motivation and a clear comparison with
related work.
* The length of the extended abstract should not exceed ten (10)
letter-sized pages (not including bibliography and appendices.)
* Submitted papers must describe work not previously published. They must
not be submitted simultaneously to another conference with refereed
proceedings.
* Research that is already submitted to a journal may be submitted to
TAMC13, provided that (a) the PC chair is notified in advance that this is
the case, and (b) it is not scheduled for journal publication before the
conference.
Proceedings:
The TAMC proceedings will be published in the Lecture Notes in Computer
Science Series by Springer (http://www.springer.com/lncs).
Authors of accepted papers are expected to present their work at the
conference.
Special issues of the leading journals 'Theoretical Computer Science' and
'Mathematical Structures in Computer Science', devoted to a selected set
of accepted papers of the conference, are planned.
Steering Committee:
Manindra Agrawal (Indian Institute of Technology, Kanpur, India)
Jin-Yi Cai (University of Wisconsin - Madison, USA)
S. Barry Cooper (University of Leeds, Leeds, UK)
John Hopcroft (Cornell University)
Angsheng Li (Chinese Academy of Sciences)
Local Organising Committee:
Hubert Chan, H.F. Ting, Zhang Yong
===========================================================================
Contact: tamc@cs.hku.hk
===========================================================================
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2012-12-20
[Caml-list] HLPP2013 Paris July2013: Second Call for Papers
International Symposium on High-level Parallel Programming and Applications
https://sites.google.com/site/hlpp2013/ Gaétan Hains, Professor of Computer Science
Université Paris-Est & EXQIM SAS Paris
+33 (0)1 45 17 65 95 gaetan.hains@u-pec.fr
Université Paris-Est & EXQIM SAS Paris
+33 (0)1 45 17 65 95 gaetan.hains@u-pec.fr
[Caml-list] integrated Formal Methods (iFM 2013): Last Call for Papers
LAST CALL FOR PAPERS
**********************************************************************
10th International Conference on integrated Formal Methods (iFM 2013)
June 10 - 14, 2013 - Turku, Finland
http://www.it.abo.fi/iFM2013/
**********************************************************************
IMPORTANT DATES
- Abstract Submission: January 10, 2013
- Paper submission: January 17, 2013
- Paper notification: March 11, 2013
- Final version paper: March 31, 2013
OBJECTIVES AND SCOPE
Applying formal methods may involve modeling different aspects of a
system which are best expressed using different formalisms.
Correspondingly, different analysis techniques may be used to examine
different system views, different kinds of properties, or simply in
order to cope with the sheer complexity of the system. The iFM
conference series seeks to further research into hybrid approaches to
formal modeling and analysis; i.e., the combination of (formal and
semi-formal) methods for system development, regarding modeling and
analysis, and covering all aspects from language design through
verification and analysis techniques to tools and their integration
into software engineering practice.
Areas of interest include but are not limited to:
- Formal and semiformal modelling notations;
- Integration of formal methods into software engineering practice;
- Refinement;
- Theorem proving;
- Tools;
- Logics;
- Model checking;
- Model transformations;
- Semantics;
- Static Analysis;
- Type Systems;
- Verification;
- Case Studies;
- Experience reports
INVITED SPEAKERS
iFM 2013 will have the following keynote speakers:
- Jean-Raymond Abrial, Marseille, France: From Z to B and then Event-B: Assigning Proofs to Meaningful Programs
- Susanne Graf, VERIMAG, France: Integrating Distributed Control over Systems with Priorities
- Cosimo Laneve, University of Bologna, Italy: An Algebraic Theory for Web Services Contracts
- Kim Larsen, Aalborg University, Denmark: Statistical Model Checking with Priced Timed Automata
SPECIAL ISSUES
To celebrate the 10th edition of iFM, there will be special issues of
the Springer journals
- Formal Aspects of Computing
- Software and Systems Modeling
The best papers from iFM 2013 will be invited for these special
issues, complemented by an open call for papers, and undergo a
separate peer-review process according to the usual scientific
standards of these journals.
WORKSHOPS AND TUTORIALS
There will be two days of workshops and tutorials before the iFM
conference. The conference will take place June 12-14, 2013 and the
tutorials and workshops June 10-11, 2013. We are happy to announce the
following workshops and tutorials that will accompany iFM 2013:
- CompMod 2013: The 4th International Workshop on Computational Models for Cell Processes
Website: http://combio.abo.fi/compmod13/
Organiser: Ion Petre, Åbo Akademi University, Finland
- The 11th Overture Workshop
Website: http://wiki.overturetool.org/index.php/11th_Overture_Workshop
Organisers: Stefan Hallerstede, Aarhus University, Denmark and Ken Pierce, University of Newcastle, UK
- Rodin User and Developer Workshop 2013
Website: http://wiki.event-b.org/index.php/Rodin_Workshop_2013
Organisers: Michael Butler, University of Southampton; Stefan Hallerstede, Aarhus University; Thierry Lecomte, ClearSy; Michael Leuschel, University of Düsseldorf; Alexander Romanovsky, University of Newcastle; Laurent Voisin, Systerel; Marina Walden, Åbo Akademi University
- FMDEP 2013: Workshop on Formal Methods for Dependable Computer-Based Systems
Website: to be announced
Organisers: Jüri Vain, Tallinn University of Technology, Estonia and Leonidas Tsiopoulos, Åbo Akademi University, Finland
- BCS FACS 2013 Refinement Workshop 2013
Website: http://www.refinenet.org.uk/ref13/cfp.html
Organisers: Eerke Boiten, University of Kent, UK; John Derrick, University of Sheffield, UK; Steve Reeves, University of Waikato, NZ
- Tutorial: Specification and Proof of Programs with Frama-C
Organizers: Nikolai Kosmatov, Virgile Prevosto, and Julien Signoles (Software Safety Laboratory, CEA LIST)
SUBMISSION GUIDELINES
iFM 2013 solicits high quality papers reporting research results
and/or experience reports related to the overall theme of method
integration. The conference proceedings will be published in
Springer's Lecture Notes in Computer Science series. All submissions
must be original, unpublished, and not submitted for publication
elsewhere. Submissions must be in PDF format, using the Springer LNCS
style files; we suggest to use the LaTeX2e package (the llncs.cls
class file, available in llncs2e.zip and the typeinst.dem available
in typeinst.zip as a template for your contribution). Papers should
not exceed 15 pages in length. Each paper will undergo a thorough
review process. Submissions should be made using the iFM 2013
Easychair web site:
https://www.easychair.org/account/signin.cgi?conf=ifm2013
All accepted papers must be presented at the conference. Their authors
must be prepared to sign a copyright transfer statement. At least one
author of each accepted paper must register to the conference by the
early date, to be indicated by the organizers, and present the paper.
iFM PROGRAMME COMMITTEE CHAIRS:
- Einar Broch Johnsen, University of Oslo, Norway
- Luigia Petre, Åbo Akademi University, Finland
iFM 2013 TUTORIALS and WORKSHOPS CHAIR
Pontus Boström, Åbo Akademi University, Finland
iFM 2013 ORGANIZING COMMITTEE CHAIR
Luigia Petre, Åbo Akademi University, Finland
PROGRAM COMMITTEE
- Erika Abraham, RWTH Aachen University, Germany;
- Elvira Albert, Complutense University of Madrid, Spain;
- Marcello Bonsangue, Leiden University, the Netherlands;
- Phillip J Brooke, Teesside University, UK;
- Ana Cavalcanti, University of York, UK;
- Dave Clarke, Catholic University of Leuven, Belgium;
- John Derrick, Unversity of Sheffield, UK;
- Jin Song Dong, National University of Singapore, Singapore;
- Kerstin Eder, University of Bristol, UK;
- John Fitzgerald, Newcastle University, UK;
- Andy Galloway, University of York, UK;
- Marieke Huisman, University of Twente, the Netherlands;
- Reiner Hähnle, Technical University of Darmstadt, Germany;
- Einar Broch Johnsen, University of Oslo, Norway;
- Peter Gorm Larsen, Aarhus University, Denmark;
- Diego Latella, ISTI-CNR, Pisa, Italy;
- Michael Leuschel, University of Duesseldorf, Germany;
- Shaoying Liu, Hosei University, Japan;
- Michele Loreti, University of Florence, Italy;
- Dominique Mery, LORIA and University of Lorraine, France;
- Stephan Merz, INRIA Lorraine, France;
- Richard Paige, University of York, UK;
- Luigia Petre, Åbo Akademi University, Finland;
- Kristin Yvonne Rozier, NASA Ames Research Center, USA;
- Philipp Ruemmer, Uppsala University, Sweden;
- Thomas Santen, European Microsoft Innovation Center, Germany;
- Ina Schaefer, Technical University of Braunschweig, Germany;
- Steve Schneider, University of Surrey, UK;
- Emil Sekerinski, McMaster University, Canada;
- Graeme Smith, University of Queensland, Australia;
- Colin Snook, University of Southampton, UK;
- Kenji Taguchi, AIST, Japan;
- Helen Treharne, University of Surrey, UK;
- Heike Wehrheim, University of Paderborn, Germany;
- Herbert Wiklicky, Imperial College, UK;
- Gianluigi Zavattaro, University of Bologna, Italy
**********************************************************************
This call for papers and additional information about the conference
can be found at http://www.it.abo.fi/iFM2013
For information regarding the conference you can contact:
ifm2013@abo.fi
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
**********************************************************************
10th International Conference on integrated Formal Methods (iFM 2013)
June 10 - 14, 2013 - Turku, Finland
http://www.it.abo.fi/iFM2013/
**********************************************************************
IMPORTANT DATES
- Abstract Submission: January 10, 2013
- Paper submission: January 17, 2013
- Paper notification: March 11, 2013
- Final version paper: March 31, 2013
OBJECTIVES AND SCOPE
Applying formal methods may involve modeling different aspects of a
system which are best expressed using different formalisms.
Correspondingly, different analysis techniques may be used to examine
different system views, different kinds of properties, or simply in
order to cope with the sheer complexity of the system. The iFM
conference series seeks to further research into hybrid approaches to
formal modeling and analysis; i.e., the combination of (formal and
semi-formal) methods for system development, regarding modeling and
analysis, and covering all aspects from language design through
verification and analysis techniques to tools and their integration
into software engineering practice.
Areas of interest include but are not limited to:
- Formal and semiformal modelling notations;
- Integration of formal methods into software engineering practice;
- Refinement;
- Theorem proving;
- Tools;
- Logics;
- Model checking;
- Model transformations;
- Semantics;
- Static Analysis;
- Type Systems;
- Verification;
- Case Studies;
- Experience reports
INVITED SPEAKERS
iFM 2013 will have the following keynote speakers:
- Jean-Raymond Abrial, Marseille, France: From Z to B and then Event-B: Assigning Proofs to Meaningful Programs
- Susanne Graf, VERIMAG, France: Integrating Distributed Control over Systems with Priorities
- Cosimo Laneve, University of Bologna, Italy: An Algebraic Theory for Web Services Contracts
- Kim Larsen, Aalborg University, Denmark: Statistical Model Checking with Priced Timed Automata
SPECIAL ISSUES
To celebrate the 10th edition of iFM, there will be special issues of
the Springer journals
- Formal Aspects of Computing
- Software and Systems Modeling
The best papers from iFM 2013 will be invited for these special
issues, complemented by an open call for papers, and undergo a
separate peer-review process according to the usual scientific
standards of these journals.
WORKSHOPS AND TUTORIALS
There will be two days of workshops and tutorials before the iFM
conference. The conference will take place June 12-14, 2013 and the
tutorials and workshops June 10-11, 2013. We are happy to announce the
following workshops and tutorials that will accompany iFM 2013:
- CompMod 2013: The 4th International Workshop on Computational Models for Cell Processes
Website: http://combio.abo.fi/compmod13/
Organiser: Ion Petre, Åbo Akademi University, Finland
- The 11th Overture Workshop
Website: http://wiki.overturetool.org/index.php/11th_Overture_Workshop
Organisers: Stefan Hallerstede, Aarhus University, Denmark and Ken Pierce, University of Newcastle, UK
- Rodin User and Developer Workshop 2013
Website: http://wiki.event-b.org/index.php/Rodin_Workshop_2013
Organisers: Michael Butler, University of Southampton; Stefan Hallerstede, Aarhus University; Thierry Lecomte, ClearSy; Michael Leuschel, University of Düsseldorf; Alexander Romanovsky, University of Newcastle; Laurent Voisin, Systerel; Marina Walden, Åbo Akademi University
- FMDEP 2013: Workshop on Formal Methods for Dependable Computer-Based Systems
Website: to be announced
Organisers: Jüri Vain, Tallinn University of Technology, Estonia and Leonidas Tsiopoulos, Åbo Akademi University, Finland
- BCS FACS 2013 Refinement Workshop 2013
Website: http://www.refinenet.org.uk/ref13/cfp.html
Organisers: Eerke Boiten, University of Kent, UK; John Derrick, University of Sheffield, UK; Steve Reeves, University of Waikato, NZ
- Tutorial: Specification and Proof of Programs with Frama-C
Organizers: Nikolai Kosmatov, Virgile Prevosto, and Julien Signoles (Software Safety Laboratory, CEA LIST)
SUBMISSION GUIDELINES
iFM 2013 solicits high quality papers reporting research results
and/or experience reports related to the overall theme of method
integration. The conference proceedings will be published in
Springer's Lecture Notes in Computer Science series. All submissions
must be original, unpublished, and not submitted for publication
elsewhere. Submissions must be in PDF format, using the Springer LNCS
style files; we suggest to use the LaTeX2e package (the llncs.cls
class file, available in llncs2e.zip and the typeinst.dem available
in typeinst.zip as a template for your contribution). Papers should
not exceed 15 pages in length. Each paper will undergo a thorough
review process. Submissions should be made using the iFM 2013
Easychair web site:
https://www.easychair.org/account/signin.cgi?conf=ifm2013
All accepted papers must be presented at the conference. Their authors
must be prepared to sign a copyright transfer statement. At least one
author of each accepted paper must register to the conference by the
early date, to be indicated by the organizers, and present the paper.
iFM PROGRAMME COMMITTEE CHAIRS:
- Einar Broch Johnsen, University of Oslo, Norway
- Luigia Petre, Åbo Akademi University, Finland
iFM 2013 TUTORIALS and WORKSHOPS CHAIR
Pontus Boström, Åbo Akademi University, Finland
iFM 2013 ORGANIZING COMMITTEE CHAIR
Luigia Petre, Åbo Akademi University, Finland
PROGRAM COMMITTEE
- Erika Abraham, RWTH Aachen University, Germany;
- Elvira Albert, Complutense University of Madrid, Spain;
- Marcello Bonsangue, Leiden University, the Netherlands;
- Phillip J Brooke, Teesside University, UK;
- Ana Cavalcanti, University of York, UK;
- Dave Clarke, Catholic University of Leuven, Belgium;
- John Derrick, Unversity of Sheffield, UK;
- Jin Song Dong, National University of Singapore, Singapore;
- Kerstin Eder, University of Bristol, UK;
- John Fitzgerald, Newcastle University, UK;
- Andy Galloway, University of York, UK;
- Marieke Huisman, University of Twente, the Netherlands;
- Reiner Hähnle, Technical University of Darmstadt, Germany;
- Einar Broch Johnsen, University of Oslo, Norway;
- Peter Gorm Larsen, Aarhus University, Denmark;
- Diego Latella, ISTI-CNR, Pisa, Italy;
- Michael Leuschel, University of Duesseldorf, Germany;
- Shaoying Liu, Hosei University, Japan;
- Michele Loreti, University of Florence, Italy;
- Dominique Mery, LORIA and University of Lorraine, France;
- Stephan Merz, INRIA Lorraine, France;
- Richard Paige, University of York, UK;
- Luigia Petre, Åbo Akademi University, Finland;
- Kristin Yvonne Rozier, NASA Ames Research Center, USA;
- Philipp Ruemmer, Uppsala University, Sweden;
- Thomas Santen, European Microsoft Innovation Center, Germany;
- Ina Schaefer, Technical University of Braunschweig, Germany;
- Steve Schneider, University of Surrey, UK;
- Emil Sekerinski, McMaster University, Canada;
- Graeme Smith, University of Queensland, Australia;
- Colin Snook, University of Southampton, UK;
- Kenji Taguchi, AIST, Japan;
- Helen Treharne, University of Surrey, UK;
- Heike Wehrheim, University of Paderborn, Germany;
- Herbert Wiklicky, Imperial College, UK;
- Gianluigi Zavattaro, University of Bologna, Italy
**********************************************************************
This call for papers and additional information about the conference
can be found at http://www.it.abo.fi/iFM2013
For information regarding the conference you can contact:
ifm2013@abo.fi
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2012-12-19
[Caml-list] Call for Workshops: Conf. Intelligent Computer Mathematics (CICM 2013)
CICM 2013 - Conference on Intelligent Computer Mathematics
July 8-12, 2012 at the University of Bath, UK
http://www.cicm-conference.org/2013
Call for Workshop Proposals
----------------------------------------------------------------------
As computers and communications technology advance, greater
opportunities arise for intelligent mathematical computation. While
computer algebra, automated deduction, mathematical publishing and
novel user interfaces individually have long and successful histories,
we are now seeing increasing opportunities for synergy among these
areas.
Workshop proposals for CICM 2013 are solicited. Both well-established
workshops and newer or brand new ones are encouraged.
Please provide the following information:
+ Workshop title.
+ Names and affiliations of organizers.
+ Brief description of workshop goals and/or topics.
+ Proposed workshop duration (half a day up to two days is possible).
+ If the workshop has met previously, please include the conference
affiliation for the previous meeting. If the workshop is new,
please indicate so.
CICM conference fees will be levied on a per-day basis, so that
workshop-only participation is possible. The CICM organizers plan to
make available a small amount towards partial reimbursement for travel
expenses of invited speakers. Also, CICM will take care of copying and
distributing informal printed proceedings for workshops that would
like this service, as well as permanently archived open access online
proceedings with CEUR-WS.org.
All proposals should be sent via email to
cicm-organizers@jacobs-university.de
for consideration by the CICM 2013 organizers:
James Davenport (University of Bath, UK): Conference Chair
Jacques Carette (McMaster University, Canada): Program Chair
David Aspinall (University of Edinburgh, Scotland): MKM Track Chair
Christoph Lange (Univ of Birmingham, UK): System & Projects Track Chair
Petr Sojka (Masaryk University, CZ): DML Track Chair
Wolfgang Windsteiger (RISC, Austria): Calculemus Track Chair
Important dates:
Deadline for proposal submissions: January 28, 2013
Acceptance/rejection notification: February 8, 2013
Workshop dates: July 8-12, 2013
-----------------------------------------------------------------------
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
July 8-12, 2012 at the University of Bath, UK
http://www.cicm-conference.org/2013
Call for Workshop Proposals
----------------------------------------------------------------------
As computers and communications technology advance, greater
opportunities arise for intelligent mathematical computation. While
computer algebra, automated deduction, mathematical publishing and
novel user interfaces individually have long and successful histories,
we are now seeing increasing opportunities for synergy among these
areas.
Workshop proposals for CICM 2013 are solicited. Both well-established
workshops and newer or brand new ones are encouraged.
Please provide the following information:
+ Workshop title.
+ Names and affiliations of organizers.
+ Brief description of workshop goals and/or topics.
+ Proposed workshop duration (half a day up to two days is possible).
+ If the workshop has met previously, please include the conference
affiliation for the previous meeting. If the workshop is new,
please indicate so.
CICM conference fees will be levied on a per-day basis, so that
workshop-only participation is possible. The CICM organizers plan to
make available a small amount towards partial reimbursement for travel
expenses of invited speakers. Also, CICM will take care of copying and
distributing informal printed proceedings for workshops that would
like this service, as well as permanently archived open access online
proceedings with CEUR-WS.org.
All proposals should be sent via email to
cicm-organizers@jacobs-university.de
for consideration by the CICM 2013 organizers:
James Davenport (University of Bath, UK): Conference Chair
Jacques Carette (McMaster University, Canada): Program Chair
David Aspinall (University of Edinburgh, Scotland): MKM Track Chair
Christoph Lange (Univ of Birmingham, UK): System & Projects Track Chair
Petr Sojka (Masaryk University, CZ): DML Track Chair
Wolfgang Windsteiger (RISC, Austria): Calculemus Track Chair
Important dates:
Deadline for proposal submissions: January 28, 2013
Acceptance/rejection notification: February 8, 2013
Workshop dates: July 8-12, 2013
-----------------------------------------------------------------------
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
[Caml-list] PLPV 2013 call for participation
You are cordially invited to participate in the Seventh ACM SIGPLAN
Workshop on
Programming Languages meets Program Verification
Date: 22 January 2013
Location: Rome, in conjunction with POPL 2013
Program : http://plpv.tcs.ifi.lmu.de/
Edwin Brady will talk at 10:30am on
Idris: General Purpose Programming with Dependent Types
Further, we have 7 contributed talks on verification of programming
languages, complexity and security, and functional reactive programming.
Early registration until 31 December 2012!
Best regards,
Andreas Abel and Tim Sheard
--
Andreas Abel <>< Du bist der geliebte Mensch.
Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY
andreas.abel@ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Workshop on
Programming Languages meets Program Verification
Date: 22 January 2013
Location: Rome, in conjunction with POPL 2013
Program : http://plpv.tcs.ifi.lmu.de/
Edwin Brady will talk at 10:30am on
Idris: General Purpose Programming with Dependent Types
Further, we have 7 contributed talks on verification of programming
languages, complexity and security, and functional reactive programming.
Early registration until 31 December 2012!
Best regards,
Andreas Abel and Tim Sheard
--
Andreas Abel <>< Du bist der geliebte Mensch.
Theoretical Computer Science, University of Munich
Oettingenstr. 67, D-80538 Munich, GERMANY
andreas.abel@ifi.lmu.de
http://www2.tcs.ifi.lmu.de/~abel/
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2012-12-11
[Caml-list] CiE 2013 in Milan - Awards and 2nd Call for Papers
************************************************************************
CiE13 CALL FOR PAPERS AND SPECIAL AWARDS:
CiE 2013: The Nature of Computation:
Logic, Algorithms, Applications
Milan, Italy
July 1 - 5, 2013
http://cie2013.disco.unimib.it
IMPORTANT DATES:
Submission Deadline for LNCS: 20 January 2013
Notification of authors: 4 March 2013
Deadline for final revisions: 1 April 2013
CiE 2013 is the ninth conference organised by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world. Previous meetings have taken place in Amsterdam (2005),
Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte
Dalgada (2010), Sofia (2011) and Cambridge (2012).
The Nature of Computation is meant to emphasize the special focus of CIE13
on the unexpected and strong changes that studies on Nature have
brought in several areas of mathematics, biology, physics, and computer
science. Starting from Alan Turing, research on Nature with a
computational perspective has produced novel contributions, giving
rise even to new disciplines.
AWARDS:
Springer-Verlag has graciously funded two awards that will be given during
the CiE 2013 Conference.
Best student paper:
This prize will be awarded for the best student paper presented at CiE
2013, as judged by the Program Committee. A prize of 500 euros will be
given to the author(s) of the best student-authored paper (or split
between more than one paper if there is a tie). In order to be considered,
a paper has to be submitted in the category 'Regular paper (eligible for
best student paper award)' on EasyChair. Papers are eligible if all of its
authors are full-time students at the time of submission.
Best paper on Natural Computing:
The prize consists of the four volumes of the Handbook of Natural
Computing (see http://cie2013.disco.unimib.it/awards/).
This prize will be awarded to the best paper on Natural Computing
presented at CiE 2013, as judged by the Program Committee.
A paper is eligible if its main topic falls within the scope of Natural
Computing, roughly defined as the set of fields studied in the above
handbook. The Program Committee is the only judge of the relevance of a
paper within the Natural Computing scope. The authors of a paper eligible
for the award must indicate this in the submission notes.
INVITED SPEAKERS
Ulle Endriss (University of Amsterdam)
Lance Fortnow (Georgia Institute of Technology)
Anna Karlin (University of Washington)
Bernard Moret (Ecole Polytechnique Federale de Lausanne)
Mariya Soskova (Sofia University)
Endre Szemeredi (Hungarian Academy of Sciences, Rutgers University)
TUTORIAL SPEAKERS
Gilles Brassard (Universite de Montreal)
Grzegorz Rozenberg (Leiden Institute of Advanced Computer Science and
University of Colorado at Boulder)
SPECIAL SESSIONS on
Algorithmic Randomness
organizers: Mathieu Hoyrup, Andre Nies
Data Streams and Compression
organizers: Paolo Ferragina, Andrew McGregor
Computational Complexity in the Continuous World
organizers: Akitoshi Kawamura, Robert Rettinger
Computational Molecular Biology
organizers: Alessandra Carbone, Jens Stoye
Computation in Nature
organizers: Mark Delay, Natasha Jonoska
History of Computation
organizers: Gerard Alberts, Liesbeth De Mol
PROGRAM COMMITTEE:
* Gerard Alberts (Amsterdam) * Luis Antunes (Porto)
* Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris)
* Paola Bonizzoni (Milan, co-chair) * Vasco Brattka (Munich and Cape
Town, co-chair)
* Cameron Buckner (Houston TX) * Bruno Codenotti (Pisa)
* Stephen Cook (Toronto ON) * S Barry Cooper (Leeds)
* Ann Copestake (Cambridge) * Erzsebet Csuhaj-Varju (Budapest)
* Anuj Dawar (Cambridge) * Gianluca Della Vedova (Milan)
* Liesbeth De Mol (Gent) * Jerome Durand-Lose (Orleans)
* Viv Kendon (Leeds) * Bjoern Kjos-Hanssen (Honolulu, HI)
* Antonina Kolokolova (St. John's NF) * Benedikt Loewe (Amsterdam)
* Giancarlo Mauri (Milan) * Rolf Niedermeier (Berlin)
* Geoffrey Pullum (Edinburgh) * Nicole Schweikardt (Frankfurt)
* Sonja Smets (Amsterdam) * Susan Stepney (York)
* S. P. Suresh (Chennai) * Peter van Emde Boas (Amsterdam)
The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in
PDF format, max 10 pages using the LNCS style) for presentation at CiE
2013.
The submission site https://www.easychair.org/conferences/?conf=cie2013 is
open.
We particularly invite papers that build bridges between different
parts of the research community.
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
Contact: Paola Bonizzoni - bonizzoni at disco.unimib.it
Website: http://cie2013.disco.unimib.it
************************************************************************
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
CiE13 CALL FOR PAPERS AND SPECIAL AWARDS:
CiE 2013: The Nature of Computation:
Logic, Algorithms, Applications
Milan, Italy
July 1 - 5, 2013
http://cie2013.disco.unimib.it
IMPORTANT DATES:
Submission Deadline for LNCS: 20 January 2013
Notification of authors: 4 March 2013
Deadline for final revisions: 1 April 2013
CiE 2013 is the ninth conference organised by CiE (Computability in
Europe), a European association of mathematicians, logicians, computer
scientists, philosophers, physicists and others interested in new
developments in computability and their underlying significance for the
real world. Previous meetings have taken place in Amsterdam (2005),
Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponte
Dalgada (2010), Sofia (2011) and Cambridge (2012).
The Nature of Computation is meant to emphasize the special focus of CIE13
on the unexpected and strong changes that studies on Nature have
brought in several areas of mathematics, biology, physics, and computer
science. Starting from Alan Turing, research on Nature with a
computational perspective has produced novel contributions, giving
rise even to new disciplines.
AWARDS:
Springer-Verlag has graciously funded two awards that will be given during
the CiE 2013 Conference.
Best student paper:
This prize will be awarded for the best student paper presented at CiE
2013, as judged by the Program Committee. A prize of 500 euros will be
given to the author(s) of the best student-authored paper (or split
between more than one paper if there is a tie). In order to be considered,
a paper has to be submitted in the category 'Regular paper (eligible for
best student paper award)' on EasyChair. Papers are eligible if all of its
authors are full-time students at the time of submission.
Best paper on Natural Computing:
The prize consists of the four volumes of the Handbook of Natural
Computing (see http://cie2013.disco.unimib.it/awards/).
This prize will be awarded to the best paper on Natural Computing
presented at CiE 2013, as judged by the Program Committee.
A paper is eligible if its main topic falls within the scope of Natural
Computing, roughly defined as the set of fields studied in the above
handbook. The Program Committee is the only judge of the relevance of a
paper within the Natural Computing scope. The authors of a paper eligible
for the award must indicate this in the submission notes.
INVITED SPEAKERS
Ulle Endriss (University of Amsterdam)
Lance Fortnow (Georgia Institute of Technology)
Anna Karlin (University of Washington)
Bernard Moret (Ecole Polytechnique Federale de Lausanne)
Mariya Soskova (Sofia University)
Endre Szemeredi (Hungarian Academy of Sciences, Rutgers University)
TUTORIAL SPEAKERS
Gilles Brassard (Universite de Montreal)
Grzegorz Rozenberg (Leiden Institute of Advanced Computer Science and
University of Colorado at Boulder)
SPECIAL SESSIONS on
Algorithmic Randomness
organizers: Mathieu Hoyrup, Andre Nies
Data Streams and Compression
organizers: Paolo Ferragina, Andrew McGregor
Computational Complexity in the Continuous World
organizers: Akitoshi Kawamura, Robert Rettinger
Computational Molecular Biology
organizers: Alessandra Carbone, Jens Stoye
Computation in Nature
organizers: Mark Delay, Natasha Jonoska
History of Computation
organizers: Gerard Alberts, Liesbeth De Mol
PROGRAM COMMITTEE:
* Gerard Alberts (Amsterdam) * Luis Antunes (Porto)
* Arnold Beckmann (Swansea) * Laurent Bienvenu (Paris)
* Paola Bonizzoni (Milan, co-chair) * Vasco Brattka (Munich and Cape
Town, co-chair)
* Cameron Buckner (Houston TX) * Bruno Codenotti (Pisa)
* Stephen Cook (Toronto ON) * S Barry Cooper (Leeds)
* Ann Copestake (Cambridge) * Erzsebet Csuhaj-Varju (Budapest)
* Anuj Dawar (Cambridge) * Gianluca Della Vedova (Milan)
* Liesbeth De Mol (Gent) * Jerome Durand-Lose (Orleans)
* Viv Kendon (Leeds) * Bjoern Kjos-Hanssen (Honolulu, HI)
* Antonina Kolokolova (St. John's NF) * Benedikt Loewe (Amsterdam)
* Giancarlo Mauri (Milan) * Rolf Niedermeier (Berlin)
* Geoffrey Pullum (Edinburgh) * Nicole Schweikardt (Frankfurt)
* Sonja Smets (Amsterdam) * Susan Stepney (York)
* S. P. Suresh (Chennai) * Peter van Emde Boas (Amsterdam)
The PROGRAMME COMMITTEE cordially invites all researchers (European and
non-European) in computability related areas to submit their papers (in
PDF format, max 10 pages using the LNCS style) for presentation at CiE
2013.
The submission site https://www.easychair.org/conferences/?conf=cie2013 is
open.
We particularly invite papers that build bridges between different
parts of the research community.
The CONFERENCE PROCEEDINGS will be published by LNCS, Springer Verlag.
Contact: Paola Bonizzoni - bonizzoni at disco.unimib.it
Website: http://cie2013.disco.unimib.it
************************************************************************
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Subscribe to:
Posts (Atom)