- January 28, 2008: Course for PhD students at CoSBi - Trento, Italy
The Microsoft Research - University of Trento Centre for Computational and Systems Biology (CoSBi) organizes a course for PhD students, advanced master students, early stage postdocs and interested junior researchers on methods and recent results on different aspects of computational and systems biology. Students with both experimental and computational/mathematical background are encouraged to apply.
Dates: 10-14 March, 2008
Place: CoSBi, Trento, Italy
Applications are accepted at with poster abstracts.
Registration fee with lodging: 550 Euros, without lodging: 470 Euros, which includes participation in course, reading materials, coffee breaks, lunches, snacks during poster sessions and gala dinner.
Registration deadline: 5th February 2008.
- January 9, 2007 Workhsop on Bio-Inspired Computational Methods Used for Difficult Problems Solving. Development of Intelligent and Complex Systems"
You are invited to send a paper at the international workshop: “Bio-Inspired Computational Methods Used for Difficult Problems Solving. Development of Intelligent and Complex Systems” November 5-7, Tg. Mures, Romania . The workshop will be held at Petru Maior University.
There will not be registration Fee. The extended abstracts of the papers will published in the Petru Maior University Press. Selected papers will be published in a journal. If you are interested in the topic of the workshop, please announce the paper that you want to present. Please specify the title of the paper and the authors. In the case of each author specify scientific title of the author, the university where he belong and the author's homepage.
Please send the required informations at both specified e-mail addresses until 21.december.2007. Initially there are necessary just these informations. Abouth the papers sending deadline you will be informed.
If do you have any question please do not hesitate to ask (please send the e-mail at both e-mail addresses).
With best regards, Barna Iantovics
- November 7, 2007: PhD position available in France
Title: Effective chemical programming for autonomic systems
Subject: The chemical reaction metaphor describes
computation in terms of a chemical solution in which molecules
(representing data) interact freely according to reaction rules.
Formally, chemical programs can be represented as
associative-commutative rewritings (reactions) of multisets (chemical
This model of computation is well-suited to the specification of
complex computing infrastructures such as large autonomic, Grids and
P2P systems. In particular, the orderless interactions between elements
that occur in large parallel or open systems as well as autonomicity
(e.g. self-healing, self-protection, self-optimization, etc.) are
naturally expressed as reaction rules. However, the very high-level
nature of chemical programming entails also drawbacks:
- A direct and naive implementation of chemical programs usually leads to very poor performance.
- The multiset is a general, flexible but also unstructured data
structure. It does not provide a neighborhood relationship useful to
represent logical or physical constraints (spatial distribution,
localization of resources).
The goal of the thesis is to address these drawbacks. Several research
directions are promising: richer types and data structures,
domain-specific languages, topology, aspect and validated
Types may be used to structure multisets and describe neighborhood
relationships. Domain specific chemical languages allowing an efficient
implementation might be sufficiently expressive. It is also possible to
extend chemical languages to directly handle organization more
sophisticated than multiset. Topological spaces would enable the
unification in a same programming language of several computational
models. Describing separately implementation issues (such as the
evaluation strategy or data representations) in Aspects is a promising
approach to produce more low-level and efficient programs. Formal
techniques developed in mobile code or in concurrency can be used to
validate a distributed implementation.
The choice among these different research directions will be based upon the background and desires of the PhD student.
Context: The PhD is supported
by AutoChem, a French national project investigating the use of the
Chemical paradigm to program complex computing infrastructures such as
Grids and real-time deeply-embedded systems.
The consortium includes teams from Irisa (Rennes), Inria Rhone Alpes
(Montbonnot), IBISC (Evry) and CEA List (Saclay). The thesis will be
co-located and will involve travels between Grenoble and Evry.
Required Skills: Candidates
should have a Master's or engineering diploma in computer science. A
good knowledge and/or interest in programming languages and formal
methods is desired.
Pascal Fradet, PopArt Team, INRIA Grenoble, France, Pascal.Fradet@inria.fr
Jean-Louis Giavitto, LIS Team, Ibisc Evry, France, email@example.com
Jean-Pierre Banatre, Pascal Fradet, and Daniel Le Métayer. Gamma
and the chemical reaction model: fifteen years after. In Multiset
Processing. Springer-Verlag, LNCS, Vol. 2235, 2001.
Jean-Pierre Banatre, Pascal Fradet and Yann Radenac. Programming
Self-Organizing Systems with the Higher-Order Chemical Language. In
International Journal of Unconventional Computing, 2006.
Jean-Louis Giavitto, Olivier Michel. Modeling Developmental Process. In
Molecular Computational Models: Unconventional Approaches, Idea Group
Publishing, page 150--189, 2004.
Jean-Louis Giavitto, Olivier Michel and Julien Cohen. Pattern-matching
and Rewriting Rules for Group Indexed Data Structure. ACM SIG-PLAN
Notices, Vol. 37, n°12, p. 76--87, 2002.
- September 20, 2007: Postdoc position available in UK
One PostDoc position for three years is available in UK on
Theoretical Computer Science. Information can be found at the web
The deadline for application is October 2, 2007.
People interested in working at Edinburgh on Membrane Computing should contact Pierluigi Frisco (see e-mail address in Addresses page).
- June 22, 2007: One studentship open to UK or EU candidates ONLY is available from October 2007
for three years. This covers fees plus a stipend at the EPSRC national minimum
rate (12,600 GBP/yr for 2007-8).
DEADLINE for proposal is July 15, 2007
Heriot-Watt University (www.hw.ac.uk), located on an attractive campus at the
edge of Edinburgh, has a strong record in Computer Science research, receiving
a 4A in the UK 2001 Research Assessment Exercise. Recent new appointments have
enabled both consolidation of current activity in logics, type theory and
intelligent systems and the development of new strong groups in synthetic
Potential candidates should have a research proposal in one of the following
specific areas relating to the six research groups in Computer Science at
Heriot-Watt. Please see http://www.macs.hw.ac.uk/cs/resareas/index.htm for
further details of research groups.
Research areas (see http://www.macs.hw.ac.uk/cs/resareas/index.htm):
VISAGE: synthetic characters, affective systems, interactive narrative,
graphics textures, interactive educational systems
ULTRA: computerisation of mathematics, types and rewriting in programming
languages and mobility calculi, types in logic and theorem proving
Intelligent Systems Lab: membrane computing, ambient intelligence,
artificial immune systems, artificial neural networks, evolutionary computing
Dependable Systems Group: formally-motivated computing, systems modelling,
programming languages, automated reasoning, parallel/distributed/mobile systems
Biomedical informatics: distributed intelligent systems, biomedical
representation/reasoning with spatio-temporal data, argumentation systems
People interested in Membrane Computing area should first contact Pierluigi Frisco (see e-mail address in Addresses page).
To apply, please send your CV, research proposal and the names of two academic
referees to: firstname.lastname@example.org with a short covering email which must indicate
which research group and specified research area your proposal covers
- April 12, 2007: Submission
deadline for WMC8 has been extended to april 23, 2007
- February 8, 2007: PhD and Post-doc positions
concerning P-systems are available at the University of Nottingham,
- November 17, 2006: A new list of Open Problems in Membrane
A new list of open problems, proposed by Gheorghe Paun,
concerning Spiking Neural P systems is available. See
the Open Problems page.
- May 24, 2006 - BIC-TA 2006
submission deadline extended to June 22, 2006
The submission deadline for BIC-TA 2006 (Bio-inpired
computing: theory and applications) has been extended to June 12,
2006. For more information concerning the conference and for submission
instructions see http://bmchust.3322.org/bicta/
- May 16, 2006 - Workshop on
Membrane Computing 2006 (WMC7)
submission deadline extended to May 29, 2006
The submission deadline for
the WMC7 conference has been extended to May 29, 2006. Following this
extension, notification of acceptance will be postponed on (June 22,
2006). Please notice that, for printing timing reasons, the deadline
receiving the revised final version of paper will not be postponed
(June 30, 2006). See details at WMC7
- April 28, 2006 - Workshop MeCBIC
submission deadline extended to May 7, 2006
The submission deadline for the Workshop on Membrane
Computing and Biologically Inspired Process Calculi (MeCBIC) has been
extended to May 7,
2006. For more information concerning the conference and for submission
instructions see http://www.bio.disco.unimib.it/MeCBIC
- April 21, 2006 – Positions available at TUCS, Finland
Two positions to be filled either on the level of PhD student,
or postdoc, are available at the Computational Biomodelling Laboratory,
Turku Centre for Computer Science, Finland. The application procedure
goes through TUCS, see details at http://www.tucs.fi/
and the deadline this year is May 10, 2006. Interested people
can contact Dr. Ion Petre (http://www.abo.fi/~ipetre/)
before or after applying at TUCS. We are looking for mathematicians or
computer scientists with a strong interest in problems from, or
motivated by biology and biochemisty. Details on our current projects
are available at http://combio.abo.fi/
- March 15, 2006 - UC 2006
deadline extended to March 26, 2006
The submission deadline for the 5th International Conference
on Unconventional Computation (UC 2006) has been extended to March 26,
2006. For more information concerning the conference and for submission
instructions see http://www.cs.york.ac.uk/nature/uc06/index.php
- March 9, 2006 - New website link to the Computational
The Computational Biomodelling Laboratory at Turku Centre for
Computer Science, Finland has a new website, including publications,
projects, software, etc. The link is http://combio.abo.fi/
- February 27, 2006 - DNA12
deadline extended to March 8, 2006
The submission deadline for the 12th International Meeting
on DNAComputing (DNA 12) has been extended to March 8, 2006. For more
information concerning the conference and for submission instructions
- February 10, 2006 - DLT deadline
extended to February 17, 2006
The submission deadline for the Tenth International
Conference: DEVELOPMENTS IN LANGUAGE THEORY - DLT 2006 has been
extended until February 17, 2006. For more information concerning the
conference and for submission instructions see http://dlt2006.cs.ucsb.edu/
- February 10, 2006 - The volume "Applications of Membrane
Computing" has been published. The information about the book are the
G. Ciobanu, Gh. Paun, M.J. Perez-Jimenez, eds.:
Applications of Membrane Computing,
Springer-Verlag, Berlin, 2006 (Natural Computing Series)
Order link: http://www.springer.com/sgw/cda/frontpage/0,11855,5-156-22-60398121-0,00.html
- January 15, 2006 - PhD scholarship available at the University
of Nottingham, UK: a PhD scholarship is available at the
University of Nottingham, under the supervision of Dr. N. Krasnogor.
The project concerns the use of P-systems to model abiotic cells. Click here for further
- January 15, 2006 - CALL FOR PAPERS Elsevier's Biosystems:
special issue: Membrane Computing applications in Systems
Biology, Miguel Camara, Marian Gheorghe, Natalio Krasnogor (Eds.). See
details at: http://www.cs.nott.ac.uk/~nxk/cfppsystems.pdf
- 31st March : papers submission
- 30th June : review reports
- 31st August : camera ready format
- January 15, 2006 - P system web page mirror: a mirror of
the P system web pages has been activated in China. The web address is:
- December 23, 2005: Workshop on Membrane Computing and
Biologically Inspired Process Calculi at ICALP 2006: A one-day
workshop affiliated to ICALP 2006 is planned for July 2006. The main
subject is the relations between Membrane Computing, proposed by Gh.
Paun, and Brane Calculi, proposed by L. Cardelli. Click here for more
- November 30, 2005: A new subject recently arises in the area
of P systems, which could be of high interest for the P community:
spiking neural P systems. Two downloadable papers are available on
- October 25, 2005: A paper by Oscar H. Ibarra and Gh. Paun
shows a characterization of Context Sensitive languages (and other
language classes) in terms symport/antiport P systems. The paper
is available in the "download papers" page.
- October 12, 2005: Call for Participation to the Fourth
Brainstorming Week on Membrane Computing (Sevilla, Spain, January 30 -
February 3, 2006) available. Click here for
- January 20, 2005: A new list of Open Problem in Membrane
Computing by Gheorghe Paun is available. See
the Open Problems page.
October 21, 2004: The M/2 P Prize has been assigned!
See details in the P prizes page.
October 21, 2004: Recent result confirms the power
of P systems with symport/antiport. In a recent paper, (Gh. Paun,
J. Pazos, M.J. Perez-Jimenez, A. Rodriguez-Paton, Symport/antiport P
systems with three objects are universal) it has been shown that
P system with symport/antiport with a only three objects (and four
membranes) can simulate any counter machine and, hence, such systems
are universal. Systems with two objects can simulate blind counter
machines. The paper is available in the Download
October 14, 2004: Call for Participation to the
Sixth Workshop on Membrane Computing (Vienna, Austria, July 18-21,
2005) available. Click here for more
October 11, 2004: Call for Participation to the
Third Brainstorming Week on Membrane Computing (Sevilla, Spain, January
31 - February 4, 2005) available. Click here
for more information.
October 1, 2004: Daniela Besozzi's Phd thesis "Computational
and modelling power of P systems" has been prized by the
Italian Chapter of EATCS: The PhD thesis of Daniela Besozzi
(Universita' di Milano, Italy) has been prized by the Italian Chapter
of the EATCS as one of the two best italian PhD theses in Computer
Science for the last year. Congratulations to Daniela for her work!
September 28, 2004: A paper by Oscar H. Ibarra
solves deterministic versus nondeterministic problem in P Systems
A new paper by Oscar H. Ibarra solves the deterministic versus
nondeterministic P systems problem, in two rather interesting
cases/modes. The paper can be downloaded in the "download
May 11, 2004: PhD and PostDoc positions in
Biocomputing at Turku Centre for Computer Science
A PhD and a postdoc position in Biocomputing are available at Turku
Centre for Computer Science (http://www.tucs.fi)
in the Department of Computer Science, Abo Akademi University (http://www.cs.abo.fi). The positions,
under the supervision of Dr. Ion Petre (http://ww.abo.fi/~ipetre) are
in the project "Computational processes in living organisms" funded by
Academy of Finland for the period 2004-2007. The PhD position is for a
period of 3 years, starting in September 2004. The postdoc position is
for one year, starting in September 2004, and it can be extended for an
additional year by mutual consent. The subject proposed concerns genome
rearrangements and gene assembly in ciliates (http://users.utu.fi/harju/tohtml.htm).
The candidates must have a solid track record in discrete mathematics
or algorithmics with a strong interest in (but not necessarily any
previous knowledge of) biological issues. The candidate must have
successfuly concluded, or be concluding before July 2004 a degree
(Master for the PhD candidate, PhD for the postdoc candidate),
preferably in mathematics or computer science. No knowledge of Finnish
or Swedish is required.
The interested candidate should send an email to email@example.com with
a CV and a letter of intentions. The complete applications must be sent
to TUCS (check http://ww.tucs.fi for
all requirements), arriving there no later than May 15, 2004.
February 10, 2004: About the discovery of the first
protein channel for water transportation across membranes
A new link concerning the discovery of the first protein channel for
water transportation across membranes has been added to the links page.
The web address is: http://www.ad-astra.ro/benga/
The link contains useful information for people interested in membrane
- January 26, 2004: New forum on Membrane Computing.
The research group on Natural Computing of the University of Sevilla
(Spain) opened a new Internet Forum on P systems. The forum is expected
to be a useful place to circulate ideas, proposals, partial solutions,
draft papers, scientific and organisatorical ideas concerning Membrane
Computing. The web address is the following: http://www.cs.us.es/gcn/foro.htm
Click here to see
a list of Old News previously published in this page
If you have any comment, question or feedback, please contact the webmaster.
Last updated: May 2006