Inscrições abertas para os minicursos da 9ª Escola de Teoria da Computação e Métodos Formais

• Imprimir

Estão abertas as inscrições para os três minicursos que serão ofertados na 9ª Escola de Teoria da Computação e Métodos Formais (ETMF 2024). O evento, organizado pelo Programa de Pós-Graduação em Computação Aplicada (PPComp), acontecerá no Campus Serra, no dia 3 de dezembro, e faz parte do 27th Brazilian Symposium on Formal Methods (SBMF 2024), que ocorrerá entre os dias 4 e 6 de dezembro, na Cidade da Inovação, nos antigos galpões do IBC, em Jardim da Penha.

Os minicursos são exclusivos e ministrados por renomados especialistas na área. Cada minicurso possui vagas limitadas a 30 participantes, que serão preenchidas por ordem de inscrição. A participação é totalmente gratuita, e os interessados podem se inscrever por meio do link: https://forms.gle/pd8TP8At1zaE92CR7.

Veja abaixo os minicursos disponíveis:

Minicurso 1: Introduction to Systems Specification with TLA+

Idioma: A ser definido entre o português e o inglês

Dia: 3/12/2024

Local: Laboratório 208

Horário: das 9h30 às 12h30

Instrutor: Prof. Dr. Jefferson O. Andrade (Instituto Federal do Espírito Santo)

Descrição: Este minicurso aborda os fundamentos do TLA+ (Temporal Logic of Actions), uma linguagem formal de especificação utilizada para modelar e verificar sistemas complexos, especialmente sistemas concorrentes e distribuídos. Os participantes aprenderão conceitos essenciais, como lógica temporal, comportamentos e invariantes, além de explorar exemplos práticos de especificações de sistemas. Ideal para interessados em métodos formais para design rigoroso e verificação de sistemas.

Sobre o Instrutor: O Prof. Dr. Jefferson O. Andrade é doutor em Educação, professor no Instituto Federal do Espírito Santo e membro do PPComp. Ele tem ampla experiência em métodos formais, verificação de sistemas e colaborações com a Universidade de Tsukuba no Japão, além de projetos aplicados em indústrias siderúrgicas e mineradoras.

Minicurso 2: Safety in Real-Time Systems: Modeling and Verification with Timed Automata

Idioma: O minicurso será ministrado em inglês

Dia: 3/12/2024

Local: Laboratório 208

Horário: das 14h30 às 16h00

Instrutor: Dr. Ciprian Teodorov (ENSTA Bretagne, França)

Descrição: Este minicurso foca na modelagem e verificação de sistemas em tempo real utilizando autômatos temporizados, com aplicações em sistemas críticos como veículos autônomos, controle de tráfego e ferrovias. Os participantes trabalharão com o exemplo de um cruzamento ferroviário e realizarão exercícios práticos com o UPPAAL, ferramenta amplamente utilizada na modelagem e verificação de sistemas temporizados.

Sobre o Instrutor: Dr. Ciprian Teodorov é professor associado na ENSTA Bretagne e especialista em métodos formais e engenharia orientada a modelos. Sua pesquisa inclui técnicas formais para sistemas embarcados em domínios críticos, como transporte e aeroespacial, com experiência em design de sistemas e certificação.

Minicurso 3: Math Saves Lives: How Formal Methods Keep Trains on Track and Software from Going Off the Rails

Idioma: O minicurso será ministrado em inglês

Dia: 3/12/2024

Local: Laboratório 208

Horário: das 16h30 às 17h30

 Instrutor: Mr. Thierry Lecomte (CLEARSY, França)

Descrição: Este minicurso apresenta o papel dos métodos formais na garantia de segurança e correção de sistemas baseados em software em indústrias críticas. Com exemplos concretos do setor ferroviário, os participantes aprenderão o valor agregado dos métodos formais e os limites em que abordagens tradicionais ainda são necessárias. Nenhum conhecimento prévio além de lógica matemática e bom senso é exigido.

Sobre o Instrutor: Com 30 anos de experiência em P&D, Thierry Lecomte é diretor de P&D da CLEARSY, especializada em sistemas críticos de segurança. Ele tem contribuído em projetos industriais em setores como automotivo, saúde, energia nuclear e ferroviário, com foco em inteligência artificial segura e mobilidade autônoma.

Para mais detalhes sobre os minicursos e a programação completa no site oficial da ETMF 2024: https://sbmf24.ifes.edu.br/etmf.php.