Logic and information systems

Informazioni relative al progetto

ID dell’accordo di sovvenzione: INTAS-93-2530

Progetto chiuso

Data di avvio 1 Settembre 1994

Data di completamento 31 Agosto 1995

Finanziato da

• International Association for the promotion of cooperation with scientists from the independent states of the former Soviet Union (INTAS), 1993-

Costo totale

Nessun dato

Contributo UE

€ 75 000,00

Coordinato da

Université Paris XII - Val de Marne
France

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Risultati sfruttabili

Logic and information systems

The objective of the project was to update computer science facilities for the NIS participants and launch joint research based at the beginning on the current research activities of the participants with further concentration on particular topics of interest for computer science. Under the support of the project the participants solved some hard problems of graph theory related to flow algorithms, graph embeddings and expanders, developed new formalisms for analysis of programmes under complexity constraints, developed a formalism for interactive proof systems, developed effective algorithms for model checking and constructing optimal strategies for new classes of processes with uncertainty. The received results are theoretical. The results of Karzanov (ISA) and Ustimenko (UK) give solutions to some known problems in graph theory that are closely related to constructing effective algorithms. The results of Beltiukov (UDSU) and his group contain further development of formalisms aimed at program synthesis and efficient query processing. E.Dantsin (POMI) has found a precise formalization of interactive proof systems which are intensively studied last years and can be applied to self-checking programs and fast verification of proof correctness. S.Baranoff (SPII) developed methods of automatic evaluation of software parameters and analysed approaches to practical testing of specific software. D. Beauquier (UP12) and A. Slissenko (UP12) found new efficient algorithms for model checking in temporal probabilistic logics. M. de Rougemont (UP11) and S.Ivanov (POMI) developed new interactive protocols for problems over reals.