6 &(51ª/CVKP - $OGTKECP6EJQQN QH+KIJ - (PGTI[3J[UKEU th Natal, Rio Grande do Norte, Brazil | 23 March - 5 April 2011 Deadline for Applications: 12 November 2010

Source URL: physicschool.web.cern.ch

Congruence Closure with Free Variables Haniel Barbosa1,2 , Pascal Fontaine1? and Andrew Reynolds3 1 LORIA–INRIA, Universit´e de Lorraine, Nancy, France Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

Source URL: members.loria.fr

UEDashboard: Awareness of Unusual Events in Commit Histories Larissa Leite, Christoph Treude, Fernando Figueira Filho Departamento de Informática e Matemática Aplicada Universidade Federal do Rio Grande do Norte Natal,

Source URL: ctreude.files.wordpress.com

Journal of Undergraduate Research 7, Effect of Storage Conditions on Ti-6Al-4V Surface Wettability Caio Peixoto Federal University of Rio Grande do Norte, Natal, Rio Grande do Norte, Brazil

Source URL: jur.phy.uic.edu

ECSA 2016 | Poster Programme Poster Programme Poster Session I Sunday, 4 September 2016; 18:00-20:30 Monday, 5 September 2016; 14:00-15:00

Source URL: www.estuarinecoastalconference.com

• Guanabara Bay
• Rio de Janeiro
• GEOMAR Helmholtz Centre for Ocean Research Kiel
• Leibniz Institute for Baltic Sea Research
• Fluminense Federal University
• Natal
• Rio Grande do Norte
• 2nd millennium
• Suzette Kimball

TOURISM MONITORING CENTER CITY OF SÃO PAULO Issue: 23 observatoriodoturismo.com.br

Source URL: www.observatoriodoturismo.com.br

• States of Brazil
• So Paulo
• Tourism
• Brazil
• Rio de Janeiro
• Ribeiro Preto
• Rio Grande do Sul
• Natal
• Rio Grande do Norte
• Ministry of Tourism and Leisure

Summarizing and Measuring Development Activity Christoph Treude, Fernando Figueira Filho, Uirá Kulesza Departamento de Informática e Matemática Aplicada Universidade Federal do Rio Grande do Norte Natal, RN, Brazil

Source URL: ctreude.files.wordpress.com

Exploiting symmetry in SMT problems David D´eharbe1 , Pascal Fontaine2 , Stephan Merz2 , and Bruno Woltzenlogel Paleo3? 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

Source URL: www.verit-solver.org

veriT: an open, trustable and efficient SMT-solver Thomas Bouton2 , Diego Caminha B. de Oliveira2 , David D´eharbe1 , and Pascal Fontaine2 1 Universidade Federal do Rio Grande do Norte, Natal, RN, Brazil

Source URL: www.montefiore.ulg.ac.be

Quantier Inference Rules for SMT proofs∗ David Deharbe Universidade Federal do Rio Grande do Norte, Natal, Brazil

Source URL: www.verit-solver.org