MALOA

From Mathematical Logic To Applications

 Coordinatore UNIVERSITY OF LEEDS 

 Organization address address: WOODHOUSE LANE
city: LEEDS
postcode: LS2 9JT

contact info
Titolo: Ms.
Nome: Kathy
Cognome: Brownridge
Email: send email
Telefono: 441133000000
Fax: 441133000000

 Nazionalità Coordinatore United Kingdom [UK]
 Totale costo 4˙332˙785 €
 EC contributo 4˙332˙785 €
 Programma FP7-PEOPLE
Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)
 Code Call FP7-PEOPLE-ITN-2008
 Funding Scheme MC-ITN
 Anno di inizio 2009
 Periodo (anno-mese-giorno) 2009-10-01   -   2013-09-30

 Partecipanti

# participant  country  role  EC contrib. [€] 
1    UNIVERSITY OF LEEDS

 Organization address address: WOODHOUSE LANE
city: LEEDS
postcode: LS2 9JT

contact info
Titolo: Ms.
Nome: Kathy
Cognome: Brownridge
Email: send email
Telefono: 441133000000
Fax: 441133000000

UK (LEEDS) coordinator 487˙487.12
2    CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE

 Organization address address: Rue Michel -Ange 3
city: PARIS
postcode: 75794

contact info
Titolo: Ms.
Nome: Nadine
Cognome: Brochet
Email: send email
Telefono: 33472445690
Fax: 33478890851

FR (PARIS) participant 754˙642.94
3    UNIVERSITE PARIS DIDEROT - PARIS 7

 Organization address address: RUE THOMAS MANN 5
city: PARIS
postcode: 75205

contact info
Titolo: Ms.
Nome: Muriel
Cognome: Maurice
Email: send email
Telefono: 33157275548
Fax: 33157275547

FR (PARIS) participant 745˙753.50
4    THE UNIVERSITY OF MANCHESTER

 Organization address address: OXFORD ROAD
city: MANCHESTER
postcode: M13 9PL

contact info
Titolo: Ms.
Nome: Liz
Cognome: Fay
Email: send email
Telefono: +44 161 275 7114
Fax: +44 161 275 2445

UK (MANCHESTER) participant 483˙554.28
5    THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD

 Organization address address: University Offices, Wellington Square
city: OXFORD
postcode: OX1 2JD

contact info
Titolo: Ms.
Nome: Valerie
Cognome: Timms
Email: send email
Telefono: 441865000000
Fax: 441865000000

UK (OXFORD) participant 482˙481.70
6    WESTFAELISCHE WILHELMS-UNIVERSITAET MUENSTER

 Organization address address: SCHLOSSPLATZ 2
city: MUENSTER
postcode: 48149

contact info
Titolo: Ms.
Nome: Martina
Cognome: Pfeifer
Email: send email
Telefono: 492518000000
Fax: +492518333 078

DE (MUENSTER) participant 477˙790.90
7    LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN

 Organization address address: GESCHWISTER SCHOLL PLATZ 1
city: MUENCHEN
postcode: 80539

contact info
Titolo: Ms.
Nome: Gerlinde
Cognome: Bach
Email: send email
Telefono: +49 89 2180 4414
Fax: +49 89 2180 4038

DE (MUENCHEN) participant 474˙835.30
8    UNIVERZITA KARLOVA V PRAZE

 Organization address address: Ovocny trh 5
city: PRAHA 1
postcode: 11636

contact info
Titolo: Dr.
Nome: Milena
Cognome: Stiborova
Email: send email
Telefono: 420222000000
Fax: 420222000000

CZ (PRAHA 1) participant 426˙239.75

Mappa


 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

trained    techniques    network    mathematical    branch    esrs    phd    stage    fragmentation    maloa    model    science    training    computer    broad    overview    branches    day    geometry    real    workshops    theory    full    logic    doctoral    completion    university    months    logical    mathematics    proof    complexity    industrial    young    group    academic    algebra   

 Obiettivo del progetto (Objective)

'Mathematical logic is a rapidly-developing subject with sophisticated techniques and many applications in algebra, geometry, number theory, analysis, and computer science. Even though the branches of logic share vital concepts and techniques, in recent years increased specialism has meant that most researchers are trained in just one branch of logic, and there is a need in Europe for researchers who have an overview of techniques from logic. To meet this need, this project will provide a broad training for early stage researchers across the main areas of mathematical logic and its many applications. 18 early-stage researchers (ESRs) will be trained for 36 months each, and a further 20 ESRs, undertaking doctoral studies elsewhere, will be appointed for 3--6 months each. Doctoral research projects for ESRs have been prepared in model theory, aspects of complexity theory (proof complexity, finite model theory), proof theory, computability theory, set theory, and real valued logics. Network-wide training will be provided through three 7-day training workshops, two 3-day and one 5-day research workshops, and a 5-day final conference. Some secondments of ESRs, and short ESR appointments, will be coordinated around a special semester in model theory in Lyon, and a later one in logical aspects of complexity theory in Prague. Complementary training is provided by the hosts, and through the training workshops. The network consists of 8 full partners, each a major logic group with strength in more than one branch of logic and experience in the training of early stage researchers, and each based in a major European university. The partners have been chosen to complement each other in strengths, and together to cover most branches of mathematical logic. In addition to the 8 full partners, training is provided by an academic Associated Partner (University of East Anglia) and two industrial Associated Partners (Onera and BT Group, each at Level 2).'

Introduzione (Teaser)

Growth in the many branches of mathematical logic reflects different schools of thought and various applications in algebra, analysis and geometry. An EU-funded training network targeted this fragmentation by providing young researchers with an overview of current knowledge and research directions.

Descrizione progetto (Article)

Since the earliest days of scientific thinking, logic has been the part of philosophy devoted to reasoning. Mathematical logic emerged from a need to formalise facts in the form of logical sentences and to reason systematically with this information to derive logical conclusions. Symbols and formulas resembling those of mathematics go beyond the reach of traditional logic.

The advent of computers led to real-world applications. Today, mathematical logic plays a central role in software engineering, programming, artificial intelligence, linguistics and theoretical computer science. Having outgrown its philosophical roots, mathematical logic also continuously interacts with other branches of mathematics.

'From mathematical logic to applications' (http://www1.maths.leeds.ac.uk/maloa/index.html (MALOA)) was a training network project reflecting a common research goal to unravel interactions between different branches of mathematical logic. A group of outstanding European mathematicians joined MALOA to provide 42 early-stage researchers (ESRs) with training in a broad range of concepts and state-of-the-art techniques.

MALOA participants represented eight of Europe's most active academic centres in model theory, complexity theory, proof theory and set theory. The training programme included the latest advances in mathematical logic with potential industrial applications. Young scientists left the network after successful completion of their training with a set of aptitudes that enables them to produce influential research.

Project efforts resulted in a long-lasting consortium for cutting-edge research, leading to accelerated discoveries even during its four-year lifespan. The recruited PhD students and postdoctoral fellows in MALOA have already contributed with new concepts to the model and proof theories.

Moreover, the training programme that addressed the fragmentation of mathematical logic also boosted the trainees' career opportunities. Besides providing support to PhD candidates through the completion of their theses, many MALOA ESRs attained permanent academic posts or employment in industry, thereby strengthening the European research base.

Altri progetti dello stesso programma (FP7-PEOPLE)

INDIGO (2013)

Interaction of Nonlinearity and Disorder: Gateways to Optics

Read More  

SPINOGRAPH (2013)

Spintronics in Graphene

Read More  

PROTEINCHARGEDENSITY (2008)

Quantitative analysis of atomic polarization and protein-ligand electrostatic interactions via charge density studies in proteins: insights from ultra-high resolution crystallography

Read More