Bay Logic (Workshop FR∀M∃ - TecMF)
Primeiro Workshop FR∀M∃-TecMF de pesquisa em Lógica e Teoria da Computação
O Laboratório de Métodos Formais, Inteligência Artificial e Lógica na Ciência da Computação (FR∀M∃ lab./IC/UFF) e o Laboratório de Tecnologia em Métodos Formais (TecMF/DI/PUC-Rio) realizarão no dia 17 de março de 2017 o primeiro Workshop FR∀M∃-TecMF de Lógica e Teoria da Computação.
O evento visa congregar a comunidade local através da apresentação dos trabalhos em desenvolvimento por alunos de graduação e pós-graduação e pesquisadores.
Local e datas
O Workshop será sediado na sala 217 do Instituto de Computação da Universidade Federal Fluminense (IC/UFF - http://www.ic.uff.br ) no dia 17 de março de 2017.
O IC está localizado no Campus da Praia Vermelha (não confundir com a Praia Vermelha do Rio de Janeiro), em Niterói.
Para quem vem de carro
Ao chegar da ponte siga em direção ao Centro (primeira saída à direita) e contorne a orla. Logo após o Forte do Gragoatá você chegará ao acesso ao estacionamento da UFF (pode ser utilizado).
Para quem vem de ônibus
- A linha 750D/751D (Gávea - Charitas) sai do terminal da PUC a cada 20min (tempo de viagem de aproximadamente 1h saindo as 7:30h, passagem a R$8,20). Desça no ponto da Faculdade de Direito (o motorista sabe informar) e siga pela direita. Em dois quarteirões você chegará ao Campus da Praia Vermelha.
- A linha 775D (Gávea - Charitas, via Lapa) segue as mesmas instruções (tempo de viagem de aproximadamente 1:30h saindo as 7:30h, passagem a R$8,20).
- A linha 1750D (Gávea - Charitas) segue as mesmas instruções (tempo de viagem de aproximadamente 1h saindo as 7:30h, passagem a R$12,00).
- A linha 1775D (Gávea - Charitas) segue as mesmas instruções (tempo de viagem de aproximadamente 1:30h saindo as 7:30h, passagem a R$12,00).
- A linha 2750D (Gávea - Charitas) segue as mesmas instruções (tempo de viagem de aproximadamente 1h saindo as 7:30h, passagem a R$12,00).
- A linha 740D (Copacabana - Charitas) sai da Rua Francisco Otaviano a cada 20min (tempo de viagem de aproximadamente 1h saindo as 7:30h, passagem a R$8,20).
Para quem vem de barca
A barca sai da Praça XV a cada 20min (tempo de viagem de aproximadamente 20min nas barcas antigas e de 16min nas barcas novas, passagem a R$5,90). - A linha 74 passa no ponto que se localiza entre os dois lados da Av. Rio Branco (basta seguir o fluxo e atravessar a primeira faixa de pedestres) e passa em frente ao Campus da Praia Vermelha (tempo de viagem de aproximadamente 8min, passagem a R$3,90) - Você pode vir a pé (aproximadamente 25min): atravesse a rua e siga pela direita (Av. Rio Branco); você passará em frente ao Campus do Valonguinho (siga em frente), pela Praça da Cantareira (siga em frente) e chegará na Rua Passo da Pátria; siga pela esquerda e você chegará no Campus da Praia Vermelha.
Submissão de trabalhos
As apresentações deverão ser submetidas até o dia 10 de março de 2017 pelo endereço https://goo.gl/forms/ATNljjkpiI6oglnv2 . Em caso de dúvidas, por favor entre em contato pelo endereço bruno@ic.uff.br.
Inscrições
As inscrições deverão ser efetuadas até o dia 15 de março de 2017 pelo endereço https://goo.gl/forms/eGq9Ob0mfY6Xs9Wl1 . Em caso de dúvidas, por favor entre em contato pelo endereço bruno@ic.uff.br.
Programação
| Horário | Título | Apresentador | Filiação |
| 8:40h | Abertura | ||
| 9:00h | Revisitando a Teoria da Prova de S4 | Bruno Lopes | IC/UFF |
| 9:30h | Algumas notas sobre paradoxos "contrary-to-duty", relevância e sistemas multi-agente normativos | Christiano Braga | IC/UFF |
| 10:00h | Verificação simbólica para semântica de GSL | Maurício Pires | IC/UFF |
| 10:30h | KT45n em Compra e Venda de ações | Victor Ferreira | IC/UFF |
| 11:00h | Verificação de conflitos normativos em sistemas multi-agentes | Jean Zahn | IC/UFF |
| 11:30h | Lógica de Descrição Aplicada à Gestão de Competências: Um Estudo de Caso | Luiz Gustavo Dias | PMGO/UFG |
| 12:00h | Sistema de Dedução Natural para Lógicas não-determinísticas finito-valoradas a partir de sua tabela-verdade | Cecilia Englander | DI/PUC-Rio |
| 12:30h | Almoço* | ||
| 14:30h | Cálculo Relacional com Diagramas como um sistema de reescrita | Renata Freitas | IME/UFF |
| 15:00h | Um sistema de reescrita para a Álgebra da Interseção | Maurício Pires | IC/UFF |
| 15:30h | Uma semântica operacional determinística e com terminação garantida para a linguagem síncrona Céu | Guilherme F. Lima | DI/PUC-Rio |
| 16:00h | Uma avaliação computacional de prova de teoremas em Dedução Natural assistida por computador para lógicas proposicionais | Bernardo Pinto de Alkmim | DI/PUC-Rio |
| 16:30h | Aplicação de verificação formal em um sistema de segurança veicular | Nayara de Souza Silva | PMGO/UFG |
| 17:00h | Sistemas de prova e geração de contra-exemplo na Lógica Minimal Implicacional | Jefferson de Barros Santos | DI/PUC-Rio |
| 17:30h | Encerramento | ||
| 18:00h | Happy hour** |
- *O almoço (por adesão) será no "Bistro Mac" (subsolo do Museu de Arte Contemporânea de Niterói)
- **O happy hour (por adesão) será no restaurante "A Mineira", em São Domingos (próximo à Praça da Cantareira)
Comitê organizador
- Bruno Lopes (IC/UFF)
- Christiano Braga (IC/UFF)
- Vaston Gonçalves (DM/UFG)
Comitê científico
- Bruno Lopes (IC/UFF)
- Christiano Braga (IC/UFF)
- Vaston Gonçalves (DM/UFG)
- Edward Hermann Haeusler (DI/PUC-Rio)