2019-05-03 18:44:3 (GMT)
So the Zipperposition workshop will take place on thursday 25th — friday 26th of july, 2019, in Amsterdam. See the Matryoshka website.
I, for one, am really excited about this opportunity of discussing the past, present, and future of Zipperposition with great people, a beer (or grenadine) in hand!
2019-06-24 20:58:0 (GMT)
It's in one month! :grinning_face_with_smiling_eyes:
2019-07-22 6:55:14 (GMT)
Hello everyone,
@Ahmed B : Are you attending the Zipperposition workshop?
In fact, who is attending exactly?
@Alexander Bentkamp @Petar Vukmirovic : has any of you been in touch with Ahmed about implementing his calculus in Zipperposition? It is one of the subjects we could discuss at the workshop if we have time (but I guess CASC gets priority).
2019-07-22 7:39:6 (GMT)
No, I haven't been in contact with him since we met at the Matryoshka workshop. But as I understood him, his priority is the implementation in Vampire. However, we had the idea to collaborate on a version of his calculus that uses lambdas instead of combinators. Maybe that one could be implemented in Zipperposition, but first we would need to work out the details.
2019-07-22 9:1:40 (GMT)
Thanks for the update! And about who will attend: I assume there will be at least Simon, Petar, you and me. Do you know if there is going to be anyone else?
2019-07-22 9:15:59 (GMT)
Hi all. Unfortunately not attending Zipperposition workshop. As @Alexander Bentkamp said, I have been concentrating on implementing the calculus in Vampire. That has been progressing surprisingly smoothly and should be complete in a few weeks.
It would be great if we could implement both lambda and combinator versions of the calculus within Zipperposition. That way all three higher-order calculi would be implemented in the same prover making comparisons relatively easy. However, the theoretical details with regards to the Lambda version of the calculus still need thrashing out. I'm planning to put together an email of all potential areas of collaboration and send it out in the next few days.
2019-07-22 10:54:59 (GMT)
Alex Steen will also come. Jasmin and Visa will also be around and might be interested in at least some of the topics.
2019-07-22 14:24:51 (GMT)
So, this seems like a good time to list all the possible topics. Let me extract those from the initial emails (verbatim, needs to be updated):
--hoto which we can add:
2019-07-22 14:45:4 (GMT)
Hi Simon!
Thank you for this list of topics, it is helpful and many of the things will be super useful to discuss!
Me and @Alexander Bentkamp also created a list to overview what has been done and it includes (in addition
to what you wrote):
Latest changes to Zip
-- unification
-- booleans
-- portfolio (external python driver)
-- E backend
New calculus(calculi) and its (un)gracefulness
2019-07-22 14:55:14 (GMT)
Nice, seems like we should have plenty of material to discuss. I also expect we'll spend time diving into the code :)
2019-07-22 14:56:8 (GMT)
I would love that!
2019-07-24 8:53:46 (GMT)
alright, made some very basic slides.pdf to support the discussions tomorrow. There's one catch-all in the middle about "latest changes to zip" where y'all will have to talk :p
2019-07-24 12:37:37 (GMT)
Thanks for writing that up. Looks like a very good plan to me.
2019-07-25 20:29:24 (GMT)
Damn, the organization "sneeuwbal" is already taken it seems :s
We need to find another name…
2019-07-25 20:49:12 (GMT)
Classified a bit the labels on the repo
2019-07-26 14:52:28 (GMT)
https://github.com/sneeuwballen created this repo;
final version of slides : slides.pdf
2019-07-26 15:10:28 (GMT)
https://github.com/sneeuwballen/zipperposition and there it is!
2019-07-26 15:26:48 (GMT)
We just need a nice logo for the organization now :innocent:
2019-08-01 20:52:28 (GMT)
Thanks to y'all for making this workshop a success, and for all the interesting discussions! The future is bright (like the sun in Amsterdam).