Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

TIN2010-21062-C02-02

Financiado

SWEETLOGICS-UPV

THE AIM OF THIS PROJECT IS TO ACT AS A CATALYST IN THE GLOBAL IMPACT OFINFORMATION TECHNOLOGY (IT) IN SPAIN BY DEVELOPING ANDAPPLYING ADVANCED TOOLS AND TECHNIQUES IN AREAS OFECONOMIC AND SOCIAL INTEREST, THE COMMON FEATURE OF THE... ver más

01/01/2010

UPV

114K€

Presupuesto del proyecto: 114K€

Líder del proyecto

UNIVERSITAT POLITÈCNICA DE VALÈNCIA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 686

Financiación concedida El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto el día 2010-01-01 No tenemos la información de la convocatoria

0% 100%

Participantes

UPV

Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

TIN2010-21062-C02-01 SWEETLOGICS-UPC 110K€ Cerrado

TIN2016-76573-C2-1-P TASSAT 3: TEORIA Y APLICACIONES EN SATISFACTIBILIDAD Y OPTIM... 23K€ Cerrado

TIN2010-20967-C04-03 TEORIA, APLICACIONES Y SINERGIA EN SAT, CSP Y FDL 77K€ Cerrado

TIN2016-76573-C2-2-P TASSAT 3: TEORIA Y APLICACIONES EN SATISFACTIBILIDAD Y OPTIM... 54K€ Cerrado

TIN2010-20967-C04-01 TASSAT: TEORIA, APLICACIONES Y SINERGIA EN SAT, CSP Y FDL 37K€ Cerrado

TIN2010-20967-C04-02 TASSAT: TEORIA, APLICACIONES Y SINERGIA EN SAT, CSP Y FDL 10K€ Cerrado

Líder del proyecto

UNIVERSITAT POLITÈCNICA DE VALÈNCIA No se ha especificado una descripción o un objeto social para esta compañía.

Total investigadores 686

Presupuesto del proyecto 114K€

Descripción del proyecto THE AIM OF THIS PROJECT IS TO ACT AS A CATALYST IN THE GLOBAL IMPACT OFINFORMATION TECHNOLOGY (IT) IN SPAIN BY DEVELOPING ANDAPPLYING ADVANCED TOOLS AND TECHNIQUES IN AREAS OFECONOMIC AND SOCIAL INTEREST, THE COMMON FEATURE OF THESE TECHNIQUES ISTHAT THEY ARE ALL BASED ON LOGICAL METHODS,LOGIC-BASED THEORY, TECHNIQUES AND TOOLS ARE PLAYING AN INCREASINGROLE IN DIFFERENT IT AREAS, AS WELL AS IN FINDINGSOLUTIONS TO NUMEROUS COMPUTATIONAL PROBLEMS THAT ARISE IN INDUSTRYAND SCIENCES LIKE BIOLOGY,AS ITS PREDECESSOR, THIS IS A JOINT PROJECT BETWEEN TWO LARGE GROUPSFROM THE TECHNICAL UNIVERSITIES OF VALENCIA AND CATALONIA, BOTH WITH ANEXTENSIVE EXPERIENCE IN THE AREA,THE MAIN TECHNIQUES AND TOOLS THAT ARE CONSIDERED IN THISPROJECT ARE: SOLVERS FOR PROPOSITIONAL LOGIC (SAT) AND SAT MODULOTHEORIES (SMT) AND OPTIMIZATION WITH THESE (MAX-SAT/SMT AND BRANCHAND BOUND FOR SAT/SMT WITH ARBITRARY COST FUNCTIONS);LOGIC-BASED SOLVERS AND FILTERING ALGORITHMS FOR CONSTRAINT PROGRAMMING;MATHEMATICAL PROGRAMMING TOOLS APPLIED AS THEORY SOLVERS FOR SMT; TECHNIQUESAND TOOLS FOR ABSTRACT INTERPRETATION AND MODEL CHECKING; ALGEBRAICMETHODS FOR CONSTRAINT SOLVING; AND VERIFICATION AND CERTIFICATIONTECHNIQUES,ALL THESE LOGIC-BASED TECHNIQUES ARE FUNDAMENTAL IN THE ACHIEVEMENT OFGOALS OF THE PROJECT, WHICH ARE CONCRETIZED IN APPLICATIONS WITHSIGNIFICANT ECONOMIC AND SOCIAL IMPACT:- INDUSTRIAL PLANNING, SCHEDULING AND TIMETABLING, WHICH ARE OMNIPRESENT IN BOTH PUBLIC AND PRIVATE SECTORS, FROM HEALTHCARE OR PUBLIC ORDER TO VIRTUALLY ALL BRANCHES OF THE LOGISTICS AND TRANSPORTATION SECTORS, SPORTS SCHEDULING (AS DONE WITH HYPERCUBE AND KNVB, THE NETHERLANDS, AND LIGA ACB, SPAIN), AS WELL AS SCIENTIFIC COMBINATORIAL OPTIMIZATION PROBLEMS FROM E,G,, BIOLOGY, MEDICINE OR LINGUISTICS, METHODS TO BE USED ARE SAT, SMT (WITH OPTIMIZATION) AND OTHER LOGIC-BASED METHODS, IN COMBINATION WITH CONSTRAINT AND MATHEMATICAL PROGRAMMING,- VERIFICATION OF SAFETY AND LIVENESS/TERMINATION PROPERTIES OF ALLSORTS OF SOFTWARE, INCLUDING WEB APPLICATIONS (IN COLLABORATION WITHMICROSOFT, USA)- HIGH-LEVEL HARDWARE VERIFICATION (WITH INTEL, USA)- MODELING COMPLEX SYSTEMS INVOLVING AGENTS (WITH EXTREME LOGICS)- ANALYZING SECURITY PROPERTIES OF WEB APPLICATIONS (WITH THEVALENCIAN BASKETBALL FEDERATION) LOGICA EN LA INFORMATICA\PROCEDIMIENTOS DE DECISION\METODOS FORMALES\VERIFICACION FORMAL DE SISTEMAS SOFTWARE

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores