Workshop on Vampire

Madhu Nath

unread,

Jul 25, 2023, 12:13:00 AM7/25/23

to Vampire Users

Dear Sir,

Many of us are interested to use VAMPIRE software, but many of the basic things are not clear for us. Is it possible to arrange any workshop on this software, so that we can use this as per our requirement.

Thanks in advance,

Madhumita

Prayash Dutta Avi

unread,

Jul 25, 2023, 12:14:05 AM7/25/23

to Madhu Nath, Vampire Users

Big support.

--
You received this message because you are subscribed to the Google Groups "Vampire Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to vampire-user...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/vampire-users/e170d00b-7dd3-43b6-b305-8350573f706en%40googlegroups.com.

Gavin Abo

unread,

Jul 25, 2023, 12:39:09 AM7/25/23

to vampir...@googlegroups.com

New workshops I think the developers usually announce on the VAMPIRE webpage at [1], but it looks like no one has held one in quite some time.

In the meantime, while waiting to see if another workshop will be hosted, there are files from one of the past workshops is at [2] and some past workshop videos that should be on YouTube at [3].

[1] https://vampire.york.ac.uk/workshop/
[2] https://github.com/richard-evans/vampire-workshop
[3] https://www.youtube.com/@vampire6217