Étienne André Nantes Université

• DBLP
• GitHub
• Google Scholar
• LinkedIn
• Orcid
• ResearchGate
• Bluesky
• Mastodon
• 🇫🇷🏴󠁧󠁢󠁥󠁮󠁧󠁿

Resources

Lists of conferences and journals

My lists of scientific events

Conferences

I maintain a list of conferences in formal methods.

Journals

My list of journals in formal methods.