In this tutorial we cover the basics of fuzzy sets and its algebra, as well as fuzzy inference and fuzzy systems. We will also analyse some examples of applications

She is graduated in Civil Engineering in 1980 at Catholic University of Pelotas, and received her Master (1991) and Doctorate (1998) degrees in Computer Science at Federal University of Rio Grande do Sul. She is currently an Associate Professor at the Center of Computational Sciences at Federal University of Rio Grande and a permanent member of Graduate Program in Computational Modeling of FURG. She is an associate editor of the TEMA Journal – Trends in Applied and Computational Mathematics. He has experience in computer science, with emphasis on Multiagent Systems and Mathematics of Computation, acting on the following topics: organization of multiagent systems, decision-making processes in multiagent systems, social simulation, domain theory, fuzzy logic and interval mathematics.

Model checking is a technique used when one wants to ensure that a system of hardware or software has certain property. This technique is particularly interesting for concurrent systems, when software testing techniques traditionally used did not work. In model checking, a system is described by a finite state model, generated from a specification language and properties are specified by some temporal logic. The model checker is an algorithm that traverses the state space model, ensuring that in no state the specified property is violated. If so, the checker provides a counterexample for the property, corresponding to the execution trace which violated the property. The verification process is attractive because it is automatic and does not require specialized knowledge of formal mathematical proofs. On the other hand, has the limitation of the state space have to be finite. In this talk we will see different approaches to model verification, tools available and how they can assist in building correct systems.

Graduated in Computer Engineering at Universidade Nova de Lisboa (1993), Masters in Computer Science at Federal University of Rio Grande do Sul (1996) and Ph.D. in Computer Science at Federal University of Rio Grande do Sul (2005). She is a professor of higher education since August 1996. She is currently Associate Professor at Federal University of Pampa (Unipampa). She has experience in Computer Science working on the following topics: object orientation, formal methods, graph grammars, models of improvement in software process.

Initially, we analyze the models of Classical Computing Theory (especially Turing machine) from a systemic point of view, that is, considering computer systems as real systems, operating in the context of the environment in which are inserted. Then, we characterize classical models of computing systems as closed, non-interactive, limited to computations processing mappings between input and output. Next, we analyze models of Interactive Computing Theory
(especially persistent Turing machine) from the systemic point of view, showing how they are characterized as open systems whose computations perform interactive exchange of information with the environment. Following, we consider the prospect of extending the models of Computing Interactive Theoty to include the possibility of system not only change information but also matter and energy with their environment. From this perspective, we give some general features which one would expect from computing systems with developmental characteristics, i.e., computer systems able to materially and operationally change themselves, while work and interact with the environment. Concluding, we consider possible theoretical and practical consequences of having computing systems with developmental characteristics.

Graduated in Electrical Engineering (with emphasis on Electronic) at Federal University of Rio Grande do Sul (1977), Masters in Computer Science at Federal University of Rio Grande do Sul (1980) and Ph.D. in Computer Science at Federal University of Rio Grande do Sul (1993). He is currently an Associate Professor at Federal University of Rio Grande and collaborator advisor at the Federal University of Rio Grande do Sul. He has experience in Computer Science with emphasis in Artificial Intelligence, acting mainly in the subjects: Fundamentals of Artificial Intelligence, Multiagent Systems and Interactive Computing Theory.

This course aims to give a general vision of formal methods to system specification and introduce the graph grammar method. This specification method can be used to specify a variety of complex systems, including concurrent and distributed systems. A description using graphs to represent states and graph transformations to represent changes of states is quite intuitive and powerfull. In this course we present several applications of graph grammars, in special specification of concurrent and distributed systems, which can be modelled in a simple and elegant way by using graph grammars.

Leila Ribeiro: Graduated in Computer Science at Federal University of Rio Grande do Sul (1988), Masters in Computer Science at Federal University of Rio Grande do Sul (1991) and Ph.D. in Computer Science – Technische Universitat Berlin (1996). She is currently a researcher at the 2nd National Council of Scientific and Technological Development and associate professor at Federal University of Rio Grande do Sul. She is a member of IFIP Working Group 1.3 (Foundations of System Specification) and has experience in computer science, with emphasis on formal methods, focusing mainly on the following subjects: specification and formal semantics, bioinformatics, formal verification, and computer models.

Fernando Luís Dotti: has undergraduate and master’s degree in Computer Science at Federal University of Rio Grande do Sul (1988 and 1991) and Ph.D. in Computer Science at Technical University of Berlin (1997). From August 2008 to July 2009 was in a post-doctoral visiting the Universities of Newcastle and York, England. Since 1998 he is full-time teacher at the Pontifical Catholic University of Rio Grande do Sul, where he acts as advisor in the Graduate Program in Computer Science. He has experience in computer networks and distributed systems, applying specification techniques, verification and quantitative analysis of communication protocols and distributed algorithms. During a post-doctoral investigated techniques for formal specification and analysis applied to fault-tolerant systems. He is currently Program Coordinator of Graduate Studies in Computer Science, PUCRS.

This course aims to give a general vision of formal methods to system specification and introduce the graph grammar method. This specification method can be used to specify a variety of complex systems, including concurrent and distributed systems. A description using graphs to represent states and graph transformations to represent changes of states is quite intuitive and powerfull. In this course we present several applications of graph grammars, in special specification of concurrent and distributed systems, which can be modelled in a simple and elegant way by using graph grammars.

Leila Ribeiro: Graduated in Computer Science at Federal University of Rio Grande do Sul (1988), Masters in Computer Science at Federal University of Rio Grande do Sul (1991) and Ph.D. in Computer Science – Technische Universitat Berlin (1996). She is currently a researcher at the 2nd National Council of Scientific and Technological Development and associate professor at Federal University of Rio Grande do Sul. She is a member of IFIP Working Group 1.3 (Foundations of System Specification) and has experience in computer science, with emphasis on formal methods, focusing mainly on the following subjects: specification and formal semantics, bioinformatics, formal verification, and computer models.

Fernando Luís Dotti: has undergraduate and master’s degree in Computer Science at Federal University of Rio Grande do Sul (1988 and 1991) and Ph.D. in Computer Science at Technical University of Berlin (1997). From August 2008 to July 2009 was in a post-doctoral visiting the Universities of Newcastle and York, England. Since 1998 he is full-time teacher at the Pontifical Catholic University of Rio Grande do Sul, where he acts as advisor in the Graduate Program in Computer Science. He has experience in computer networks and distributed systems, applying specification techniques, verification and quantitative analysis of communication protocols and distributed algorithms. During a post-doctoral investigated techniques for formal specification and analysis applied to fault-tolerant systems. He is currently Program Coordinator of Graduate Studies in Computer Science, PUCRS.

As the development paradigm turning to distributed environments, either physically or conceptually, methodologies for the description of these systems in a natural and intuitive way gain attention. In this sense, Petri Nets, as a graphical and mathematical tool of modeling and analysis, fits a large number of applications in which the notions of concurrent events and evolutions are important. The aim of this lecture is to present the basic models of Petri Nets (binary / ordinary) and give an introduction to so-called high-level models (color, object, etc.). Finally, we present a model developed specifically for multiagent systems and their agents.

Graduated in Electrical Engineering Electronic at Catholic University of Pelotas (1998), Masters in Electrical Engineering at Federal University of Santa Catarina (2001) and Ph.D. in Electrical Engineering at Federal University of Santa Catarina(2006). He is currently Associate Professor at the Federal University of Rio Grande. He has experience in Electrical Engineering with emphasis in Electronics and Computer Science, working mainly in the following areas: artificial intelligence, multiagent systems, intelligent manufacturing, robotics and Petri nets.

As the development paradigm turning to distributed environments, either physically or conceptually, methodologies for the description of these systems in a natural and intuitive way gain attention. In this sense, Petri Nets, as a graphical and mathematical tool of modeling and analysis, fits a large number of applications in which the notions of concurrent events and evolutions are important. The aim of this lecture is to present the basic models of Petri Nets (binary / ordinary) and give an introduction to so-called high-level models (color, object, etc.). Finally, we present a model developed specifically for multiagent systems and their agents.

Graduated in Electrical Engineering Electronic at Catholic University of Pelotas (1998), Masters in Electrical Engineering at Federal University of Santa Catarina (2001) and Ph.D. in Electrical Engineering at Federal University of Santa Catarina(2006). He is currently Associate Professor at the Federal University of Rio Grande. He has experience in Electrical Engineering with emphasis in Electronics and Computer Science, working mainly in the following areas: artificial intelligence, multiagent systems, intelligent manufacturing, robotics and Petri nets.