## Main.HomePage History

Hide minor edits - Show changes to output

Deleted lines 8-9:

http://www.agence-nationale-recherche.fr/images/logos/ANR07-120.gif

Changed line 12 from:

[[http://www.agence-nationale-recherche.fr | http://www.agence-nationale-recherche.fr/images/logos/ANR07-120.~~gifâ€śAgence Nationale de la Rechercheâ€ť~~]]

to:

[[http://www.agence-nationale-recherche.fr | http://www.agence-nationale-recherche.fr/images/logos/ANR07-120.gif]]

Changed lines 10-12 from:

http://www.agence-nationale-recherche.fr/images/logos/ANR07-120.~~gifâ€śAgence Nationale de la Rechercheâ€ť~~

[[http://www.agence-nationale-recherche.fr | http://www.agence-nationale-recherche.fr/images/logos/ANR07-120.~~gifâ€śANRâ€ť~~]]

to:

http://www.agence-nationale-recherche.fr/images/logos/ANR07-120.gif

[[http://www.agence-nationale-recherche.fr | http://www.agence-nationale-recherche.fr/images/logos/ANR07-120.gifâ€śAgence Nationale de la Rechercheâ€ť]]

[[http://www.agence-nationale-recherche.fr | http://www.agence-nationale-recherche.fr/images/logos/ANR07-120.gifâ€śAgence Nationale de la Rechercheâ€ť]]

Changed lines 10-12 from:

http://www.agence-nationale-recherche.fr/images/logos/ANR07-~~396~~.~~gifâ€śANRâ€ť~~

[[http://www.agence-nationale-recherche.fr | http://www.agence-nationale-recherche.fr/images/logos/ANR07-~~396~~.gifâ€śANRâ€ť]]

to:

http://www.agence-nationale-recherche.fr/images/logos/ANR07-120.gifâ€śAgence Nationale de la Rechercheâ€ť

[[http://www.agence-nationale-recherche.fr | http://www.agence-nationale-recherche.fr/images/logos/ANR07-120.gifâ€śANRâ€ť]]

[[http://www.agence-nationale-recherche.fr | http://www.agence-nationale-recherche.fr/images/logos/ANR07-120.gifâ€śANRâ€ť]]

Added lines 9-10:

http://www.agence-nationale-recherche.fr/images/logos/ANR07-396.gifâ€śANRâ€ť

Changed line 10 from:

[[http://www.agence-nationale-recherche.fr | http://www.agence-nationale-recherche.fr/images/logos/ANR07-396.~~gifâ€śABRâ€ť~~]]

to:

[[http://www.agence-nationale-recherche.fr | http://www.agence-nationale-recherche.fr/images/logos/ANR07-396.gifâ€śANRâ€ť]]

Added lines 9-10:

[[http://www.agence-nationale-recherche.fr | http://www.agence-nationale-recherche.fr/images/logos/ANR07-396.gifâ€śABRâ€ť]]

Changed line 8 from:

You can [[(Attach:)FREC scientific description | download]] the scientific project description.

to:

You can [[(Attach:)FREC scientific description | download]] the full scientific project description.

Changed line 4 from:

The challenge is to transfer, with effectiveness in mind, results successfully obtained in the context of finite words to these structures, ranging over infinite domains. These extensions are motivated by increasingly important applications, in particular in the fields of verification and computational linguistics. Such structures occur in the real world, for instance as ~~inputs~~ of ~~data processing problems~~, or as ~~behaviors~~ of ~~computer systems~~.

to:

The challenge is to transfer, with effectiveness in mind, results successfully obtained in the context of finite words to these structures, ranging over infinite domains. These extensions are motivated by increasingly important applications, in particular in the fields of verification and computational linguistics. Such structures occur in the real world, for instance as behaviors of computer systems, or as inputs of data processing problems.

Changed line 4 from:

The challenge is to transfer, with effectiveness in mind, results successfully obtained in the context of finite words to these structures, ranging over infinite domains. These extensions are motivated by increasingly important applications, in particular in the fields of verification and computational linguistics. Such structures occur ~~when modeling~~ real~~-world problems~~, for instance as inputs of data processing problems, or as behaviors of computer systems.

to:

The challenge is to transfer, with effectiveness in mind, results successfully obtained in the context of finite words to these structures, ranging over infinite domains. These extensions are motivated by increasingly important applications, in particular in the fields of verification and computational linguistics. Such structures occur in the real world, for instance as inputs of data processing problems, or as behaviors of computer systems.

Changed lines 1-3 from:

The ~~project~~ '''FREC''', Frontiers of recognizability, ~~is funded by~~ the [[http://www.~~agence-nationale-recherche~~.fr~~/~~ | ~~ANR~~]] ~~and involves researchers of the ~~

[[http://www.~~labri~~.fr | ~~LaBRI~~]]~~,~~ the [[http://~~www~~.~~liafa~~.~~jussieu.~~fr | ~~LIAFA~~]]~~ and the [[http://lifc~~.~~univ-fcomte.fr/ | LIFC]].~~

to:

The [[http://www.agence-nationale-recherche.fr/ | ANR]] project '''FREC''', Frontiers of recognizability, involves researchers of the [[http://www.labri.fr | LaBRI]], the [[http://www.liafa.jussieu.fr | LIAFA]] and the [[http://lifc.univ-fcomte.fr/ | LIFC]].

Changed line 10 from:

You can [[(Attach:)FREC | download]] the scientific project description.

to:

You can [[(Attach:)FREC scientific description | download]] the scientific project description.

Changed lines 1-12 from:

A local copy of PmWiki

documentation has been installed along with

and is available via the

To continue setting up PmWiki, see

The

in PmWiki. You can practice editing in the [[wiki sandbox]].

More information about PmWiki is available from http://www.pmwiki.org

to:

The project '''FREC''', Frontiers of recognizability, is funded by the [[http://www.agence-nationale-recherche.fr/ | ANR]] and involves researchers of the

[[http://www.labri.fr | LaBRI]], the [[http://www.liafa.jussieu.fr | LIAFA]] and the [[http://lifc.univ-fcomte.fr/ | LIFC]].

Its goal is to push further the frontiers of recent developments in the theory of automata and recognizability to more complex and realistic structures: '''trees, Î»-terms and models of quantitative automata'''.

The challenge is to transfer, with effectiveness in mind, results successfully obtained in the context of finite words to these structures, ranging over infinite domains. These extensions are motivated by increasingly important applications, in particular in the fields of verification and computational linguistics. Such structures occur when modeling real-world problems, for instance as inputs of data processing problems, or as behaviors of computer systems.

Our strategy is to exploit and expand the most recent developments of the theory of recognizable languages of finite words, of an algebraic and topological nature, as a guide and a blueprint for the construction of the theory of more complex structures required in applications.

You can [[(Attach:)FREC | download]] the scientific project description.

[[http://www.labri.fr | LaBRI]], the [[http://www.liafa.jussieu.fr | LIAFA]] and the [[http://lifc.univ-fcomte.fr/ | LIFC]].

Its goal is to push further the frontiers of recent developments in the theory of automata and recognizability to more complex and realistic structures: '''trees, Î»-terms and models of quantitative automata'''.

The challenge is to transfer, with effectiveness in mind, results successfully obtained in the context of finite words to these structures, ranging over infinite domains. These extensions are motivated by increasingly important applications, in particular in the fields of verification and computational linguistics. Such structures occur when modeling real-world problems, for instance as inputs of data processing problems, or as behaviors of computer systems.

Our strategy is to exploit and expand the most recent developments of the theory of recognizable languages of finite words, of an algebraic and topological nature, as a guide and a blueprint for the construction of the theory of more complex structures required in applications.

You can [[(Attach:)FREC | download]] the scientific project description.