Physics and Computation
2009

September 7-11th 2009
Ponta-Delgada, Azores, Portugal







Recent Changes- Printable Version - Search:



 

Main.HomePage History

Show minor edits - Show changes to output

February 17, 2009, at 11:51 PM by 82.228.106.61 -
Changed line 1 from:
to:
(:title Home Page :)
February 17, 2009, at 11:49 PM by 82.228.106.61 -
Changed line 1 from:
(:title Philosophie de PmWiki:)
to:
February 17, 2009, at 11:48 PM by 82.228.106.61 -
Added lines 1-2:
(:title Philosophie de PmWiki:)
January 07, 2009, at 09:45 AM by 129.104.11.1 -
Changed lines 1-28 from:
4KKgbi <a href="http://zlrzwousudlo.com/">zlrzwousudlo</a>, [url=http://hwugzntcxcsm.com/]hwugzntcxcsm[/url], [link=http://okzgheuhlatl.com/]okzgheuhlatl[/link], http://ijbxltsgkmct.com/
to:
!!! Topics

Physics and computation have interacted from the early days of computing. Ultimately, physics laws permit computation. The aim of the workshop is to bring together researchers with various interests in the area to discuss important issues like fundamental physical limits of computers, chaos and dynamical systems, quantum computers and hypercomputation.

Physics and Computation is a satellite event of [[http://www.uc09.uac.pt/| Unconventional Computation 2009]]

!!! Topics of interest

Topics of interest include (but are not limited to):

* Relativistic Computation
* Quantum Computing and Information
* Molecular Computing and Reaction Diffusion
* Dynamical Systems
* Randomness
* New models of computation
* Cellular automata
* Analog Computation
* Bio-inspired Computing
* Hypercomputation




!!! Previous Workshops

* [[http://www.cs.auckland.ac.nz/CDMTCS/conferences/physicsandcomputation/pc08.html|Physics and Computation 2008]] happened in Vienna as a satellite event of [[http://www.emcc.at/UC2008/|Unconventional Computation 2008]]
January 07, 2009, at 06:39 AM by jypowhs - YNnupBFYUq
Changed lines 1-28 from:
!!! Topics

Physics and computation have interacted from the early days of computing. Ultimately, physics laws permit computation. The aim of the workshop is to bring together researchers with various interests in the area to discuss important issues like fundamental physical limits of computers, chaos and dynamical systems, quantum computers and hypercomputation.

Physics and Computation is a satellite event of [[http://www.uc09.uac.pt/| Unconventional Computation 2009]]

!!! Topics of interest

Topics of interest include (but are not limited to):

* Relativistic Computation
* Quantum Computing and Information
* Molecular Computing and Reaction Diffusion
* Dynamical Systems
* Randomness
* New models of computation
* Cellular automata
* Analog Computation
* Bio-inspired Computing
* Hypercomputation




!!! Previous Workshops

* [[http://www.cs.auckland.ac.nz/CDMTCS/conferences/physicsandcomputation/pc08.html|Physics and Computation 2008]] happened in Vienna as a satellite event of [[http://www.emcc.at/UC2008/|Unconventional Computation 2008]]
to:
4KKgbi <a href="http://zlrzwousudlo.com/">zlrzwousudlo</a>, [url=http://hwugzntcxcsm.com/]hwugzntcxcsm[/url], [link=http://okzgheuhlatl.com/]okzgheuhlatl[/link], http://ijbxltsgkmct.com/
December 12, 2008, at 04:30 PM by 129.104.11.62 -
Added lines 6-7:

!!! Topics of interest
December 12, 2008, at 04:29 PM by 129.104.11.62 -
Added lines 6-20:

Topics of interest include (but are not limited to):

* Relativistic Computation
* Quantum Computing and Information
* Molecular Computing and Reaction Diffusion
* Dynamical Systems
* Randomness
* New models of computation
* Cellular automata
* Analog Computation
* Bio-inspired Computing
* Hypercomputation

December 12, 2008, at 04:26 PM by 129.104.11.1 -
Changed line 5 from:
Physics and Computation is a sattelite event of [[http://www.uc09.uac.pt/| Unconventional Computation 2009]]
to:
Physics and Computation is a satellite event of [[http://www.uc09.uac.pt/| Unconventional Computation 2009]]
December 12, 2008, at 04:19 PM by 129.104.11.1 -
Added lines 4-5:

Physics and Computation is a sattelite event of [[http://www.uc09.uac.pt/| Unconventional Computation 2009]]
December 12, 2008, at 04:10 PM by 129.104.11.1 -
Changed line 8 from:
[[http://www.cs.auckland.ac.nz/CDMTCS/conferences/physicsandcomputation/pc08.html|Physics and Computation 2008]] happened in Vienna as a satellite event of [[http://www.emcc.at/UC2008/|Unconventional Computation 2008]]
to:
* [[http://www.cs.auckland.ac.nz/CDMTCS/conferences/physicsandcomputation/pc08.html|Physics and Computation 2008]] happened in Vienna as a satellite event of [[http://www.emcc.at/UC2008/|Unconventional Computation 2008]]
December 12, 2008, at 04:09 PM by 129.104.11.1 -
Changed lines 1-15 from:
POUR INSTALLATION:
- Copier cp -R SITE-WIKI-MINIMAL NEW-WIKI

- cd NEW-WIKI

- cd pmwiki; chmod a+rwx wiki.d/; chmod a+rwx uploads/Main

!! Page d'instructions pour installation: cf private
[[Private/homepage | Page Privée]]

!! Thèmes Scientifiques

* thème 1
* thème 2
* thème 3
to:
!!! Topics

Physics and computation have interacted from the early days of computing. Ultimately, physics laws permit computation. The aim of the workshop is to bring together researchers with various interests in the area to discuss important issues like fundamental physical limits of computers, chaos and dynamical systems, quantum computers and hypercomputation.


!!! Previous Workshops

[[http://www.cs.auckland.ac.nz/CDMTCS/conferences/physicsandcomputation/pc08.html|Physics and Computation 2008]] happened in Vienna as a satellite event of [[http://www.emcc.at/UC2008/|Unconventional Computation 2008]]
November 12, 2008, at 09:25 PM by 127.0.0.1 -
Changed lines 9-10 from:
[[Private/homepage]]
to:
[[Private/homepage | Page Privée]]
November 12, 2008, at 09:25 PM by 127.0.0.1 -
Changed lines 9-11 from:

http://localhost/~bournez/OFFLINE/SITE-WIKI-MINIMAL/pmwiki/pmwiki.php?n=Private.homepage
to:
[[Private/homepage]]
November 12, 2008, at 09:24 PM by 127.0.0.1 -
Changed lines 8-9 from:

to:
!! Page d'instructions pour installation: cf private

http://localhost/~bournez/OFFLINE/SITE-WIKI-MINIMAL/pmwiki/pmwiki.php?n=Private.homepage
November 12, 2008, at 05:25 PM by 127.0.0.1 -
Changed lines 6-10 from:
- cd pmwiki; chmod a+rwx wiki.d/



to:
- cd pmwiki; chmod a+rwx wiki.d/; chmod a+rwx uploads/Main


November 12, 2008, at 04:43 PM by 127.0.0.1 -
Deleted line 0:
Added line 3:
Added line 5:
Added line 10:
November 12, 2008, at 04:42 PM by 127.0.0.1 -
Added lines 1-8:

POUR INSTALLATION:
- Copier cp -R SITE-WIKI-MINIMAL NEW-WIKI
- cd NEW-WIKI
- cd pmwiki; chmod a+rwx wiki.d/


February 20, 2008, at 04:50 PM by 152.81.12.99 -
Changed lines 3-33 from:
Un des principaux objectifs du projet Carte est la prise en compte de l'adversité potentielle de certains acteurs d'un calcul dont le comportement est inconnu ou incertain. Nous avons appelé cette approche calcul adverse.

!!! Algorithmiques robustes et adverses

Un des enjeux essentiels est de prédire le comportement de calculs adverses, de construire des algorithmes robustes, c’est à dire tolérants aux fautes, prenant en compte des intérêts divergents, et résistants aux attaques à caractère viral.
Une des originalités du projet est de combiner les deux approches suivantes.

* La première approche est l'analyse du comportement d'un système à grande échelle, qui est envisagée par des outils du continu et de la théorie des jeux.
* Dans la seconde approche, les outils envisagés pour construire des défenses proviennent plutôt de la logique, de la réécriture, et plus généralement de la théorie de la programmation.


!!! Modèles de calcul, calculabilité, complexité

Notre inspiration est guidée par plusieurs systèmes et modèles de calcul. Nous nous concentrerons sur trois modèles : modèles inspirés des réseaux, modèles hybrides et continus, et modèles inspirés de la virologie. Dans ce cadre, un de nos objectifs est de comprendre la calculabilité, la complexité et l'algorithmique des modèles étudiés.

!!! Objectifs :

* Théorie de la calculabilité et de la complexité continue
* Théorie algorithmique des jeux et applications aux réseaux
* Preuves coordonnées sur les systèmes formels
* Fondements de la virologie, et étude de mécanismes de défense
* Analyse des ressources, complexité implicite

!! Relations scientifiques et industrielles

* [[http://sogea.loria.fr|ARA SSIA Sogea]]
* ARA SSIA Virus
* Collaborations avec les universités de Turin, Lisbonne, Bloomington (USA), …
* [[http://www.maths.leeds.ac.uk/cie/|Computability in Europe (CiE)]]

to:
* thème 1
* thème 2
* thème 3
October 25, 2007, at 02:17 PM by 152.81.14.145 -
October 25, 2007, at 01:26 PM by 152.81.14.145 -
October 25, 2007, at 10:49 AM by 152.81.10.34 -
Changed lines 30-33 from:
* Collaborations avec l’université de Turin, Lisbonne, Bloomington (USA), …
* Computability in Europe (CIE)

to:
* Collaborations avec les universités de Turin, Lisbonne, Bloomington (USA), …
* [[http://www.maths.leeds.ac.uk/cie/|Computability in Europe (CiE)]]

October 25, 2007, at 10:44 AM by 152.81.114.194 -
Changed line 23 from:
* Fondement de la virologie, et étude de mécanismes de défense
to:
* Fondements de la virologie, et étude de mécanismes de défense
October 25, 2007, at 10:42 AM by 152.81.10.34 -
Changed lines 10-13 from:
* La première approche est l'analyse du comportement d'un système à grande échelle, qui est envisagée par des outils du continu et de la théorie des jeux.
* Dans la seconde approche, les outils envisagés pour construire des défenses proviennent plutôt de la logique, de la réécriture, et plus généralement de la théorie de la programmation.

to:
* La première approche est l'analyse du comportement d'un système à grande échelle, qui est envisagée par des outils du continu et de la théorie des jeux.
* Dans la seconde approche, les outils envisagés pour construire des défenses proviennent plutôt de la logique, de la réécriture, et plus généralement de la théorie de la programmation.

Changed lines 20-25 from:
* Théorie de la calculabilité et de la complexité continue
* Théorie algorithmique des jeux et applications aux réseaux
* Preuves coordonnées sur les systèmes formels
* Fondement de la virologie, et étude de mécanismes de défense
* Analyse des ressources, complexité implicite
to:
* Théorie de la calculabilité et de la complexité continue
* Théorie algorithmique des jeux et applications aux réseaux
* Preuves coordonnées sur les systèmes formels
* Fondement de la virologie, et étude de mécanismes de défense
* Analyse des ressources, complexité implicite
Changed lines 28-33 from:
* [[http://sogea.loria.fr|ARA SSIA Sogea]]
* ARA SSIA Virus
* Collaborations avec l’université de Turin, Lisbonne, Bloomington (USA), …
* Computability in Europe (CIE)

to:
* [[http://sogea.loria.fr|ARA SSIA Sogea]]
* ARA SSIA Virus
* Collaborations avec l’université de Turin, Lisbonne, Bloomington (USA), …
* Computability in Europe (CIE)

October 23, 2007, at 04:07 PM by 152.81.12.99 -
Deleted lines 2-3:
coucou Isabelle
October 23, 2007, at 04:07 PM by 152.81.12.99 -
Added lines 3-4:
coucou Isabelle
October 23, 2007, at 11:59 AM by 152.81.12.99 -
Changed line 28 from:
* ARA SSIA Sogea
to:
* [[http://sogea.loria.fr|ARA SSIA Sogea]]
October 23, 2007, at 11:58 AM by 152.81.12.99 -
Changed lines 26-27 from:
!!! Relations scientifiques et industrielles
to:
!! Relations scientifiques et industrielles
October 23, 2007, at 11:58 AM by 152.81.12.99 -
Changed lines 1-7 from:
Welcome to web pages of project CARTE.

(under construction)

!! Menu

(:include Site.SideBar:)
to:
!! Thèmes Scientifiques

Un des principaux objectifs du projet Carte est la prise en compte de l'adversité potentielle de certains acteurs d'un calcul dont le comportement est inconnu ou incertain. Nous avons appelé cette approche calcul adverse.

!!! Algorithmiques robustes et adverses

Un des enjeux essentiels est de prédire le comportement de calculs adverses, de construire des algorithmes robustes, c’est à dire tolérants aux fautes, prenant en compte des intérêts divergents, et résistants aux attaques à caractère viral.
Une des originalités du projet est de combiner les deux approches suivantes.

* La première approche est l'analyse du comportement d'un système à grande échelle, qui est envisagée par des outils du continu et de la théorie des jeux.
* Dans la seconde approche, les outils envisagés pour construire des défenses proviennent plutôt de la logique, de la réécriture, et plus généralement de la théorie de la programmation.


!!! Modèles de calcul, calculabilité, complexité

Notre inspiration est guidée par plusieurs systèmes et modèles de calcul. Nous nous concentrerons sur trois modèles : modèles inspirés des réseaux, modèles hybrides et continus, et modèles inspirés de la virologie. Dans ce cadre, un de nos objectifs est de comprendre la calculabilité, la complexité et l'algorithmique des modèles étudiés.

!!! Objectifs :

* Théorie de la calculabilité et de la complexité continue
* Théorie algorithmique des jeux et applications aux réseaux
* Preuves coordonnées sur les systèmes formels
* Fondement de la virologie, et étude de mécanismes de défense
* Analyse des ressources, complexité implicite

!!! Relations scientifiques et industrielles

* ARA SSIA Sogea
* ARA SSIA Virus
* Collaborations avec l’université de Turin, Lisbonne, Bloomington (USA), …
* Computability in Europe (CIE)

October 23, 2007, at 11:36 AM by 152.81.12.99 -
Changed line 7 from:
(:include Site.SideBar)
to:
(:include Site.SideBar:)
October 23, 2007, at 11:35 AM by 152.81.12.99 -
Changed line 7 from:
(:include Site.Sidebar)
to:
(:include Site.SideBar)
October 23, 2007, at 11:35 AM by 152.81.12.99 -
Changed line 7 from:
(include: Site.Sidebar)
to:
(:include Site.Sidebar)
October 23, 2007, at 11:35 AM by 152.81.12.99 -
Changed line 7 from:
%include: Site.Sidebar
to:
(include: Site.Sidebar)
October 23, 2007, at 11:34 AM by 152.81.12.99 -
Added lines 5-7:
!! Menu

%include: Site.Sidebar
October 23, 2007, at 11:33 AM by 152.81.12.99 -
Changed lines 1-6 from:
Welcome to the project CARTE.

* qu'est ce qu'on fait quand on est perdu?
* on demande à la carte:

to:
Welcome to web pages of project CARTE.

(under construction)
October 23, 2007, at 11:33 AM by 152.81.12.99 -
Deleted lines 6-16:

A local copy of PmWiki's
documentation has been installed along with the software,
and is available via the [[PmWiki/documentation index]].

To continue setting up PmWiki, see [[PmWiki/initial setup tasks]].

The [[PmWiki/basic editing]] page describes how to create pages
in PmWiki. You can practice editing in the [[wiki sandbox]].

More information about PmWiki is available from http://www.pmwiki.org .
October 23, 2007, at 08:51 AM by 81.56.97.218 -
Changed lines 5-7 from:
son chemin

to:


October 23, 2007, at 08:50 AM by 81.56.97.218 -
Changed lines 5-7 from:


to:
son chemin

October 23, 2007, at 12:16 AM by 81.56.97.218 -
Changed lines 3-4 from:

to:
* qu'est ce qu'on fait quand on est perdu?
* on demande à la carte:


October 23, 2007, at 12:14 AM by 81.56.97.218 -
Changed lines 1-2 from:
Welcome to PmWiki!
to:
Welcome to the project CARTE.


Edit - History - Print - Recent Changes - Search - Edit menu - Private
Page last modified on February 17, 2009, at 11:51 PM