Bank: D.Lourdes

MSc coord

Estatisticas para fórum

Exam

• Carrareto, Silvana: when?
• Kelly,Alessandra
• Jefferson, Renato: fianl

PPGI PhD meeting

Publishing/Research

Paper themes

• Suffix tree in coq/pvs
• DSP in TLA/coq/pvs
• parallel HOL
• parallel plataform location
• formalizing: distributed firewall; analysis of denial of service

Readings

• OS: process migration
• Massive data storage
• CPV

inet search

• ASTRAL model checker
• Murphy model checker
• jini: www.sun.com/980713/jini/feature.html
• www.weforum.com

Supervision

• Devair: new tests
• Walter: so... petroleum
• Marcelo: projeto

Suporte

Monday's meeting schedule

• Who stays/who goes
• Delete Sergio from suporte's list
• Priorities:
1. Linux on Luica's new machine
2. Test Atenas with Paris' Disk
3. Paris in Claudia's Office
4. install gcj,quanta,amaya
5. Group on intrusion detection: reading logs
6. Group on Apache/php
7. Group pn grad's e-mail
8. Firewall howto
9. Class 10 howto
10. Lists howto
11. HOWTOs on each activitiy
12. BKup leeds/veneza/marlin

CValli

• Upgrading suporte: 1 Netfinity, 24 ports switch

Books over inet

• BGP4 : US23.
• TCP/IP illustrated
• Intrusion detection
• Administration: Linux,Apache/HTTP,NIS
• Model checking
• Intrusion detection
• Cryptographic protocols
• Dan Gustfield: US$ 52,
• Queueing theory
• Criptography
• Operating Systems : US$96
• O.Sacks: "Uncle Tungsten"

YEF

• Rubens: 8000
• tools: 150
• Osny: 1200,
• SBIE: 1800
• printer repairs: 1000
• defesas: 2000
• CPU: 2500
• HD: 300
• CDW: 300
• AMD upgrade: 700
• Books: 1000

upgrades: net-link@escelsa.com.br

• 1 Micro with: 256Mb,1GHz,CDW,17" Video (Lab MSc)
• 2 CDW (Rubens, grad)
• upgrade for AMD K6-2/550 Mhz, 512 Mb RAM, CDW (Urgente)