Agenda
GULBENKIAN.PT

Instituto de Engenharia de Sistemas e Computadores – Investigação e Desenvolvimento em Lisboa

Support to Instituto de Engenharia de Sistemas e Computadores - Investigação e Desenvolvimento em Lisboa for the organization of the 10th International Conference on Theory and Applications of Satisfiability Testing (SAT 2007).
Type of direct beneficiary
Coletiva
Type of grant
Subsídio
Area of intervention
Science
Date
2007
Allocated amount
2.660,00 €
Direct beneficiary region
Portugal

Cookies settings

Cookies Selection

This website uses cookies to improve your browsing experience, security, and its website performance. We may also use cookies to share information on social media and to display messages and advertisements personalised to your interests, both on our website and in others.

These cookies are used to enhance your browsing experience, security and our website's performance, allowing you to access the main features of the website. Therefore, they are always enabled. This type of cookies includes cookies that allow you to be remembered as you browse the website during a single session.

These cookies collect information about the use of the website to improve the services provided and to evaluate the performance of the website. Some of these cookies may be used to test pages or the functionality of the website by measuring the reaction of users. These cookies may be our own and / or owned by third parties.

These cookies are third-party cookies that allow to connect to social media and share multimedia content from our website on those networks. Some of these cookies help us to adapt advertising outside of our website to the interests of the users. By disabling these cookies, it will no longer be possible to directly share our content in any social media

For more information about cookies and the processing of your personal data, please see the Privacy and Cookies Policy. You can change your cookie settings at any time through the link at the bottom of the page.