posted by user: marilton || 4945 views || tracked by 5 users: [display]

WEIT 2013 : 2nd Workshop-School on Theoretical Computer Science

FacebookTwitterLinkedInGoogle


Conference Series : Workshop-School on Theoretical Computer Science
 
Link: http://wp.ufpel.edu.br/weit/presentation/
 
When Oct 15, 2013 - Oct 17, 2013
Where Rio Grande, RS, Brazil
Submission Deadline Aug 5, 2013
Notification Due Sep 16, 2013
Final Version Due Sep 27, 2013
Categories    analysis of algorithms   formal specification   fuzzy logic and sets   models of computation
 

Call For Papers

Rio Grande – Rio Grande do Sul – Brasil
October 15-17th, 2013
http://wp.ufpel.edu.br/weit/presentation/

WEIT is a joint promotion of Federal University of Rio Grande (FURG) and Federal University of Pelotas (UFPEL), through the Post-Graduate Programs in Computation (PPGComp-FURG and PPGC-UFPEL, respectively), which aims to disseminate and promote theoretical aspects of computing, bringing together students and researchers through two types of activities:

- a School, which aims to offer courses and tutorials for undergraduate and graduate students;
- a Workshop that will offer both invited lectures of qualified researchers in the area as open space for submission of unpublished research papers.

Target Audience
---------------
Undergraduate and graduate students, teachers, researchers and professionals in computer science and related fields.

Topics
------
Authors are invited to submit original papers that deal with work completed or in progress, related to research on theoretical aspects of computing. Topics of interest include, but are not limited to:

Analysis of algorithms
Automata and Formal Languages
Category theory
Combinatorial optimization
Complexity
Consequence systems
Discrete Event Dynamic Systems
Discrete Mathematics
Domains
Exact and approximate algorithms
Formal Semantics
Formal Specification
Foundations of Interval Mathematics
Fuzzy Logic and Sets
Graph Grammars
Information theory
Interactive Theorem Proving
Institutions
Logic and Computation
Metaheuristics
Model-Checking
Models of Computation
Petri Nets
Probabilistic models
Program Analysis
Semantics for agent-oriented languages
Static analysis
Temporal automata
Type systems

Important Dates
---------------
Deadline for submissions: August 5th, 2013
Notification of acceptance: September 16th, 2013
Camera-ready version: September 27th, 2013

Committees
----------

Organizing Committee

Graçaliz Pereira Dimuro - general chair (FURG)
Luciana Foss - general chair (UFPEL)
Eder Gonçalves - local chair (FURG)
Marilton Sanchotene de Aguiar (UFPEL)
Simone André da Costa Cavalheiro (UFPEL)

Steering Committee

Antônio Carlos da Rocha Costa (FURG)
Graçaliz Pereira Dimuro (FURG)
Luciana Foss (UFPEL)
Simone A. da Costa Cavalheiro (UFPEL)

Publishing Committee

Marilton Sanchotene de Aguiar (UFPEL)
Simone A. da Costa Cavalheiro (UFPEL)

Program Committee

Leila Ribeiro - chair (UFRGS)
Lúcio Mauro Duarte - chair (UFRGS)
Adriano Velasque Werhli (FURG)
Alfio Ricardo de Brito Martini (PUCRS)
Aline Brum Loreto (UFPEL)
Alvaro Freitas Moreira (UFRGS)
Ana Paula Lüdtke Ferreira (UNIPAMPA BAGÉ)
Anderson Paiva Cruz (UFRN)
André Rauber Du Bois (UFPEL)
Antônio Carlos da Rocha Costa (FURG)
Benjamín René Callejas Bedregal (UFRN)
Carlos Amaral Hölbig (UPF)
Claudilene Gomes da Costa (UFPB)
Daltro José Nunes (UFRGS)
Eder Gonçalves (FURG)
Edward Hermann Haeusler (PUCRIO)
Eduardo Silva Palmeira (UESC)
Felipe Müller (UFSM)
Fernando Luís Dotti (PUCRS)
Gleifer Vaz Alves (UFTPR – Ponta Grossa)
Ivan Mezzomo (UFERSA)
Graçaliz Pereira Dimuro (FURG)
Juliana Kaizer Vizzotto (UFSM)
Leonardo Emmendorfer (FURG)
Luciana Foss (UFPEL)
Luciana Salete Buriol (UFRGS)
Marcus Rolf Petter Ritt (UFRGS)
Marilton Sanchotene de Aguiar (UFPEL)
Odorico Machado Mendizabal (FURG)
Osmar Marchi dos Santos (UFSM)
Rafael Heitor Bordini (PUCRS)
Raquel de Miranda Barbosa (FURG)
Regivan Nunes Santiago (UFRN)
Renata Hax Sander Reiser (UFPEL)
Ricardo Matsumura Araujo (UFPEL)
Rodrigo Machado (UFRGS)
Rogério Rodrigues de Vargas (UESC)
Simone A. da Costa Cavalheiro (UFPEL)

Venue
-----
Federal University of Rio Grande
Campus Carreiros
Rio Grande – RS

Related Resources

IEEE-Ei/Scopus-ITCC 2025   2025 5th International Conference on Information Technology and Cloud Computing (ITCC 2025)-EI Compendex
SPIE-Ei/Scopus-DMNLP 2025   2025 2nd International Conference on Data Mining and Natural Language Processing (DMNLP 2025)-EI Compendex&Scopus
ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
CETA--EI 2025   2025 4th International Conference on Computer Engineering, Technologies and Applications (CETA 2025)
IEEE-Ei/Scopus-CNIOT 2025   2025 IEEE 6th International Conference on Computing, Networks and Internet of Things (CNIOT 2025) -EI Compendex
ISCSIC 2025   2025 9th International Symposium on Computer Science and Intelligent Control(ISCSIC 2025)
SPIE-Ei/Scopus-CMLDS 2025   2025 2nd International Conference on Computing, Machine Learning and Data Science (CMLDS 2025) -EI Compendex & Scopus
IEEE-Ei/Scopus-CWCBD 2025   2025 6th International Conference on Wireless Communications and Big Data (CWCBD 2025) -EI Compendex
ICISIP 2025   The 12th IIAE International Conference on Intelligent Systems and Image Processing 2025
ACDSA 2025   2nd International Conference on Artificial Intelligence, Computer, Data Sciences and Applications