seminar
dataset, image captioning
hananona
seminar, symposium
memory consistency models, program logic, logic