This is the git repository of the Logic, Artificial Intelligence and Formal Methods Lab (LIAMF) homepage (https://liamf.ime.usp.br).
If you are an incoming LIAMF member, read the next section.
If you are an outgoing member, read the next section after that.
If you are a returning member, (e.g. a previously MSc who is now a PhD candidate) read the next section after the next section after that.
To add yourself to the website under the MEMBERS section, please submit a new pull request consisting of the following modifications:
- Add a profile picture of yourself under
images/students/; - In
js/members.js, add yourself to the correct array (postdoc,phdormsc) as a 4-tuple composed out of (in order) your name, the name and extension of the profile picture you added in step 1, your website, and your research topics of interest; - Review your changes as they are applied to your fork, e.g. https://yourusername.github.io/liamf-usp.github.io/.
If you are outgoing, please add yourself to our alumni list. To do so, submit a new pull request consisting of the following modifications:
- Remove yourself from
js/members.js; - In
js/alumni.js, remove your name from thecurrentarray and add yourself to thealumniarray as a 2-tuple where the first element is your full name as it appears in https://www.teses.usp.br/ and the second is your personal website; - Review your changes as they are applied to your fork, e.g. https://yourusername.github.io/liamf-usp.github.io/.
If you are a returning member, please make sure you are exempted from the alumni list. To do so, submit a new pull request consisting of the following modifications:
- Add yourself to
js/members.jsif you are not already there; - In
js/alumni.js, add your full name as it appears in https://www.teses.usp.br/. - Review your changes as they are applied to your fork, e.g. https://yourusername.github.io/liamf-usp.github.io/.