Conference Call

[namin]

Hi @chansey97, @michaelballantyne, @webyrd and everyone,

We would like to set up a conference call to discuss the future of CLP(SMT)-miniKanren and welcome @chansey97 as a new contributor. We want to make sure the project is fun and rewarding to develop further.

As we are in three different timezones, I suggest 9am Boston time, 3pm Swiss time, and 9pm China time. Next Monday would work well for me, but open to other days too.

Let me know what you think.

Thanks.

[michaelballantyne]

Sure, happy to attend.

…

On Wed, Aug 11, 2021 at 3:48 PM Nada Amin ***@***.***> wrote: Hi @chansey97 <https://github.com/chansey97>, @michaelballantyne <https://github.com/michaelballantyne>, @webyrd <https://github.com/webyrd> and everyone, We would like to set up a conference call to discuss the future of CLP(SMT)-miniKanren and welcome @chansey97 <https://github.com/chansey97> as a new contributor. We want to make sure the project is fun and rewarding to develop further. As we are in three different timezones, I suggest 9am Boston time, 3pm Swiss time, and 9pm China time. Next Monday would work well for me, but open to other days too. Let me know what you think. Thanks. — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#11>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAK46U66423JDID7NS6EMSLT4LHYZANCNFSM5B7KN6AQ> . Triage notifications on the go with GitHub Mobile for iOS <https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675> or Android <https://play.google.com/store/apps/details?id=com.github.android&utm_campaign=notification-email> .

[chansey97]

Happy to attend (9pm China time is OK for me).

Thanks!

PS. I will summarize some thoughts in the Issue List these days (may be useful for discussion).

[chansey97]

Which video conferencing software do you plan to use?

You may need to adjust my network in advance.

Thanks.

[namin]

I was planning to use Zoom. If something else is more convenient for you, let me know.

[chansey97]

Zoom is OK for me.

[namin]

This is the Zoom invitation.

Nada Amin is inviting you to a scheduled Zoom meeting.

Topic: CLP(SMT) Kickoff
Time: Aug 16, 2021 03:00 PM Zurich

Join Zoom meeting
https://harvard.zoom.us/j/94535871330?pwd=RjhISGNzM3dTbE8wUXB5OUhva0VZQT09

Password: 893320

Join by telephone (use any number to dial in)
+1 253 215 8782
+1 346 248 7799
+1 669 900 6833
+1 301 715 8592
+1 312 626 6799
+1 929 436 2866

International numbers available: https://harvard.zoom.us/u/adBiBzmcBG

One tap mobile: +12532158782,,94535871330# US (Tacoma)

Join by SIP conference room system
Meeting ID: 945 3587 1330
[email protected]

[namin]

Reminder that the meeting is in 10 minutes.

Meeting link:
https://harvard.zoom.us/j/94535871330?pwd=RjhISGNzM3dTbE8wUXB5OUhva0VZQT09

Here is a doc for notes:
https://docs.google.com/document/d/1bId06qsQ9fcdK0kveICSHJCtf4ooN5UutjQd8CSf1QI/edit?usp=sharing