Como chegar
(In English.)
O Laboratório de Métodos Formais, Inteligência Artificial e Lógica na Ciência da Computação (FR∀M∃ lab./IC/UFF) está sediado no Instituto de Computação da Universidade Federal Fluminense (IC/UFF - http://www.ic.uff.br ). 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.