- Active, inductive and transductive learning
- Adaptive systems and real-time
- Adhoc networks
- AI applied to information retrieval, recommendation system and multimodal processing: machine learning, deep learning and clustering
- Analysis and parsing tools for varied linguistic levels (part of speech, syntax, semantics and discourse)
- Anomaly / outlier detection
- Application generators
- Applied dynamical systems
- Architectures for developing of educational software
- Artificial neural networks
- Aspects Oriented Software Development
- Automated evaluation
- Autonomouos networks
- Big Data
- Bioinformatics
- Bioinformatics and biomedical informatics
- Biological databases
- Business process generation
- Cloud Computing
- Collaborative systems
- Complex data integration
- Complex networks
- Complex networks
- Component-based development
- Computational geometry and geometric processing
- Computational neurodynamics
- Computational terminology
- Computer networks
- Computer Networks
- Content-based image storage and retrieval
- Context-aware computing
- Cooperative robotics
- Corpus linguistics
- Critical embedded systems
- Critical embedded systems
- Crowdsourcing
- Cyber-physical systems
- Data cluster analysis (clustering)
- Data Clustering
- Data Clustering
- Data Mining
- Data mining: structured, unstructured and mixed data
- Data mining: unsupervised, semi-supervised and supervised
- Data preparation:imputation, feature selection, dimensionality reduction, etc.
- Data provenance
- Data streams
- Data streams mining
- Data warehousing
- Data warehousing
- Design and evaluation of educational software interfaces
- Design Rationale of Software Documentation
- Development and Modeling of Educational Modules
- Development, evaluation and analysis of educational games
- Distance learning
- Distributed computing
- Distributed computing: service-oriented architectures, validation and verification of parallel and distributed applications; high performance computing; grid computing; cloud computing; fog computing; green computing.
- Domain-Driven Design
- Educational data mining
- Educational data mining
- Educational data mining
- Educational ontologies and applications
- Embedded multiprocessors
- Embedded Systems Hardware
- Ensembles: classifiers, clusterings and outlier detectors
- Evolutionary computation
- Evolutive Computation
- Experimental software engineering
- Frameworks and software patterns
- Free Software Development Methodology
- Games for entertainment
- Geographical information systems
- Graph and text mining
- Hardware Acceleration
- Health and medical information systems
- Human-computer interaction
- Human-robot interaction
- Image and data base management systems
- Image processing
- Image processing and pattern recognition
- Indexing and query optimization for similarity retrieval
- Information Systems
- Information Visualization
- Intelligent hybrid systems
- Intelligent hybrid systems
- Intelligent tutoring systems
- Intelligent vehicles
- Interactive web systems
- Internet of the future
- Internet of things
- Internet of Things: architectures and middlewares
- Knowledge acquisition
- Knowledge discovery and data mining
- Lexicons/dictionaries and corpora creation
- Linked open data
- Machine learning
- Machine Learning
- Machine learning
- Machine learning techniques for natural language processing
- Machine learning: unsupervised, semi-supervised and supervised
- Machine translation
- Meta Learning
- Mining complex data
- Mobile computing
- Mobile Health
- Mobile learning
- Mobile Robotics
- Model-based testing
- Modeling and development of educational modules
- Multi-agent systems in education
- Multimedia: video, image, audio and text processing (with deep learning applications)
- Multimodal multimedia processing (Big Data, multimedia indexing, multimedia information extraction)
- Network security
- Nonlinear regression
- One class learning
- Online social networks
- Open educational resources
- Operating systems
- Parallel and distributed data mining
- Pattern classification
- Performance evaluation: simulation and distributed simulation; prototyping; benchmark
- Personalization and recommender systems
- Picture archiving and communication systems
- Processes of Software Upgrade
- Product lines for developing educational software
- Reading and writing assistance tools
- Real Time Systems
- Recommender systems
- Recommender systems and Information retrieval systems
- Robotics
- Semantic web
- Semantic web and social semantic web in education
- Serious games
- Service-Oriented Development
- Smart cities
- Smart Grid
- Social network analysis
- Social networking in education
- Social Networks
- Social Robotics
- Software architecture and reference architecture
- Software engineering tools and enviroments
- Software Quality
- Software Reuse
- Speech processing
- Statistical learning: Bayesian methods
- Text processing (mining, sentiment analysis and natural language processing)
- Text simplification
- Text summarization
- Time series processing
- Times series modeling and prediction
- Tools and methodologies for teaching computing
- Transfer learning
- Ubiquitous computing
- Ubiquitous computing
- Validation and evaluation of visualization techniques
- Verification, Validation and Software Testing
- Visual data mining and visual analytics
- Visualization and visual data mining
- Visualization applications in data analysis: image, document and music collections, social networks, biosensor measurements, bioinformatics, acoustic landscapes, crime data, volumes from computational simulations and multidimensional data sets
- Visualization in data science and big data
- Web Systems Development

- Análise de credit scoring, behavior and attrition Statistical modeling for credit scoring, behavior and attrition data
- Bayesian inference for latent variable modeling
- Bayesian methods
- Classical Test Theory
- Cognitive diagnostic modeling
- Computerized adaptive testing
- Data mining
- Data visualization
- Errors-in-variables models
- Factorial analysis and multivariate techniques
- Item response theory
- Item Response Theory
- Latent Profile Analysis
- Latent variable classes analysis
- Linear and nonlinear mixed models
- Linear and nonlinear models
- Machine Learning
- Management and statistical quality control
- Planning, sampling and test application
- Probability and stochastic processes
- Quality management
- Risk modeling
- Risk modelling for big data bases
- Statistical data mining
- Statistical learning for latent variable modeling
- Statistical modeling for dependence
- Statistical modeling for finance and insurance data
- Statistical modeling for fraud data
- Statistical modeling for medical and biological data
- Statistical modeling for sport data
- Statistical modeling for survival and reliability data
- Structural equations
- Survival analysis and reliability
- System of interacting particles
- Time series

- Algebraic curves over finite fields
- Algebraic invariants for homotopy and concordance of links
- Algebraic K-theory and homology of linear groups
- Analysis on the sphere
- Analytic, Whitehead and Reidemeister torsions for manifolds and for singular manifolds
- Applications of game theory to general topology
- Applications of singularity theory to bifurcation problems
- Approximation theory
- Asymptotic behavior
- Bordism, equivariant bordism and cobordism of manifolds
- Borsuk-Ulam type theorems
- Cellular decomposition and group resolutions
- Classification of group actions on manifolds and associated dynamical systems
- Cognitive and linguistic aspects in mathematics education
- Cohomology Algebra, Local Cohomology
- Complex geometry
- Conceptions of mathematical knowledge and their its relations to the teaching-learning processes
- Conley index theory
- Derivations in Commutative Algebra
- Differential equations subject to impulse conditions
- Dynamics on manifolds
- Ergodic theory
- Ethnomathematics
- Evolution equations, bifurcation, symmetry and synchronization
- Existence, uniqueness, continuity and continuation of solutions: critical case
- Fibrations, vector bundles and gauge theory
- Foliations
- Geometric analysis
- Geometric and Probabilistics Aspects in Dynamic Systems
- Geometry and topology of submanifolds in euclidean spaces and of surfaces in homogeneous manifolds
- Geometry of minimal surfaces and constant mean curvature in homogeneous three-dimensional spaces
- Global hypoellipticity
- Global solvability
- Group actions
- History and Philosophy of Mathematics
- Homotopy and simple homotopy theory
- Homotopy and topology of mapping spaces
- Immersions and embeddings between manifolds
- Information technology applied to math education
- Integral operators
- Knots, links and braid theories
- Lie groups
- Linear and nonlinear partial differential equations
- Local solvability
- Mathematical physics
- Mathematical physics
- Mathematics teachers’ education
- Measure functional differential equations
- Mercer's Theory
- Multiplicity theory
- Multiplicity, integral closure and equisingularity
- Neutral functional differential equations
- One-dimensional dynamics
- Partially hyperbolic dynamics
- Philosophy of mathematics education
- Properties of coverings; techniques to obtain weaker topologies; theory of games
- Quantization and symplectomorphism into symmetric spaces
- Quantum algebra
- Quasilinear problems
- Regularity of invariant foliations and rigidity
- Renormalization theory
- Retarded functional differential equations
- Root, fixed point, coincidence and G-coincidence theories
- Semi-global solvability
- Semilinear parabolic problems
- Singularities in differential geometry and implicit equations
- Singularities in dynamical systems
- Singularity Theory
- Smooth linearization
- Submanifolds theory
- Symplectic geometry
- System of elliptic equations with jumping nonlinearities
- Teaching Methodology for Mathematics
- The theory of positive definite and related kernels
- Topology and classification of singularities
- Topology of manifolds

- Analysis and control of switched systems
- Automatic identification of authorship
- Classical statistical mechanics and quantum field theory
- Complex networks
- Computational aeroacoustics
- Computational geometry
- Computational rheology
- Control and filtering
- Control and filtering problems
- Control for hydrothermal operation
- Control for minimizing fuel in vehicles
- Dynamical process on spatial networks
- Geometric modeling and mesh generation
- Geometric processing
- Image segmentation by networks
- Integer linear programming models and methods
- Internet modeling
- Laminar-turbulent transition flows
- Mathematical physics
- Mesh generation and scientific visualization
- Modeling and numerical simulation in lubrication
- Models of epidemic and rumor spreading
- Non-linear differential equations and dynamical systems
- Nonlinear programming algorithms and theory
- Numerical and topological analysis of dynamical systems
- Numerical simulation of moving surfaces flows
- Optimization in inverse problems
- Particle systems modeling
- Probability and interacting particle systems
- Scientific computation applied in biology and medicine
- Stability of control for nonlinear systems
- Stochastic differential equations
- Structure and dynamics of social networks
- Structure of dynamical systems
- Synchronization of coupled oscillators
- Visualization and visual data analysis

© 2020 Instituto de Ciências Matemáticas e de Computação