Formal Systems Laboratory

New members joining the FSL group should follow the steps below:

• Email FSL webmaster to obtain access to the FSL repositories.
• Create your FSL home page and add it on the People page. See others’ home pages as an example.
• Email Engineering IT and cc Grigore to obtain access to the FSL machines.
• Obtain access to the dedicated mailing lists relevant to the new members’ research.