257:. Pennsylvania has currently only one ambassador (myself) and it would be great if we could recruit at least several more. Ambassadors help course instructors, showing them how Knowledge works, and interact with students. Many current ambassadors come from the body of students, faculty and university staff; it is a fun adventure, and adds to one resume/CV, to boot :) If it sounds interesting, feel free to ask me any questions, or to come to the workshop.--
796:
710:
622:
547:
474:
401:
336:
216:
Hi! Since you have a connection to
Pittsburgh, I wanted to invite you to the Knowledge Tenth Anniversary celebrations we're having in Pittsburgh on Saturday, January 15. During the daytime, we're going to be having a photo contribution drive where anyone can bring in their digital photos or prints
486:
is now open until 23.59 on Sunday, 10 December. All users who registered an account before
Saturday, 28 October 2017, made at least 150 mainspace edits before Wednesday, 1 November 2017 and are not currently blocked are eligible to vote. Users with alternate accounts may only vote once.
559:
is now open until 23.59 on Sunday, 3 December. All users who registered an account before Sunday, 28 October 2018, made at least 150 mainspace edits before
Thursday, 1 November 2018 and are not currently blocked are eligible to vote. Users with alternate accounts may only vote once.
217:
and
Wikipedians will teach people how to upload them and add them to articles, and maybe introduction to Knowledge workshops as well. Then in the evening, we'll have fun at the Carson City Saloon. There will be free Knowledge t-shirts and other goodies, as well. See
413:
is open from Monday, 00:00, 21 November through Sunday, 23:59, 4 December to all unblocked users who have registered an account before
Wednesday, 00:00, 28 October 2016 and have made at least 150 mainspace edits before Sunday, 00:00, 1 November 2016.
248:
that will take place at CMU on Aug 15 (this workshop is open to general public, and is a joint imitative of CMU and Pitt). There will be another workshop held at Pitt in the Fall as well. It will cover how to include
Knowledge in one's course
295:. It has the authority to enact binding solutions for disputes between editors, primarily related to serious behavioural issues that the community has been unable to resolve. This includes the ability to impose
841:
753:
665:
587:
514:
441:
176:
Noam, I take it you are the same guy who was at PSTT in
Montreal last August? Do you know much about unification, specifically higher-order unification? A few of us are trying to improve the Wiki article on
825:. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose
737:. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose
649:. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose
571:. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose
498:. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose
425:. It has the authority to impose binding solutions to disputes between editors, primarily for serious conduct disputes the community has been unable to resolve. This includes the authority to impose
241:
810:
723:
635:
181:
along the same lines as the article on lambda calculus, and we could do with some more hands, especially those knowledgeable about higher-order unification. Are you interested?
354:
864:
775:
687:
601:
528:
455:
320:
357:— because it didn’t appear constructive to me. If you think I made a mistake, or if you have any questions, you can leave me a message on
122:
860:
771:
683:
597:
524:
451:
316:
157:
You are right, there is an effort to introduce mis information. Please fix it as you see fit, I will back you up. Thanks
834:
746:
658:
580:
507:
434:
254:
196:
Hello
Dominic. I'm not an expert on unification so I can't easily contribute, but I'll try to give the article a read.
307:
describes the
Committee's roles and responsibilities in greater detail. If you wish to participate, you are welcome to
97:
Indeed I am. Hello again! I think that url explains my interests pretty well... Currently I am trying to improve the
846:
758:
670:
592:
519:
446:
344:
312:
218:
118:
125:
onto your watchlist might alert you to where the editing activity is. Though the wikiproject is underutilised: my
822:
734:
646:
568:
495:
422:
186:
162:
158:
308:
30:
64:
Good to see another proof theorist around. What's your particular interest, if I may be nosey? —
226:
804:
717:
629:
555:
482:
409:
391:
284:
275:
263:
126:
245:
129:
is more up-to-date, but hopefully that will change. The most crucial current task is fixing
853:
818:
765:
730:
677:
642:
564:
491:
418:
358:
304:
288:
142:
88:
69:
833:, editing restrictions, and other measures needed to maintain our editing environment. The
745:, editing restrictions, and other measures needed to maintain our editing environment. The
657:, editing restrictions, and other measures needed to maintain our editing environment. The
579:, editing restrictions, and other measures needed to maintain our editing environment. The
506:, editing restrictions, and other measures needed to maintain our editing environment. The
433:, editing restrictions, and other measures needed to maintain our editing environment. The
303:, editing restrictions, and other measures needed to maintain our editing environment. The
182:
137:
for my plan. It leans towards historical and philosophical work, if that interests you. —
25:
has a problem and if you want change the part, you don't have to change whole of data. --
830:
742:
654:
576:
503:
430:
300:
292:
26:
230:
826:
738:
650:
572:
499:
426:
296:
250:
222:
41:
259:
98:
795:
709:
621:
546:
473:
400:
362:
340:
178:
117:
Excellent! If you are interested in editing logic articles generally, putting
376:
197:
134:
102:
45:
80:
837:
describes the
Committee's roles and responsibilities in greater detail.
749:
describes the Committee's roles and responsibilities in greater detail.
661:
describes the Committee's roles and responsibilities in greater detail.
583:
describes the Committee's roles and responsibilities in greater detail.
510:
describes the Committee's roles and responsibilities in greater detail.
437:
describes the Committee's roles and responsibilities in greater detail.
335:
814:
are allowed to vote. Users with alternate accounts may only vote once.
727:
are allowed to vote. Users with alternate accounts may only vote once.
639:
are allowed to vote. Users with alternate accounts may only vote once.
868:
779:
691:
605:
532:
459:
384:
369:
324:
269:
205:
190:
166:
146:
130:
110:
92:
73:
53:
34:
291:
is the panel of editors responsible for conducting the Knowledge
850:. If you no longer wish to receive these messages, you may add
762:. If you no longer wish to receive these messages, you may add
674:. If you no longer wish to receive these messages, you may add
840:
If you wish to participate in the 2022 election, please review
808:
is now open until 23:59 (UTC) on Monday, 12 December 2022. All
752:
If you wish to participate in the 2020 election, please review
664:
If you wish to participate in the 2019 election, please review
586:
If you wish to participate in the 2018 election, please review
513:
If you wish to participate in the 2017 election, please review
440:
If you wish to participate in the 2016 election, please review
721:
is now open until 23:59 (UTC) on Monday, 7 December 2020. All
242:
Category:Wikipedians by alma mater: Carnegie Mellon University
633:
is now open until 23:59 on Monday, 2 December 2019. All
821:
is the panel of editors responsible for conducting the
733:
is the panel of editors responsible for conducting the
645:
is the panel of editors responsible for conducting the
567:
is the panel of editors responsible for conducting the
494:
is the panel of editors responsible for conducting the
421:
is the panel of editors responsible for conducting the
349:
21:Before you try to revert, you must show the reason
375:yes, you made a mistake, I've left you a message.
343:. I wanted to let you know that I reverted one of
212:Pittsburgh event for Knowledge's tenth anniversary
283:You appear to be eligible to vote in the current
236:Teaching with Knowledge Workshop at CMU (Aug 15)
40:I did explain the reasons for reverting on the
221:for more details. I hope to see you there!--
8:
704:
616:
355:Good things come to those who wait (Heinz)
240:Since you are one of the editors in the
260:Piotr Konieczny aka Prokonsul Piotrus
7:
805:2022 Arbitration Committee elections
718:2020 Arbitration Committee elections
630:2019 Arbitration Committee elections
556:2018 Arbitration Committee elections
483:2017 Arbitration Committee elections
410:2016 Arbitration Committee elections
789:ArbCom 2022 Elections voter message
701:ArbCom 2020 Elections voter message
83:by any chance? If so, hi again. —
613:ArbCom 2019 election voter message
540:ArbCom 2018 election voter message
467:ArbCom 2017 election voter message
14:
309:review the candidates' statements
211:
123:Knowledge:WikiProject Logic/To do
794:
708:
620:
545:
472:
399:
334:
246:Teaching with Knowledge Workshop
244:, I'd like to invite you to the
844:and submit your choices on the
756:and submit your choices on the
668:and submit your choices on the
590:and submit your choices on the
517:and submit your choices on the
315:. For the Election committee,
285:Arbitration Committee election
276:ArbCom elections are now open!
44:, and you have yet to respond.
1:
869:00:39, 29 November 2022 (UTC)
823:Knowledge arbitration process
780:02:24, 24 November 2020 (UTC)
735:Knowledge arbitration process
692:00:11, 19 November 2019 (UTC)
647:Knowledge arbitration process
606:18:42, 19 November 2018 (UTC)
569:Knowledge arbitration process
496:Knowledge arbitration process
460:22:08, 21 November 2016 (UTC)
423:Knowledge arbitration process
385:23:44, 22 February 2016 (UTC)
370:23:36, 22 February 2016 (UTC)
325:13:57, 24 November 2015 (UTC)
17:Removing Accurate Information
553:Hello, Noamz. Voting in the
533:18:42, 3 December 2017 (UTC)
480:Hello, Noamz. Voting in the
407:Hello, Noamz. Voting in the
255:Knowledge:Campus Ambassadors
167:14:24, 2 November 2009 (UTC)
444:and submit your choices on
311:and submit your choices on
253:) and also how to become a
231:15:55, 1 January 2011 (UTC)
119:Knowledge:WikiProject Logic
887:
861:MediaWiki message delivery
772:MediaWiki message delivery
684:MediaWiki message delivery
598:MediaWiki message delivery
525:MediaWiki message delivery
452:MediaWiki message delivery
442:the candidates' statements
317:MediaWiki message delivery
270:20:16, 9 August 2011 (UTC)
219:the Pittsburgh meetup page
345:your recent contributions
147:06:21, 12 June 2009 (UTC)
111:21:50, 11 June 2009 (UTC)
93:21:39, 11 June 2009 (UTC)
74:21:36, 11 June 2009 (UTC)
54:01:26, 7 April 2009 (UTC)
35:05:14, 6 April 2009 (UTC)
858:to your user talk page.
770:to your user talk page.
682:to your user talk page.
380:
206:15:38, 14 May 2010 (UTC)
201:
191:15:33, 13 May 2010 (UTC)
106:
49:
347:—the one you made with
819:Arbitration Committee
802:Hello! Voting in the
731:Arbitration Committee
715:Hello! Voting in the
643:Arbitration Committee
627:Hello! Voting in the
565:Arbitration Committee
492:Arbitration Committee
419:Arbitration Committee
392:ArbCom Elections 2016
289:Arbitration Committee
293:arbitration process
153:Raj Rajaratnam page
835:arbitration policy
747:arbitration policy
659:arbitration policy
581:arbitration policy
508:arbitration policy
435:arbitration policy
394:: Voting now open!
305:arbitration policy
871:
786:
785:
698:
697:
145:
127:User:Chalst/tasks
91:
72:
878:
859:
857:
798:
769:
712:
705:
681:
624:
617:
549:
476:
403:
366:
352:
338:
266:
141:
87:
68:
886:
885:
881:
880:
879:
877:
876:
875:
874:
873:
851:
799:
791:
763:
703:
675:
615:
610:
609:
550:
542:
537:
536:
477:
469:
464:
463:
447:the voting page
404:
396:
364:
348:
332:
313:the voting page
279:
268:
264:
238:
214:
174:
155:
139:Charles Stewart
85:Charles Stewart
66:Charles Stewart
62:
19:
12:
11:
5:
884:
882:
842:the candidates
811:eligible users
800:
793:
792:
790:
787:
784:
783:
754:the candidates
724:eligible users
713:
702:
699:
696:
695:
666:the candidates
636:eligible users
625:
614:
611:
588:the candidates
551:
544:
543:
541:
538:
515:the candidates
478:
471:
470:
468:
465:
405:
398:
397:
395:
389:
388:
387:
331:
328:
282:
278:
273:
258:
237:
234:
213:
210:
209:
208:
173:
170:
154:
151:
150:
149:
115:
114:
113:
61:
58:
57:
56:
18:
15:
13:
10:
9:
6:
4:
3:
2:
883:
872:
870:
866:
862:
855:
849:
848:
843:
838:
836:
832:
828:
824:
820:
815:
813:
812:
807:
806:
797:
788:
782:
781:
777:
773:
767:
761:
760:
755:
750:
748:
744:
740:
736:
732:
726:
725:
720:
719:
714:
711:
707:
706:
700:
694:
693:
689:
685:
679:
673:
672:
667:
662:
660:
656:
652:
648:
644:
638:
637:
632:
631:
626:
623:
619:
618:
612:
608:
607:
603:
599:
595:
594:
589:
584:
582:
578:
574:
570:
566:
561:
558:
557:
548:
539:
535:
534:
530:
526:
522:
521:
516:
511:
509:
505:
501:
497:
493:
488:
485:
484:
475:
466:
462:
461:
457:
453:
449:
448:
443:
438:
436:
432:
428:
424:
420:
415:
412:
411:
402:
393:
390:
386:
382:
378:
374:
373:
372:
371:
368:
367:
360:
356:
351:
346:
342:
337:
330:February 2016
329:
327:
326:
322:
318:
314:
310:
306:
302:
298:
294:
290:
286:
277:
274:
272:
271:
267:
261:
256:
252:
247:
243:
235:
233:
232:
228:
224:
220:
207:
203:
199:
195:
194:
193:
192:
188:
184:
180:
171:
169:
168:
164:
160:
152:
148:
144:
140:
136:
132:
128:
124:
120:
116:
112:
108:
104:
100:
96:
95:
94:
90:
86:
82:
78:
77:
76:
75:
71:
67:
59:
55:
51:
47:
43:
39:
38:
37:
36:
32:
28:
24:
16:
845:
839:
816:
809:
803:
801:
757:
751:
728:
722:
716:
669:
663:
640:
634:
628:
591:
585:
562:
554:
552:
518:
512:
489:
481:
479:
445:
439:
416:
408:
406:
363:
359:my talk page
333:
280:
239:
215:
175:
156:
138:
99:linear logic
84:
65:
63:
22:
20:
847:voting page
759:voting page
671:voting page
593:voting page
520:voting page
339:Hello, I'm
179:Unification
172:Unification
79:You're not
831:topic bans
743:topic bans
655:topic bans
577:topic bans
504:topic bans
431:topic bans
361:. Thanks.
301:topic bans
183:DPMulligan
159:Taprobanus
135:Talk:Logic
23:which part
827:site bans
739:site bans
651:site bans
573:site bans
500:site bans
427:site bans
350:this edit
297:site bans
81:this Noam
42:talk page
27:Kotodooka
365:~Oshwah~
223:ragesoss
854:NoACEMM
766:NoACEMM
678:NoACEMM
341:Oshwah
287:. The
251:WP:SUP
143:(talk)
133:: see
101:page.
89:(talk)
70:(talk)
377:Noamz
265:talk
198:Noamz
131:logic
103:Noamz
46:Noamz
865:talk
817:The
776:talk
729:The
688:talk
641:The
602:talk
563:The
529:talk
490:The
456:talk
417:The
381:talk
321:talk
227:talk
202:talk
187:talk
163:talk
121:and
107:talk
50:talk
31:talk
353:to
281:Hi,
867:)
856:}}
852:{{
829:,
778:)
768:}}
764:{{
741:,
690:)
680:}}
676:{{
653:,
604:)
596:.
575:,
531:)
523:.
502:,
458:)
450:.
429:,
383:)
323:)
299:,
229:)
204:)
189:)
165:)
109:)
60:Hi
52:)
33:)
863:(
774:(
686:(
600:(
527:(
454:(
379:(
319:(
262:|
249:(
225:(
200:(
185:(
161:(
105:(
48:(
29:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.